Propositional and terminological knowledge representations.

Daniela D'Aloisi Cristiano Castelfranchi

Published in: J. Exp. Theor. Artif. Intell. (1993)

Keyphrases

propositional logic
knowledge base
first order logic
knowledge representation
default logic
strips planning
real world
machine learning
sound and complete axiomatization
real time
genetic algorithm
database systems
logic programming
theorem proving
probabilistic knowledge
terminological knowledge