Tractable First-Order Golog with Disjunctive Knowledge Bases

Publication TypeConference Paper
Year of Publication2009
AuthorsJens Claßen; Gerhard Lakemeyer
Conference NameNinth International Symposium on Logical Formalizations of Commonsense Reasoning (Commonsense 2009)
Conference Start Date01/06/2009
Conference LocationToronto, Canada
AttachmentSize
CL_TractableGolog.pdf173.22 KB
Submitted by Jens Claßen on 15. May 2009 - 18:01. categories [ | | | | ]