Formalising the fisherman's folly puzzle

dc.contributor.author	Cabalar P.
dc.contributor.author	Santos P.E.
dc.date.accessioned	2019-08-19T23:45:18Z
dc.date.available	2019-08-19T23:45:18Z
dc.date.issued	2011
dc.identifier.citation	Cabalar, Pedro; Santos, Paulo E.. Formalising the Fisherman's Folly puzzle. Artificial Intelligence (General ed.), v. 175, p. 346-377, 2011.
dc.identifier.issn	0004-3702
dc.identifier.uri	https://repositorio.fei.edu.br/handle/FEI/1198
dc.description.abstract	This paper investigates the challenging problem of encoding the common sense knowledge involved in the manipulation of spatial objects from a reasoning about actions and change perspective. In particular, we propose a formal solution to a puzzle composed of non-trivial objects (such as holes and strings) assuming a version of the Situation Calculus written over first-order Equilibrium Logic, whose models generalise the stable model semantics. © 2010 Elsevier B.V. All rights reserved.
dc.relation.ispartof	Artificial Intelligence
dc.rights	Acesso Aberto
dc.title	Formalising the fisherman's folly puzzle
dc.type	Artigo

Ficheros en el ítem

Ficheros	Tamaño	Formato	Ver