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

From International Center for Computational Logic
Toggle side column

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

Steffen HölldoblerSteffen Hölldobler
The Undecidability of the Entailment Problem in the Fluent and the Situation Calculus


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