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 |
Files in this item
| Files | Size | Format | View |
|---|