My work with Victor Marek: a mathematician looks at answer set programming

DOI10.1007/S10472-009-9107-ZzbMath1165.68507OpenAlexW2017464127MaRDI QIDQ1028636

Jeffery B. Remmel

Publication date: 6 July 2009

Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10472-009-9107-z

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logic in computer science (03B70) Applications of computability and recursion theory (03D80)

Uses Software

• ASSAT
• Smodels

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Logic programming with infinite sets
• Set based logic programming
• Semantical considerations on nonmonotonic logic
• A logic for default reasoning
• Circumscription - a form of non-monotonic reasoning
• How complicated is the set of stable models of a recursive logic program?
• Handbook of recursive mathematics. Vol. 2: Recursive algebra, analysis and combinatorics
• Logic programs, well-orderings, and forward chaining
• A context for belief revision: forward chaining-normal nonmonotonic rule systems
• A theory of nonmonotonic rule systems. II
• A theory of nonmonotonic rule systems I
• Nonmonotonic rule systems with recursive sets of restraints
• Locally determined logic programs and recursive stable models
• Extending and implementing the stable model semantics
• Logic programs with stable model semantics as a constraint programming paradigm
• Epistemology Without Knowledge and Without Belief
• Automata and Answer Set Programming
• The Stable Models of a Predicate Logic Program
• On the expressibility of stable logic programming
• Logic Programming and Nonmonotonic Reasoning
• Compactness Properties for Stable Semantics of Logic Programs
• On the Continuity of Gelfond-Lifschitz Operator and Other Applications of Proof-Theory in ASP

This page was built for publication: My work with Victor Marek: a mathematician looks at answer set programming