The dlvhex system for knowledge representation: recent advances (system description)*. Issue 5 (14th October 2016)

• Record Type: Journal Article
• Authors: REDL, CHRISTOPH
• Editors: Carro, Manuel; King, Andy
• Is Part Of: Theory and practice of logic programming. Volume 16:Issue 5/6(2016)
• Page Start: 866
• Page End: 883
• Publication Date: 2016-10-14
• Subjects: Answer Set Programming, -- Nonmonotonic Reasoning, -- Knowledge representation; Logic programming -- Periodicals; Artificial intelligence -- Computer programs -- Periodicals; Constraint programming (Computer science) -- Periodicals; 005.115
• DOI: 10.1017/S1471068416000211
• Languages: English
• ISSNs: 1471-0684

Abstract

Abstract: Thedlvhex system implements thehex -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 ofdlvhex .