Towards State Update Axioms: Reifying Successor State Axioms

Michael ThielscherMichael Thielscher

Michael Thielscher
Towards State Update Axioms: Reifying Successor State Axioms
In L.F. del Cerro and J. Dix and U. Furbach, eds., Proceedings of JELIA 98, volume 1489 of LNAI, 248-263, 1998. Springer

Details
Bibtex

Forschungsgruppe:Research Group: WissensverarbeitungKnowledge Representation and Reasoning

The final publication is available at Springer.

@inproceedings{T1998,
  author    = {Michael Thielscher},
  title     = {Towards State Update Axioms: Reifying Successor State Axioms},
  editor    = {L.F. del Cerro and J. Dix and U. Furbach},
  booktitle = {Proceedings of {JELIA} 98},
  series    = {LNAI},
  volume    = {1489},
  publisher = {Springer},
  year      = {1998},
  pages     = {248-263}
}