A Preferential Model Semantics For Default Logic.

Frans Voorbraak

Published in: ECSQARU (1991)

Keyphrases

default logic
probabilistic model
high level
nonmonotonic logics
probability distribution
logic programming
integrity constraints
deductive databases
databases
bayesian networks
knowledge representation
first order logic
nonmonotonic reasoning
autoepistemic logic