Search Results - Logic programming and answer set programming

An empirical study of constraint logic programming and answer set programming solutions of combinatorial problems by Dovier, Agostino, Formisano, Andrea, Pontelli, Enrico

“…This paper presents experimental comparisons between the declarative encodings of various computationally hard problems in Answer Set Programming (ASP…”
Get full text

Finite-Choice Logic Programming by Martens, Chris, Simmons, Robert J., Arntzenius, Michael

“…—there is no single canonical model. The notion of stable models for logic programs with negation has successfully captured programmer intuition about the set of valid solutions for such problems, giving rise to a family of programming…”
Get full text

Alignment Completeness for Relational Hoare Logics by Nagasamudram, Ramana, Naumann, David A.

“…Relational Hoare logics (RHL) provide rules for reasoning about relations between programs…”
Get full text

Inductive Synthesis of Inductive Heap Predicates by Yang, Ziyi, Sergey, Ilya

“…) from concrete data structure instances using Inductive Logic Programming (ILP) techniques. The main challenges to make such synthesis effective are (1…”
Get full text

From SMT to ASP: Solver-Based Approaches to Solving Datalog Synthesis-as-Rule-Selection Problems by Bembenek, Aaron, Greenberg, Michael, Chong, Stephen

“…—an encoding into standard, off-the-shelf answer set programming (ASP)—leads to significant speedups (∼ 9× geomean…”
Get full text

Living without Beth and Craig: Definitions and Interpolants in the Guarded and Two-Variable Fragments by Jung, Jean Christoph, Wolter, Frank

“…In logics with the Craig interpolation property (CIP) the existence of an interpolant for an implication follows from the validity of the implication…”
Get full text

Declarative Logic Programming: Theory, Systems, and Applications by Michael, Kifer, Liu, Yanhong

“…Logic Programming (LP) is at the nexus of knowledge representation, AI, mathematical logic, databases, and programming languages…”
Get full text

Lacon- and Shrub-Decompositions: A New Characterization of First-Order Transductions of Bounded Expansion Classes by Dreier, Jan

“… Most notably, every problem definable in first-order logic can be solved in linear time on bounded expansion graph classes…”
Get full text

Compositional relational reasoning via operational game semantics by Jaber, Guilhem, Murawski, Andrzej S.

“…We show how to use operational game semantics as a guide to develop relational techniques for establishing contextual equivalences with respect to contexts…”
Get full text

Initial Limit Datalog: a New Extensible Class of Decidable Constrained Horn Clauses by Burn, Toby Cathcart, Ong, Luke, Ramsay, Steven, Wagner, Dominik

“… The class may be viewed as a generalisation to higher-order logic (with a simple restriction on types…”
Get full text

Gödel-McKinsey-Tarski and Blok-Esakia for Heyting-Lewis Implication by de Groot, Jim, Litak, Tadeusz, Pattinson, Dirk

“…Heyting-Lewis Logic is the extension of intuitionistic propositional logic with a strict implication connective that satisfies the constructive counterparts of axioms for strict implication provable…”
Get full text

Inapproximability of Unique Games in Fixed-Point Logic with Counting by Tucker-Foltz, Jamie

“…We study the extent to which it is possible to approximate the optimal value of a Unique Games instance in Fixed-Point Logic with Counting (FPC…”
Get full text

A Constructive Logic with Classical Proofs and Refutations by Barenbaum, Pablo, Freund, Teodoro

“…We study a conservative extension of classical propositional logic distinguishing between four modes of statement…”
Get full text

Removing Redundant Refusals: Minimal Complete Test Suites for Failure Trace Semantics by Gazda, Maciej, Hierons, Robert M.

“… at most ℓ.The proposed approach is based on generating a minimal complete set of forbidden refusal traces…”
Get full text

Abstract Argumentation and Answer Set Programming: Two Faces of Nelson’s Logic by FANDINNO, JORGE, FARIÑAS DEL CERRO, LUIS

“…In this work, we show that both logic programming and abstract argumentation frameworks can be interpreted in terms…”
Get full text

A rule-based ontological framework for the classification of molecules by Magka, Despoina, Krötzsch, Markus, Horrocks, Ian

“…Background A variety of key activities within life sciences research involves integrating and intelligently managing large amounts of biochemical information…”
Get full text

Modal Logic S5 Satisfiability in Answer Set Programming by ALVIANO, MARIO, BATSAKIS, SOTIRIS, BARYANNIS, GEORGE

“… In this work, we propose to use Answer Set Programming for implementing such constructions, and in particular for identifying the propositional atoms…”
Get full text

Logic-Based Benders Decomposition in Answer Set Programming for Chronic Outpatients Scheduling by CAPPANERA, PAOLA, GAVANELLI, MARCO, NONATO, MADDALENA, ROMA, MARCO

“…In answer set programming (ASP), the user can define declaratively a problem and solve it with efficient solvers…”
Get full text

Combining answer set programming with description logics for the Semantic Web by Eiter, Thomas, Ianni, Giovambattista, Lukasiewicz, Thomas, Schindlauer, Roman, Tompits, Hans

“…We propose a combination of logic programming under the answer set semantics with the description logics SHIF ( D ) and SHOIN ( D…”
Get full text

Feedback Turing Computability, and Turing Computability as Feedback by Ackerman, Nathanael L., Freer, Cameron E., Lubarsky, Robert S.

“…The notion of a feedback query is a natural generalization of choosing for an oracle the set of indices of halting computations…”
Get full text