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

DOI10.1017/S1471068416000211MaRDI QIDQ4593064zbMATH OpenOpenAlexFDO

Authors 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

answer set programmingnonmonotonic reasoningknowledge representation

Mathematics Subject Classification ID

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

Abstract: The DLVHEX system implements the HEX-semantics, which integrates answer set programming (ASP) with arbitrary external sources. Since its first release ten years ago, significant advancements were achieved. Most importantly, the exploitation of properties of external sources led to efficiency improvements and flexibility enhancements of the language, and technical improvements on the system side increased user's convenience. In this paper, we present the current status of the system and point out the most important recent enhancements over early versions. While existing literature focuses on theoretical aspects and specific components, a bird's eye view of the overall system is missing. In order to promote the system for real-world applications, we further present applications which were already successfully realized on top of DLVHEX. This paper is under consideration for acceptance in Theory and Practice of Logic Programming.

Recommendations

• The DLV system for knowledge representation and reasoning
• scientific article; zbMATH DE number 1315582
• \(F\)-\(K\) system of knowledge representation
• An approach to exploring description logic knowledge bases
• Description logics in knowledge representation
• Publication:3200598
• KNOWLEDGE REPRESENTATION: A SURVEY OF ITS MECHANISMS, A SKETCH OF ITS SEMANTICS
• DL-learner: learning concepts in description logics
• scientific article; zbMATH DE number 4112075

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

Cited in

(8)

• The DLV system for knowledge representation and reasoning
• Stepwise debugging of answer-set programs
• On combining ontologies and rules
• The Fusemate logic programming system
• 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}
• scientific article; zbMATH DE number 1890626 (Why is no real title available?)

Describes a project that uses

Uses Software

• Potassco

This page was built for publication: The<scp>dlvhex</scp>system for knowledge representation: recent advances (system description)

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