Cover Image

The Boolean Solution Problem from the Perspective of Predicate Logic -- Extended Version

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Wernhard, Christoph
Format:	Preprint
Published:	2017
Subjects:	Logic in Computer Science Artificial Intelligence
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Investigations into Proof Structures
by: Wernhard, Christoph, et al.
Published: (2023)

Craig-Lyndon Interpolation for the Logic of Here and There with a Variation of Mints' Sequent System
by: Wernhard, Christoph
Published: (2026)

Lemmas: Generation, Selection, Application
by: Rawson, Michael, et al.
Published: (2023)

Synthesizing Strongly Equivalent Logic Programs: Beth Definability for Answer Set Programs via Craig Interpolation in First-Order Logic
by: Heuer, Jan, et al.
Published: (2024)

Learning Temporal Logic Predicates from Data with Statistical Guarantees
by: Soroka, Emi, et al.
Published: (2024)

Static Analysis of Logic Programs via Boolean Networks
by: Trinh, Van-Giang, et al.
Published: (2024)

Modeling Deontic Modal Logic in the s(CASP) Goal-directed Predicate Answer Set Programming System
by: Gupta, Gopal, et al.
Published: (2025)

Boolean Matrix Logic Programming on the GPU
by: Ai, Lun
Published: (2024)

Generating Theorems by Generating Proof Structures
by: Wernhard, Christoph
Published: (2026)

Interpolation with Automated First-Order Reasoning
by: Wernhard, Christoph
Published: (2025)

Power Term Polynomial Algebra for Boolean Logic
by: Sansone, Emanuele, et al.
Published: (2026)

Model Predictive Robustness of Signal Temporal Logic Predicates
by: Lin, Yuanfei, et al.
Published: (2022)

Extending Defeasibility for Propositional Standpoint Logics
by: Leisegang, Nicholas, et al.
Published: (2025)

Object-Centric Conformance Alignments with Synchronization (Extended Version)
by: Gianola, Alessandro, et al.
Published: (2023)

Do It for HER: First-Order Temporal Logic Reward Specification in Reinforcement Learning (Extended Version)
by: Olivieri, Pierriccardo, et al.
Published: (2026)

The Shape of a Benedictine Monastery: The SaintGall Ontology (Extended Version)
by: Cantale, Claudia, et al.
Published: (2017)

A Variable Occurrence-Centric Framework for Inconsistency Handling (Extended Version)
by: Salhi, Yakoub
Published: (2024)

Automated planning with ontologies under coherence update semantics (Extended Version)
by: Borgwardt, Stefan, et al.
Published: (2025)

Splitting Answer Set Programs with respect to Intensionality Statements (Extended Version)
by: Fandinno, Jorge, et al.
Published: (2025)

Defeasible Conditional Obligation in a Two-tiered Preference-based Semantics (Extended Version)
by: Parent, Xavier
Published: (2026)

Mathematical Knowledge Bases as Grammar-Compressed Proof Terms: Exploring Metamath Proof Structures
by: Wernhard, Christoph, et al.
Published: (2025)

On the Boolean Network Theory of Datalog$^\neg$
by: Trinh, Van-Giang, et al.
Published: (2025)

Interpolation in Classical Propositional Logic
by: Koopmann, Patrick, et al.
Published: (2025)

Dynamic Logic of Trust-Based Beliefs
by: Jiang, Junli, et al.
Published: (2025)

Inferring Causal Graph Temporal Logic Formulas to Expedite Reinforcement Learning in Temporally Extended Tasks
by: Aria, Hadi Partovi, et al.
Published: (2026)

Extended Version of: On the Structural Hardness of Answer Set Programming: Can Structure Efficiently Confine the Power of Disjunctions?
by: Hecher, Markus, et al.
Published: (2024)

An ASP-based Solution to the Medical Appointment Scheduling Problem
by: Vozna, Alina, et al.
Published: (2026)

Towards Projected and Incremental Pseudo-Boolean Model Counting
by: Yang, Suwei, et al.
Published: (2024)

PBLean: Pseudo-Boolean Proof Certificates for Lean 4
by: Szeider, Stefan
Published: (2026)

Most General Explanations of Tree Ensembles (Extended Version)
by: Izza, Yacine, et al.
Published: (2025)

Pruning Boolean d-DNNF Circuits Through Tseitin-Awareness
by: Derkinderen, Vincent
Published: (2024)

Cirbo: A New Tool for Boolean Circuit Analysis and Synthesis
by: Averkov, Daniil, et al.
Published: (2024)

From Blind Solvers to Logical Thinkers: Benchmarking LLMs' Logical Integrity on Faulty Mathematical Problems
by: Rahman, A M Muntasir, et al.
Published: (2024)

First Order Logic with Fuzzy Semantics for Describing and Recognizing Nerves in Medical Images
by: Bloch, Isabelle, et al.
Published: (2025)

Boolean proportions
by: Antić, Christian
Published: (2021)

From Shapes to Shapes: Inferring SHACL Shapes for Results of SPARQL CONSTRUCT Queries (Extended Version)
by: Seifer, Philipp, et al.
Published: (2024)

Synthesizing nested relational queries from implicit specifications: via model theory and via proof theory
by: Benedikt, Michael, et al.
Published: (2022)

GaloisSAT: Differentiable Boolean Satisfiability Solving via Finite Field Algebra
by: Kim, Curie, et al.
Published: (2026)

On Deciding the Data Complexity of Answering Linear Monadic Datalog Queries with LTL Operators(Extended Version)
by: Artale, Alessandro, et al.
Published: (2025)

Queries With Exact Truth Values in Paraconsistent Description Logics
by: Bienvenu, Meghyn, et al.
Published: (2024)