A logic interpreter to handle time and negation in logic data bases.
José Carlos Ferreira Maia NevesPublished in: ACM Annual Conference (1984)
Keyphrases
- logic programming
- databases
- predicate logic
- logic programs
- classical logic
- deontic logic
- digital circuits
- multi valued
- automated reasoning
- derivation rules
- modal logic
- sound and complete axiomatization
- high level
- truth values
- proof theory
- natural deduction
- closed world assumptions
- epistemic logic
- deductive databases
- operating system
- database systems
- artificial intelligence