Login / Signup
Transition Logic Revisited.
Wolfgang Bibel
Published in:
Log. J. IGPL (2008)
Keyphrases
</>
logic programming
deontic logic
defeasible logic
predicate logic
decision making
case study
image sequences
automated reasoning
probabilistic logic
classical logic
digital circuits
formal theory
abductive reasoning
proof theory