The Undecidability of the Entailment Problem in the Fluent and the Situation Calculus

Steffen HölldoblerSteffen Hölldobler

Steffen Hölldobler
The Undecidability of the Entailment Problem in the Fluent and the Situation Calculus
Technical Report, Knowledge Representation and Reasoning Group, Department of Computer Science, Dresden University of Technology, volume WV-1999-02, 1999

Details
Bibtex

Forschungsgruppe:Research Group: WissensverarbeitungKnowledge Representation and Reasoning

@techreport{H1999,
  author      = {Steffen H{\"{o}}lldobler},
  title       = {The Undecidability of the Entailment Problem in the Fluent and
                 the Situation Calculus},
  institution = {Knowledge Representation and Reasoning Group, Department of
                 Computer Science, Dresden University of Technology},
  year        = {1999}
}