Automata and Answer Set Programming

DOI10.1007/978-3-540-92687-0_22MaRDI QIDQ3605538zbMATH OpenOpenAlexFDO

Authors Wiktor Marek, Jeffrey 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

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

Recommendations

• Effectively reasoning about infinite sets in answer set programming
• scientific article; zbMATH DE number 6139984
• Extensions of answer set programming
• Computable Functions in ASP: Theory and Implementation
• Reasoning with infinite stable models

Cites work

• Answer set programming based on propositional satisfiability
• Automatic Structures: Richness and Limitations
• Extending and implementing the stable model semantics
• scientific article; zbMATH DE number 1696830 (Why is no real title available?)
• scientific article; zbMATH DE number 4147557 (Why is no real title available?)
• scientific article; zbMATH DE number 478394 (Why is no real title available?)
• scientific article; zbMATH DE number 1368933 (Why is no real title available?)
• scientific article; zbMATH DE number 3274715 (Why is no real title available?)
• Knowledge Representation, Reasoning and Declarative Problem Solving
• Linear-time algorithms for testing the satisfiability of propositional horn formulae
• Logic programming and knowledge representation---The A-Prolog perspective
• Logic programs with stable model semantics as a constraint programming paradigm
• Minimal belief and negation as failure
• Set based logic programming
• The DLV system for knowledge representation and reasoning
• The expressiveness of locally stratified programs
• The Stable Models of a Predicate Logic Program

Cited in

(3)

• My work with Victor Marek: a mathematician looks at answer set programming
• Automata techniques for query inference machines
• Effectively reasoning about infinite sets in answer set programming

Describes a project that uses

Uses Software

• ASSAT
• clasp

This page was built for publication: Automata and Answer Set Programming

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