Andrés Occhipinti Liberman
YOU?
Author Swipe
View article: Learning First-Order Symbolic Planning Representations That Are Grounded
Learning First-Order Symbolic Planning Representations That Are Grounded Open
Two main approaches have been developed for learning first-order planning (action) models from unstructured data: combinatorial approaches that yield crisp action schemas from the structure of the state space, and deep learning approaches …
View article: Learning to Act and Observe in Partially Observable Domains
Learning to Act and Observe in Partially Observable Domains Open
We consider a learning agent in a partially observable environment, with which the agent has never interacted before, and about which it learns both what it can observe and how its actions affect the environment. The agent can learn about …
View article: Decidability Results in First-Order Epistemic Planning
Decidability Results in First-Order Epistemic Planning Open
Propositional Dynamic Epistemic Logic (DEL) provides an expressive framework for epistemic planning, but lacks desirable features that are standard in first-order planning languages (such as problem-independent action representations via a…
View article: Dynamic Term-Modal Logic for Epistemic Social Network Dynamics (Extended\n Version)
Dynamic Term-Modal Logic for Epistemic Social Network Dynamics (Extended\n Version) Open
Logics for social networks have been studied in recent literature. This paper\npresents a framework based on *dynamic term-modal logic* (DTML), a quantified\nvariant of dynamic epistemic logic (DEL). In contrast with DEL where it is\ncommo…
View article: Dynamic Term-Modal Logic for Epistemic Social Network Dynamics (Extended Version)
Dynamic Term-Modal Logic for Epistemic Social Network Dynamics (Extended Version) Open
Logics for social networks have been studied in recent literature. This paper presents a framework based on *dynamic term-modal logic* (DTML), a quantified variant of dynamic epistemic logic (DEL). In contrast with DEL where it is commonly…
View article: Dynamic Term-Modal Logics for Epistemic Planning.
Dynamic Term-Modal Logics for Epistemic Planning. Open
Classical planning frameworks are built on first-order languages. The first-order expressive power is desirable for compactly representing actions via schemas, and for specifying goal formulas such as $\neg\exists x\mathsf{blocks\_door}(x)…
View article: Evidence Logics with Relational Evidence
Evidence Logics with Relational Evidence Open
Dynamic evidence logics are logics for reasoning about the evidence and evidence-based beliefs of agents in a dynamic environment. In this paper, we introduce a family of logics for reasoning about relational evidence: evidence that involv…