The Boundary between Decidable and Undecidable Fragments of the Fluent Calculus

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

Toggle side column

The Boundary between Decidable and Undecidable Fragments of the Fluent Calculus

S. HölldoblerS. Hölldobler,  D. KuskeD. Kuske
The Boundary between Decidable and Undecidable Fragments of the Fluent Calculus


S. Hölldobler, D. Kuske
The Boundary between Decidable and Undecidable Fragments of the Fluent Calculus
Proceedings of the 7th International Conference on Logic for Programming and Automated Reasoning, volume 1955 of Lecture Notes in Artificial Intelligence, 436-450, 2000
@inproceedings{HK2000,
  author    = {S. H{\"{o}}lldobler and D. Kuske},
  title     = {The Boundary between Decidable and Undecidable Fragments of the
               Fluent Calculus},
  booktitle = {Proceedings of the 7th International Conference on Logic for
               Programming and Automated Reasoning},
  series    = {Lecture Notes in Artificial Intelligence},
  volume    = {1955},
  year      = {2000},
  pages     = {436-450}
}