DDLV: A System for rational preferential reasoning for datalog.

Michael Harrison Thomas Meyer

Published in: South Afr. Comput. J. (2020)

Keyphrases

expressive power
knowledge base
query answering
deductive databases
query language
reasoning systems
transitive closure
logic programming
reasoning tasks
knowledge representation
probabilistic reasoning
data complexity
automated reasoning
programming language
multi agent
decision making
database languages