A Logic for Non-Terminating Golog Programs
| Publication Type | Conference Paper |
| Year of Publication | 2008 |
| Authors | Jens Claßen; Gerhard Lakemeyer |
| Conference Name | 11th International Conference on the Principles of Knowledge Representation and Reasoning (KR 2008) |
| Publisher | AAAI Press |
| Conference Location | Sydney, Australia |
| |
|
