Show simple item record

dc.contributor.authorBrandano, Sergio
dc.date.accessioned2013-12-10T14:42:10Z
dc.date.available2013-12-10T14:42:10Z
dc.date.issued2013-12-10
dc.identifier.issn1470-5559
dc.identifier.urihttp://qmro.qmul.ac.uk/xmlui/handle/123456789/4740
dc.description.abstractThe range of applicability of the Full Event Calculus is proven to be the Ksp-IA class in the Features and Fluents taxonomy. The proof is given with respect to the original definition of this preference logic, where no adjustments of the language or reasoning method were necessary. The result implies that the claims on the expressiveness and problem-solving power of this logic were indeed correct.en_US
dc.language.isoenen_US
dc.relation.ispartofseriesDepartment of Computer Science Research Reports;RR-01-02 - March 2001
dc.titleThe Event Calculus Assesseden_US
dc.typeTechnical Reporten_US


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record