Domain expansion for ASP-programs with external sources

DOI10.1016/J.ARTINT.2016.01.003MaRDI QIDQ254002zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Thomas Eiter, Michael Fink, Thomas Krennwallner, Christoph Redl

Publication date 8 March 2016

Published in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.artint.2016.01.003

zbMATH Keywords

answer set programmingcomputational logicexternal source accessgroundingknowledge representation formalismsnonmonotonic reasoning

Mathematics Subject Classification ID

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

Recommendations

• Answer set programming with external sources
• Conflict-driven ASP solving with external sources
• Logic Programming and Nonmonotonic Reasoning
• Answer set programming with external source access
• Exploiting partial assignments for efficient evaluation of answer set programs with external source access

Cites work

• scientific article; zbMATH DE number 5914356 (Why is no real title available?)
• scientific article; zbMATH DE number 25190 (Why is no real title available?)
• scientific article; zbMATH DE number 1884395 (Why is no real title available?)
• scientific article; zbMATH DE number 2090537 (Why is no real title available?)
• scientific article; zbMATH DE number 5493266 (Why is no real title available?)
• A Revised Concept of Safety for General Answer Set Programs
• A framework for testing safety and effective computability
• Acyclicity notions for existential rules and their application to query answering in ontologies
• Combining answer set programming with description logics for the semantic web
• Computable Functions in ASP: Theory and Implementation
• Conflict-driven ASP solving with external sources
• Constraint Answer Set Solving
• Disjunctive Datalog with existential quantifiers: semantics, decidability, and complexity issues
• Efficient HEX-Program Evaluation Based on Unfounded Sets
• Extending and implementing the stable model semantics
• External sources of knowledge and value invention in logic programming
• Logic Programming and Nonmonotonic Reasoning
• On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and \(n\)-person games
• On the termination of logic programs with function symbols
• One More Decidable Class of Finitely Ground Programs
• Pushing Efficient Evaluation of HEX Programs by Modular Decomposition
• Reasoning with infinite stable models
• Safe Formulas in the General Theory of Stable Models (Preliminary Report)
• Semantics and complexity of recursive aggregates in answer set programming
• Termination of term rewriting: Interpretation and type elimination
• The DLV system for knowledge representation and reasoning
• The computational complexity of ideal semantics
• The termination hierarchy for term rewriting

Cited in

(9)

• External sources of knowledge and value invention in logic programming
• Answers set programs for non-transferable utility games: expressiveness, complexity and applications
• Exploiting answer set programming with external sources for meta-interpretive learning
• Pruning external minimality checking for answer set programs using semantic dependencies
• The<scp>dlvhex</scp>system for knowledge representation: recent advances (system description)
• LARS: a logic-based framework for analytic reasoning over streams
• Rule-based Stream Reasoning for Intelligent Administration of Content-Centric Networks
• Inlining external sources in answer set programs
• scientific article; zbMATH DE number 7455702 (Why is no real title available?)

Describes a project that uses

Uses Software

• Gringo
• DLV-EX
• Potassco
• Clingcon

This page was built for publication: Domain expansion for ASP-programs with external sources

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