Combining nonmonotonic knowledge bases with external sources

DOI10.1007/978-3-642-04222-5_2MaRDI QIDQ3655190zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Thomas Eiter, Gerhard Brewka, Minh Dao-Tran, Michael Fink, Giovambattista Ianni, Thomas Krennwallner

Publication date 7 January 2010

Published in Frontiers of Combining Systems (Search for Journal in Brave)

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

Mathematics Subject Classification ID

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

Recommendations

• Nonmonotonic multi-context systems: a flexible approach for integrating heterogeneous knowledge sources
• Answer set programming with external source access
• A model building framework for answer set programming with external computations
• Knowledge representation and non-monotonic reasoning
• scientific article; zbMATH DE number 4189231

Cites work

• Answer Set Programming: A Primer
• Argumentation Context Systems: A Framework for Abstract Group Argumentation
• Combining answer set programming with description logics for the semantic web
• Conditional Planning with External Functions
• External sources of knowledge and value invention in logic programming
• Generality in artificial intelligence
• Heterogeneous active agents, I: Semantics
• scientific article; zbMATH DE number 25190 (Why is no real title available?)
• scientific article; zbMATH DE number 478394 (Why is no real title available?)
• scientific article; zbMATH DE number 1453076 (Why is no real title available?)
• Logic Programming and Nonmonotonic Reasoning
• Logic programming. 24th international conference, ICLP 2008, Udine, Italy, December 9--13 2008. Proceedings
• Logics in Artificial Intelligence
• Modeling and Using Context
• Modular nonmonotonic logic programming revisited
• Modular stratification and magic sets for Datalog programs with negation
• Multilanguage hierarchical logics, or: How we can do without modal logics
• On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games
• Relevance-Driven Evaluation of Modular Nonmonotonic Logic Programs
• Twelve Definitions of a Stable Model

Cited in

(4)

• Finding explanations of inconsistency in multi-context systems
• Relating constraint answer set programming languages and algorithms
• Hybrid ASP-based approach to pattern mining
• Reducts of propositional theories, satisfiability relations, and generalizations of semantics of logic programs

Describes a project that uses

Uses Software

• DLV-EX

This page was built for publication: Combining nonmonotonic knowledge bases with external sources

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