Výsledky vyhledávání - Logic programming and answer set programming

An empirical study of constraint logic programming and answer set programming solutions of combinatorial problems Autor 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…”
Získat plný text

Finite-Choice Logic Programming Autor 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…”
Získat plný text

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

“…Relational Hoare logics (RHL) provide rules for reasoning about relations between programs…”
Získat plný text

Inductive Synthesis of Inductive Heap Predicates Autor 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…”
Získat plný text

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

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

Living without Beth and Craig: Definitions and Interpolants in the Guarded and Two-Variable Fragments Autor 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…”
Získat plný text

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

“…Logic Programming (LP) is at the nexus of knowledge representation, AI, mathematical logic, databases, and programming languages…”
Získat plný text

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

“… Most notably, every problem definable in first-order logic can be solved in linear time on bounded expansion graph classes…”
Získat plný text

Compositional relational reasoning via operational game semantics Autor 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…”
Získat plný text

Initial Limit Datalog: a New Extensible Class of Decidable Constrained Horn Clauses Autor 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…”
Získat plný text

Gödel-McKinsey-Tarski and Blok-Esakia for Heyting-Lewis Implication Autor 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…”
Získat plný text

Inapproximability of Unique Games in Fixed-Point Logic with Counting Autor 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…”
Získat plný text

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

“…We study a conservative extension of classical propositional logic distinguishing between four modes of statement…”
Získat plný text

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

“… at most ℓ.The proposed approach is based on generating a minimal complete set of forbidden refusal traces…”
Získat plný text

Abstract Argumentation and Answer Set Programming: Two Faces of Nelson’s Logic Autor 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…”
Získat plný text

A rule-based ontological framework for the classification of molecules Autor 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…”
Získat plný text

Modal Logic S5 Satisfiability in Answer Set Programming Autor 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…”
Získat plný text

Logic-Based Benders Decomposition in Answer Set Programming for Chronic Outpatients Scheduling Autor 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…”
Získat plný text

Combining answer set programming with description logics for the Semantic Web Autor 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…”
Získat plný text

Feedback Turing Computability, and Turing Computability as Feedback Autor 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…”
Získat plný text