Promoting Modular Nonmonotonic Logic Programs

DOI10.4230/LIPIcs.ICLP.2011.274zbMath1245.68054OpenAlexW2256435793MaRDI QIDQ2909170

Thomas Krennwallner

Publication date: 29 August 2012

Full work available at URL: http://subs.emis.de/LIPIcs/frontdoor_6d78.html

zbMATH Keywords

knowledge representationnonmonotonic reasoninganswer set programmingmodular logic programming

Mathematics Subject Classification ID

Knowledge representation (68T30) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Logic programming (68N17)

Related Items (1)

Adding Metalogic Features to Knowledge Representation Languages*

This page was built for publication: Promoting Modular Nonmonotonic Logic Programs