Logic Programming

DOI10.1007/11562931MaRDI QIDQ5475768zbMATH OpenOpenAlexFDO

Authors Enrico Giunchiglia, Marco Maratea

Publication date 27 June 2006

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

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

Mathematics Subject Classification ID

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

Recommendations

• On the relation among answer set solvers
• AI*IA 2005: Advances in Artificial Intelligence
• Answer set programming based on propositional satisfiability
• Logic Programming and Nonmonotonic Reasoning
• ASSAT: computing answer sets of a logic program by SAT solvers

Cited in

(20)

• Evaluating ASP and commercial solvers on the CSPLib
• On the relation among answer set solvers
• What is answer set programming to propositional satisfiability
• System \textsc{aspmt2smt}: computing ASPMT theories by SMT solvers
• Transition systems for model generators -- a unifying approach
• Optimum stable model search: algorithms and implementation
• The Significance of Memory Costs in Answer Set Solver Implementation
• Simple Random Logic Programs
• Knowledge Representation, Reasoning and Declarative Problem Solving
• Disjunctive answer set solvers via templates
• scientific article; zbMATH DE number 2090539 (Why is no real title available?)
• Logic Programming
• Model enumeration via assumption literals
• Logic Programming and Nonmonotonic Reasoning
• Logic Programming and Nonmonotonic Reasoning
• AI*IA 2005: Advances in Artificial Intelligence
• Abstract Answer Set Solvers
• A comparison of ASP-based and SAT-based algorithms for the contension inconsistency measure
• ASSAT: computing answer sets of a logic program by SAT solvers
• Answer set programming based on propositional satisfiability

Describes a project that uses

Uses Software

• ASSAT
• Chaff
• Cmodels

This page was built for publication: Logic Programming

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