The<scp>dlvhex</scp>system for knowledge representation: recent advances (system description)

DOI10.1017/S1471068416000211zbMath1379.68304arXiv1607.08864OpenAlexW2964204744MaRDI QIDQ4593064

Christoph Redl

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/1607.08864

zbMATH Keywords

knowledge representationnonmonotonic reasoninganswer set programming

Mathematics Subject Classification ID

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

Related Items

On combining ontologies and rules ⋮ Stepwise debugging of answer-set programs ⋮ A Logic-Based Framework Leveraging Neural Networks for Studying the Evolution of Neurological Disorders ⋮ Pruning external minimality checking for answer set programs using semantic dependencies ⋮ Lazy stream manipulation in prolog via backtracking: the case of \textbf{2P-Kt} ⋮ The Fusemate logic programming system

Uses Software

• Potassco

Cites Work

• Unnamed Item
• Unnamed Item
• Domain expansion for ASP-programs with external sources
• Semantics and complexity of recursive aggregates in answer set programming
• Extending and implementing the stable model semantics
• Conflict-driven answer set solving: from theory to practice
• Conflict-driven ASP solving with external sources
• The mcs-ie System for Explaining Inconsistency in Multi-Context Systems
• The DLV system for knowledge representation and reasoning
• Efficient HEX-Program Evaluation Based on Unfounded Sets