A New Equational Foundation for the Fluent Calculus

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

Toggle side column

A New Equational Foundation for the Fluent Calculus

Hans--Peter StörrHans--Peter Störr,  Michael ThielscherMichael Thielscher
A New Equational Foundation for the Fluent Calculus


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