Login / Signup
BDD-based reasoning in the fluent calculus - first results
Steffen Hölldobler
Hans-Peter Störr
Published in:
CoRR (2000)
Keyphrases
</>
fluent calculus
reasoning about actions
situation calculus
predicate logic
knowledge base
knowledge representation and reasoning
programming language
logic programming
reasoning systems
databases
theorem proving
binary decision diagrams