On the Connection between Non-monotonic Inference Systems and Conditional Logics.

Gabriella Crocco Philippe Lamarre

Published in: KR (1992)

Keyphrases

conditional logic
higher order
higher order logic
nonmonotonic inference
high level
bayesian networks
search algorithm
programming language
distributed systems
computer systems
probabilistic inference