Promoting modular nonmonotonic logic programs

DOI10.4230/LIPICS.ICLP.2011.274zbMATH Open1245.68054OpenAlexW2256435793MaRDI QIDQ2909170FDOQ2909170

Authors: Thomas Krennwallner 

Publication date: 29 August 2012

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

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

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)

Cited In (7)

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

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)