Modular nonmonotonic logic programming revisited

DOI10.1007/978-3-642-02846-5_16MaRDI QIDQ4649729zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner

Publication date 13 November 2012

Published in Logic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-02846-5_16

zbMATH Keywords

answer set programmingknowledge representationmodular logic programming

Mathematics Subject Classification ID

Knowledge representation (68T30) Logic programming (68N17)

Recommendations

• Promoting modular nonmonotonic logic programs
• Relevance-Driven Evaluation of Modular Nonmonotonic Logic Programs
• Modularity aspects of disjunctive stable models
• Modularity in smodels Programs
• Modularity Aspects of Disjunctive Stable Models

Cites work

• scientific article; zbMATH DE number 5079838 (Why is no real title available?)
• scientific article; zbMATH DE number 25190 (Why is no real title available?)
• Achieving compositionality of the stable model semantics for <scp>smodels</scp> programs
• Logics in Artificial Intelligence
• Macros, Macro Calls and Use of Ensembles in Modular Answer Set Programming
• Modularity Aspects of Disjunctive Stable Models

Cited in

(26)

• Modularization of logic programs
• Graph-based construction of minimal models
• scientific article; zbMATH DE number 1761414 (Why is no real title available?)
• Combining nonmonotonic knowledge bases with external sources
• Modular paracoherent answer sets
• Modularity aspects of disjunctive stable models
• Modularity of P-log programs
• On abstract modular inference systems and solvers
• Promoting modular nonmonotonic logic programs
• On syntactic forgetting under uniform equivalence
• How to split a logic program
• Modularity in smodels Programs
• Modular answer set programming as a formal specification language
• Relevance-Driven Evaluation of Modular Nonmonotonic Logic Programs
• Relativized hyperequivalence of logic programs for modular programming
• Answer Set Programming: A Primer
• Semi-equilibrium models for paracoherent answer set programs
• Module theorem for the general theory of stable models
• FLP answer set semantics without circular justifications for general logic programs
• Modularity Aspects of Disjunctive Stable Models
• Determining inference semantics for disjunctive logic programs
• Composing Normal Programs with Function Symbols
• Macros, Macro Calls and Use of Ensembles in Modular Answer Set Programming
• scientific article; zbMATH DE number 7455722 (Why is no real title available?)
• Semantics of templates in a compositional framework for building logics
• Ordered completion for logic programs with aggregates

This page was built for publication: Modular nonmonotonic logic programming revisited

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