Logic Programming and Nonmonotonic Reasoning

DOI10.1007/B94792MaRDI QIDQ5424888zbMATH OpenOpenAlexFDO

Authors Yuliya Lierler, Marco Maratea

Publication date 7 November 2007

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b94792

Mathematics Subject Classification ID

Logic programming (68N17) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Recommendations

• Logic Programming
• On the relation among answer set solvers
• Answer set programming based on propositional satisfiability
• ASSAT: computing answer sets of a logic program by SAT solvers
• scientific article; zbMATH DE number 6747915

Cited in

(30)

• Evaluating ASP and commercial solvers on the CSPLib
• On the relation among answer set solvers
• Integrating answer set programming and constraint logic programming
• Stable models and difference logic
• Supportedly stable answer sets for logic programs with generalized atoms
• Enhancing DLV instantiator by backjumping techniques
• A new approach to hybrid probabilistic logic programs
• The intelligent grounder of DLV
• Advances in WASP
• An empirical study of constraint logic programming and answer set programming solutions of combinatorial problems
• Shared aggregate sets in answer set programming
• Fuzzy answer set computation via satisfiability modulo theories
• Anytime answer set optimization via unsatisfiable core shrinking
• Preface
• Technical note. Efficiently coupling the \(\mathscr{I}\)-DLV grounder with ASP solvers
• Unsatisfiable core analysis and aggregates for optimum stable model search
• scientific article; zbMATH DE number 7455735 (Why is no real title available?)
• Expressiveness of logic programs under the general stable model semantics
• Approximation of action theories and its application to conformant planning
• Semantics and complexity of recursive aggregates in answer set programming
• Logic Programming
• Automatic Composition of Melodic and Harmonic Music by Answer Set Programming
• Reducts of propositional theories, satisfiability relations, and generalizations of semantics of logic programs
• On program completion, with an application to the sum and product puzzle
• Answer set planning: a survey
• Body-decoupled grounding via reduction: a novel approach on the \textsc{Asp} bottleneck
• ASSAT: computing answer sets of a logic program by SAT solvers
• Possibilistic uncertainty handling for answer set programming
• Answer set programming based on propositional satisfiability
• Logic programs with abstract constraint atoms: the role of computations

Describes a project that uses

Uses Software

• Cmodels
• ASSAT
• Lparse

This page was built for publication: Logic Programming and Nonmonotonic Reasoning

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5424888)