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

DOI10.1017/S1471068416000211zbMATH Open1379.68304arXiv1607.08864OpenAlexW2964204744MaRDI QIDQ4593064FDOQ4593064

Authors: Christoph Redl 

Publication date: 9 November 2017

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

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.

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

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

zbMATH Keywords

answer set programmingnonmonotonic reasoningknowledge representation

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Extending and implementing the stable model semantics
• Domain expansion for ASP-programs with external sources
• Title not available (Why is that?)
• Conflict-driven ASP solving with external sources
• The DLV system for knowledge representation and reasoning
• Efficient HEX-Program Evaluation Based on Unfounded Sets
• Semantics and complexity of recursive aggregates in answer set programming
• Conflict-driven answer set solving: from theory to practice
• 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}
• Title not available (Why is that?)

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)