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

S. HölldoblerS. Hölldobler, H.-P. StörrH.-P. Störr

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

Details
Bibtex

Forschungsgruppe:Research Group: WissensverarbeitungKnowledge Representation and Reasoning

@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}
}