A basis for deductive database systems II
From MaRDI portal
Recommendations
Cited in
(14)- Strict completion of logic programs
- Answer Set Programming for Single-Player Games in General Game Playing
- Inferring negative information from disjunctive databases
- Acyclic logic programs and the completeness of SLDNF-resolution
- scientific article; zbMATH DE number 49786 (Why is no real title available?)
- Domain-independent formulas and databases
- scientific article; zbMATH DE number 4074545 (Why is no real title available?)
- Logical-epistemic foundations of general game descriptions
- Minimal and consistent evolution of knowledge bases
- Prolegomena to logic programming for non-monotonic reasoning
- Protected completions of first-order general logic programs
- Negation in rule-based database languages: A survey
- Automated verification of state sequence invariants in general game playing
- Simulation of action theories and an application to general game-playing robots
This page was built for publication: A basis for deductive database systems II
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3719865)