Relational proof systems for some AI logics.

Published in: FAIR (1991)

Keyphrases

artificial intelligence
ai systems
intelligent systems
expert systems
planning systems
machine learning
computer systems
knowledge based systems
reasoning systems
data model
distributed systems
building blocks
relational data
intelligent behavior