Deductive databases in four-valued logic: rule semantics and models.
Dominique LaurentNicolas SpyratosPublished in: J. Log. Comput. (2023)
Keyphrases
- deductive databases
- logic programming
- valued logic
- model theoretic
- classical logic
- integrity constraints
- artificial intelligence
- fixpoint semantics
- nonmonotonic reasoning
- fixpoint
- stable models
- datalog programs
- closed world assumption
- declarative semantics
- query evaluation
- description logics
- formal semantics
- truth values
- logic programming language
- logic programs
- multiple inheritance
- rough sets