Promoting modular nonmonotonic logic programs

DOI10.4230/LIPICS.ICLP.2011.274MaRDI QIDQ2909170zbMATH OpenOpenAlexFDO

Authors Thomas Krennwallner

Publication date 29 August 2012

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

zbMATH Keywords

answer set programmingnonmonotonic reasoningknowledge representationmodular logic programming

Mathematics Subject Classification ID

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

Recommendations

• Modular nonmonotonic logic programming revisited
• Relevance-Driven Evaluation of Modular Nonmonotonic Logic Programs
• A semantics for modular general logic programs
• Modularity Aspects of Disjunctive Stable Models
• First-order modular logic programs and their conservative extensions

Cited in

(7)

• Modularization of logic programs
• First-order modular logic programs and their conservative extensions
• On abstract modular inference systems and solvers
• Relevance-Driven Evaluation of Modular Nonmonotonic Logic Programs
• Macros, Macro Calls and Use of Ensembles in Modular Answer Set Programming
• Adding Metalogic Features to Knowledge Representation Languages*
• Modular nonmonotonic logic programming revisited

This page was built for publication: Promoting modular nonmonotonic logic programs

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