Login / Signup
Hilbertian Deductive Systems, Infon Logic, and Datalog.
Andreas Blass
Yuri Gurevich
Published in:
Bull. EATCS (2010)
Keyphrases
</>
logic programming
artificial intelligence
query answering
management system
computer systems
expressive power
asynchronous circuits
database languages
distributed systems
digital circuits
knowledge base
intelligent systems
knowledge based systems
deductive databases