Mostrar el registro sencillo del ítem

dc.contributor.authorCabalar P.
dc.contributor.authorSantos P.E.
dc.date.accessioned2019-08-19T23:45:18Z
dc.date.available2019-08-19T23:45:18Z
dc.date.issued2011
dc.identifier.citationCabalar, Pedro; Santos, Paulo E.. Formalising the Fisherman's Folly puzzle. Artificial Intelligence (General ed.), v. 175, p. 346-377, 2011.
dc.identifier.issn0004-3702
dc.identifier.urihttps://repositorio.fei.edu.br/handle/FEI/1198
dc.description.abstractThis 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.ispartofArtificial Intelligence
dc.rightsAcesso Aberto
dc.titleFormalising the fisherman's folly puzzle
dc.typeArtigo


Ficheros en el ítem

FicherosTamañoFormatoVer

Este ítem aparece en la(s) siguiente(s) colección(ones)

Mostrar el registro sencillo del ítem


© AUSJAL 2022

Asociación de Universidades Confiadas a la Compañía de Jesús en América Latina, AUSJAL
Av. Santa Teresa de Jesús Edif. Cerpe, Piso 2, Oficina AUSJAL Urb.
La Castellana, Chacao (1060) Caracas - Venezuela
Tel/Fax (+58-212)-266-13-41 /(+58-212)-266-85-62

Nuestras redes sociales

facebook Facebook

twitter Twitter

youtube Youtube

Asociaciones Jesuitas en el mundo
Ausjal en el mundo AJCU AUSJAL JESAM JCEP JCS JCAP