DLV - A System for Declarative Problem Solving

03/08/2000
by   Thomas Eiter, et al.
0

DLV is an efficient logic programming and non-monotonic reasoning (LPNMR) system with advanced knowledge representation mechanisms and interfaces to classic relational database systems. Its core language is disjunctive datalog (function-free disjunctive logic programming) under the Answer Set Semantics with integrity constraints, both default and strong (or explicit) negation, and queries. Integer arithmetics and various built-in predicates are also supported. In addition DLV has several frontends, namely brave and cautious reasoning, abductive diagnosis, consistency-based diagnosis, a subset of SQL3, planning with action languages, and logic programming with inheritance.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
05/05/2014

Implementing Default and Autoepistemic Logics via the Logic of GK

The logic of knowledge and justified assumptions, also known as logic of...
research
03/05/2002

Two results for proiritized logic programming

Prioritized default reasoning has illustrated its rich expressiveness an...
research
05/11/2019

Controlled Natural Languages and Default Reasoning

Controlled natural languages (CNLs) are effective languages for knowledg...
research
02/27/2013

Exceptional Subclasses in Qualitative Probability

System Z+ [Goldszmidt and Pearl, 1991, Goldszmidt, 1992] is a formalism ...
research
07/09/2018

Scaling-Up Reasoning and Advanced Analytics on BigData

BigDatalog is an extension of Datalog that achieves performance and scal...
research
12/15/2009

Multi-valued Action Languages in CLP(FD)

Action description languages, such as A and B, are expressive instrument...
research
08/04/2022

Proceedings 38th International Conference on Logic Programming

ICLP is the premier international event for presenting research in logic...

Please sign up or login with your details

Forgot password? Click here to reset