An Overview and Introduction to Logic and Data Bases.

Hervé Gallaire Jack Minker Jean-Marie Nicolas

Published in: Logic and Data Bases (1977)

Keyphrases

databases
modal logic
defeasible logic
logic programming
automated reasoning
e learning
classical logic
epistemic logic
database systems
natural language
knowledge discovery
computational properties
digital circuits
predicate logic
formal theory
deontic logic