Tractable First-Order Golog with Disjunctive Knowledge Bases
| Publication Type | Conference Paper |
| Year of Publication | 2009 |
| Authors | Jens Claßen; Gerhard Lakemeyer |
| Conference Name | Ninth International Symposium on Logical Formalizations of Commonsense Reasoning (Commonsense 2009) |
| Conference Start Date | 01/06/2009 |
| Conference Location | Toronto, Canada |
| |
|