Výsledky vyhľadávania - 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ískať 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ískať 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ískať 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ískať 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ískať 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ískať 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ískať 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ískať 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ískať 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ískať 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ískať 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ískať 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ískať 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ískať 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ískať 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ískať 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ískať 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ískať 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ískať 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ískať plný text