A model building framework for answer set programming with external computations

DOI10.1017/S1471068415000113zbMath1379.68058arXiv1507.01451OpenAlexW1961824217MaRDI QIDQ4593036

Christoph Redl, Thomas Eiter, Peter Schüller, Giovambattista Ianni, Thomas Krennwallner, Michael Fink

Publication date: 9 November 2017

Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1507.01451

zbMATH Keywords

model buildinganswer set programmingexternal computationhex programs

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (10)

LARS: a logic-based framework for analytic reasoning over streams ⋮ Exploiting Answer Set Programming with External Sources for Meta-Interpretive Learning ⋮ Partial Compilation of ASP Programs ⋮ Hybrid planning for challenging construction problems: an answer set programming approach ⋮ On combining ontologies and rules ⋮ Learning higher-order logic programs ⋮ Adding Metalogic Features to Knowledge Representation Languages* ⋮ Inlining External Sources in Answer Set Programs ⋮ A Logic-Based Framework Leveraging Neural Networks for Studying the Evolution of Neurological Disorders ⋮ Knowledge representation analysis of graph mining

Uses Software

• DLV-EX
• GASP
• DMCS
• Clingcon
• Datalog

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Relating constraint answer set programming languages and algorithms
• The loop formula based semantics of description logic programs
• Integrating answer set programming and constraint logic programming
• Conflict-driven answer set solving: from theory to practice
• On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and \(n\)-person games
• Logic programs with stable model semantics as a constraint programming paradigm
• Combining answer set programming with description logics for the semantic web
• FLP answer set semantics without circular justifications for general logic programs
• Partition-based logical reasoning for first-order and propositional theories
• External sources of knowledge and value invention in logic programming
• HEX PROGRAMS WITH ACTION ATOMS
• Pushing Efficient Evaluation of HEX Programs by Modular Decomposition
• A Semantic Account for Modularity in Multi-language Modelling of Search Problems
• GASP: Answer Set Programming with Lazy Grounding
• Counterexample-guided abstraction refinement for symbolic model checking
• Achieving compositionality of the stable model semantics for <scp>smodels</scp> programs
• Solution Enumeration for Projected Boolean Search Problems
• Realizing Default Logic over Description Logic Knowledge Bases
• A Module-Based Framework for Multi-language Constraint Modeling
• Modularity Aspects of Disjunctive Stable Models
• Modular stratification and magic sets for Datalog programs with negation
• Constraint Answer Set Solving
• ASP modulo CSP: The clingcon system
• Conflict-driven ASP solving with external sources
• The DMCS Solver for Distributed Nonmonotonic Multi-Context Systems
• The mcs-ie System for Explaining Inconsistency in Multi-Context Systems
• Logics in Artificial Intelligence
• Efficient HEX-Program Evaluation Based on Unfounded Sets
• Computable Functions in ASP: Theory and Implementation
• Logic for Programming, Artificial Intelligence, and Reasoning

This page was built for publication: A model building framework for answer set programming with external computations