State Defaults and Ramifications in the Unifying Action Calculus
Aus International Center for Computational Logic
State Defaults and Ramifications in the Unifying Action Calculus
Ringo BaumannRingo Baumann, Gerhard BrewkaGerhard Brewka, Hannes StraßHannes Straß, Michael ThielscherMichael Thielscher, Vadim ZaslawskiVadim Zaslawski
Ringo Baumann, Gerhard Brewka, Hannes Straß, Michael Thielscher, Vadim Zaslawski
State Defaults and Ramifications in the Unifying Action Calculus
Proceedings of the Twelfth International Conference on the Principles of Knowledge Representation and Reasoning (KR), 435--444, May 2010. AAAI Press
State Defaults and Ramifications in the Unifying Action Calculus
Proceedings of the Twelfth International Conference on the Principles of Knowledge Representation and Reasoning (KR), 435--444, May 2010. AAAI Press
@inproceedings{BBSTZ2010,
author = {Ringo Baumann and Gerhard Brewka and Hannes Stra{\ss} and Michael
Thielscher and Vadim Zaslawski},
title = {State Defaults and Ramifications in the Unifying Action Calculus},
booktitle = {Proceedings of the Twelfth International Conference on the
Principles of Knowledge Representation and Reasoning (KR)},
publisher = {AAAI Press},
year = {2010},
month = {May},
pages = {435--444}
}