Disjunctive Deductive Databases (DDDBs) - function-free disjunctive logic programs with, negation in rule bodies allowed - have been recently recognized as a powerful tool for knowledge representation and commonsense reasoning. Much research has been spent on issues like semantics and complexity of DDDBs, but the important area of implementing DDDBs has been less addressed so far. However, a thorough investigation thereof is a basic requirement for building systems which render previous foundational work on DDDBs useful for practice. This paper presents the architecture of a DDDB system currently developed at TU Vienna in the FWF project P11580-MAT "A Query System for Disjunctive Deductive Databases".
CITATION STYLE
Eiter, T., Leone, N., Mateis, C., Pfeifer, G., & Scarcello, F. (1997). A deductive system for non-monotonic reasoning. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1265, pp. 363–374). Springer Verlag. https://doi.org/10.1007/3-540-63255-7_27
Mendeley helps you to discover research relevant for your work.