A Language for Default Reasoning about Actions

From International Center for Computational Logic

Toggle side column

A Language for Default Reasoning about Actions

Hannes StraßHannes Straß,  Michael ThielscherMichael Thielscher
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
    @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}
    }