assps -- an implementation of answer-set programming with propositional schemata

DOI10.1007/3-540-45402-0_31MaRDI QIDQ4798023zbMATH OpenFDO

Authors Deborah East, Mirosław Truszczyński

Publication date 18 March 2003

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

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2173/21730402.htm

Mathematics Subject Classification ID

Logic programming (68N17) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) Computing methodologies and applications (68U99)

Recommendations

• The aspps system
• scientific article; zbMATH DE number 6747915
• Propositional satisfiability in answer-set programming
• Answer Set Programming: A Primer
• Answer set programming based on propositional satisfiability

Cited in

(4)

• ASPMT(QS): Non-Monotonic Spatial Reasoning with Answer Set Programming Modulo Theories
• How Flexible Is Answer Set Programming? An Experiment in Formalizing Commonsense in ASP
• The aspps system
• Design and results of the Fifth Answer Set Programming Competition

This page was built for publication: assps -- an implementation of answer-set programming with propositional schemata

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