Model-Based Knowledge Representation and Reasoning Via Answer Set Programming

DOI10.1007/978-3-540-78969-7_1MaRDI QIDQ5458423zbMATH OpenOpenAlexFDO

Authors Torsten Schaub

Publication date 11 April 2008

Published in Functional and Logic Programming (Search for Journal in Brave)

Full work available at URL http://hdl.handle.net/10072/37092

Mathematics Subject Classification ID

Knowledge representation (68T30) Logic programming (68N17) Logic in artificial intelligence (68T27)

Recommendations

• An Introduction to Answer Set Programming and Some of Its Extensions
• Logic Programming
• GASP: Answer set programming with lazy grounding
• Answer set programming and its applications in planning and multi-agent systems
• Knowledge Representation, Reasoning and Declarative Problem Solving

Cites work

• scientific article; zbMATH DE number 5910656 (Why is no real title available?)
• scientific article; zbMATH DE number 1368933 (Why is no real title available?)
• Knowledge Representation, Reasoning and Declarative Problem Solving
• Logic programs with stable model semantics as a constraint programming paradigm

Cited in

(7)

• An Incremental Answer Set Programming Based System for Finite ModelComputation
• A knowledge-based approach to the generation of IDEF0 models
• scientific article; zbMATH DE number 5914361 (Why is no real title available?)
• scientific article; zbMATH DE number 6606379 (Why is no real title available?)
• Model-Baded Abduction via Dual Resolution
• scientific article; zbMATH DE number 68125 (Why is no real title available?)
• Formalization of psychological knowledge in answer set programming and its application

This page was built for publication: Model-Based Knowledge Representation and Reasoning Via Answer Set Programming

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