A Language for Default Reasoning about Actions

Hannes StraßHannes Straß, Michael ThielscherMichael Thielscher

Download

Hannes Straß, Michael Thielscher
A Language for Default Reasoning about Actions
Correct Reasoning: Essays on Logic-Based AI in Honour of Vladimir Lifschitz, volume 7265 of LNCS, 527--542, 2012. Springer-Verlag Berlin Heidelberg

Details
Bibtex

@inproceedings{ST2012,
  author    = {Hannes Stra{\ss} and Michael Thielscher},
  title     = {A Language for Default Reasoning about Actions},
  booktitle = {Correct Reasoning: Essays on Logic-Based {AI} in Honour of
               Vladimir Lifschitz},
  series    = {LNCS},
  volume    = {7265},
  publisher = {Springer-Verlag Berlin Heidelberg},
  year      = {2012},
  pages     = {527--542}
}