23 citations · 88 across the 36 of their papers we have counts for
Showing 2019 · cs.AIShow all
2 papers · 2 filters
cs.AI2019
Dynamic Epistemic Logic with ASP Updates: Application to Conditional Planning
Pedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro
Dynamic Epistemic Logic (DEL) is a family of multimodal logics that has proved to be very successful for epistemic reasoning in planning tasks. In this logic, the agent's knowledge…
cs.AI2019
Heuristics, Answer Set Programming and Markov Decision Process for Solving a Set of Spatial Puzzles
Thiago Freitas dos Santos, Paulo E. Santos, Leonardo A. Ferreira +2
Spatial puzzles composed of rigid objects, flexible strings and holes offer interesting domains for reasoning about spatial entities that are common in the human daily-life's activ…