Translating Inaccessible Worlds Logic into Bimodal Logic.

Olivier Gasquet Andreas Herzig

Published in: ECSQARU (1993)

Keyphrases

multi valued
deontic logic
formal theory
logic programming
defeasible logic
modal logic
real time
automated reasoning
linear temporal logic
abductive reasoning
classical logic
probabilistic logic
expressive power
information retrieval
machine learning
real world
neural network