Login / Signup

Solving the Entailment Problem in the Fluent Calculus Using Binary Decision Diagrams.

Steffen HölldoblerHans-Peter Störr
Published in: Computational Logic (2000)
Keyphrases
  • binary decision diagrams
  • variable ordering
  • fluent calculus
  • situation calculus
  • symbolic model checking
  • boolean functions
  • logic programming
  • relational databases