Abstract Hilbertian deductive systems, infon logic, and Datalog.

Andreas Blass Yuri Gurevich

Published in: Inf. Comput. (2013)

Keyphrases

logic programming
higher level
building blocks
complex systems
neural network
expert systems
management system
distributed systems
learning systems
machine learning
artificial intelligence
information systems
knowledge representation
object oriented
software engineering
modal logic