The aspps system

DOI10.1007/3-540-45757-7_49MaRDI QIDQ4708951zbMATH OpenFDO

Authors Deborah East, Mirosław Truszczyński

Publication date 20 June 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/2424/24240533.htm

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Logic in artificial intelligence (68T27) Computing methodologies and applications (68U99)

Recommendations

• assps -- an implementation of answer-set programming with propositional schemata
• The Smodels system
• Propositional satisfiability in answer-set programming
• Answer set programming
• System description: DLV

Cited in

(3)

• On the relation among answer set solvers
• assps -- an implementation of answer-set programming with propositional schemata
• The Smodels system

This page was built for publication: The aspps system

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