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

Steffen HölldoblerSteffen Hölldobler, Hans-Peter StörrHans-Peter Störr

Steffen Hölldobler, Hans-Peter Störr
Solving the Entailment Problem in the Fluent Calculus using Binary Decision Diagrams
Technical Report, Knowledge Representation and Reasoning Group, Department of Computer Science, Dresden University of Technology, volume WV-1999-05, 1999

Details
Bibtex

Forschungsgruppe:Research Group: WissensverarbeitungKnowledge Representation and Reasoning

@techreport{HS1999,
  author      = {Steffen H{\"{o}}lldobler and Hans-Peter St{\"{o}}rr},
  title       = {Solving the Entailment Problem in the Fluent Calculus using
                 Binary Decision Diagrams},
  institution = {Knowledge Representation and Reasoning Group, Department of
                 Computer Science, Dresden University of Technology},
  year        = {1999}
}