An alternative proof method for possibilistic logic and its application to terminological logics.

Bernhard Hollunder

Published in: Int. J. Approx. Reason. (1995)

Keyphrases

knowledge base
possibilistic logic
machine learning
general purpose
artificial intelligence
multi agent
pattern recognition
probabilistic model
logic programming
classical logic