A formal assessment result for fluent calculus using the action description language A_k

Ozan KahramanogullariOzan Kahramanogullari, Michael ThielscherMichael Thielscher

Download

Ozan Kahramanogullari, Michael Thielscher
A formal assessment result for fluent calculus using the action description language A_k
In Rudolf Kruse Andreas Günter and Bernd Neumann, eds., KI2003: Advances in Artificial Intelligence. Proceedings of the 26th Annual German Conference on Artificial Intelligence, KI2003, Hamburg, Germany, September 2003, volume 2821 of Lecture Notes in Artificial Intelligence, 209-223, 2003. Springer

Details
Bibtex

Bemerkung: Note: © Springer-Verlag Berlin Heidelberg 2003
Forschungsgruppe:Research Group: WissensverarbeitungKnowledge Representation and Reasoning

The final publication is available at Springer.

@inproceedings{KT2003,
  author    = {Ozan Kahramanogullari and Michael Thielscher},
  title     = {A formal assessment result for fluent calculus using the action
               description language A_k},
  editor    = {Rudolf Kruse Andreas G{\"{u}}nter and Bernd Neumann},
  booktitle = {KI2003: Advances in Artificial Intelligence. Proceedings of the
               26th Annual German Conference on Artificial Intelligence,
               {KI2003,} Hamburg, Germany, September 2003},
  series    = {Lecture Notes in Artificial Intelligence},
  volume    = {2821},
  publisher = {Springer},
  year      = {2003},
  pages     = {209-223}
}