The Boundary between Decidable and Undecidable Fragments of the Fluent Calculus

S. HölldoblerS. Hölldobler, D. KuskeD. Kuske

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

Details
Bibtex

Forschungsgruppe:Research Group: WissensverarbeitungKnowledge Representation and Reasoning

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