Provider: Schloss Dagstuhl - Leibniz Center for Informatics
Database: dblp computer science bibliography
Content:text/plain; charset="utf-8"
TY - CPAPER
ID - DBLP:conf/kr/Petrick08
AU - Petrick, Ronald P. A.
TI - Cartesian Situations and Knowledge Decomposition in the Situation Calculus.
BT - Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, KR 2008, Sydney, Australia, September 16-19, 2008
SP - 629
EP - 639
PY - 2008//
UR - http://www.aaai.org/Library/KR/2008/kr08-062.php
ER -
