A New Equational Foundation for the Fluent Calculus

Hans--Peter StörrHans--Peter Störr, Michael ThielscherMichael Thielscher

Hans--Peter Störr, Michael Thielscher
A New Equational Foundation for the Fluent Calculus
In J. Lloyd and V. Dahl and U. Furbach and M. Kerber and K.-K. Lau and C. Palamidessi and L. M. Pereira and Y. Sagiv and P. J. Stuckey, eds., Proceedings of the First International Conference on Computational Logic (CL), LNCS, 733-745, 2000. Springer

Details
Bibtex

Forschungsgruppe:Research Group: WissensverarbeitungKnowledge Representation and Reasoning

The final publication is available at Springer.

@inproceedings{ST2000,
  author    = {Hans--Peter St{\"{o}}rr and Michael Thielscher},
  title     = {A New Equational Foundation for the Fluent Calculus},
  editor    = {J. Lloyd and V. Dahl and U. Furbach and M. Kerber and K.-K. Lau
               and C. Palamidessi and L. M. Pereira and Y. Sagiv and P. J.
               Stuckey},
  booktitle = {Proceedings of the First International Conference on
               Computational Logic (CL)},
  series    = {LNCS},
  publisher = {Springer},
  year      = {2000},
  pages     = {733-745}
}