Model-Based Knowledge Representation and Reasoning Via Answer Set Programming

DOI10.1007/978-3-540-78969-7_1zbMath1137.68600OpenAlexW4233781358MaRDI QIDQ5458423

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

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

Cites Work

• Logic programs with stable model semantics as a constraint programming paradigm
• Knowledge Representation, Reasoning and Declarative Problem Solving
• Unnamed Item
• Unnamed Item

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