Solving the Entailment Problem in the Fluent Calculus with Binary Decision Diagrams

From International Center for Computational Logic

Toggle side column

Solving the Entailment Problem in the Fluent Calculus with Binary Decision Diagrams

S. HölldoblerS. Hölldobler,  H.-P. StörrH.-P. Störr
Solving the Entailment Problem in the Fluent Calculus with Binary Decision Diagrams


S. Hölldobler, H.-P. Störr
Solving the Entailment Problem in the Fluent Calculus with Binary Decision Diagrams
Proceedings of the First International Conference on Computational Logic, 747-761, 2000
@inproceedings{HS2000,
  author    = {S. H{\"{o}}lldobler and H.-P. St{\"{o}}rr},
  title     = {Solving the Entailment Problem in the Fluent Calculus with Binary
               Decision Diagrams},
  booktitle = {Proceedings of the First International Conference on
               Computational Logic},
  year      = {2000},
  pages     = {747-761}
}