Automata and Answer Set Programming

DOI10.1007/978-3-540-92687-0_22zbMath1211.68061OpenAlexW2879875MaRDI QIDQ3605538

Victor W. Marek, Jeffery B. Remmel

Publication date: 24 February 2009

Published in: Logical Foundations of Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-92687-0_22

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Logic programming (68N17)

Related Items

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

Uses Software

• ASSAT
• clasp

Cites Work

• Answer set programming based on propositional satisfiability
• Set based logic programming
• Minimal belief and negation as failure
• Logic programming and knowledge representation---The A-Prolog perspective
• Extending and implementing the stable model semantics
• The expressiveness of locally stratified programs
• Logic programs with stable model semantics as a constraint programming paradigm
• Linear-time algorithms for testing the satisfiability of propositional horn formulae
• The Stable Models of a Predicate Logic Program
• Knowledge Representation, Reasoning and Declarative Problem Solving
• The DLV system for knowledge representation and reasoning
• Automatic Structures: Richness and Limitations
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item