Zobrazeno 1 - 10
of 10
pro vyhledávání: '"Liberman, Andrés Occhipinti"'
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 that produc
Externí odkaz:
http://arxiv.org/abs/2204.11902
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 this domain
Externí odkaz:
http://arxiv.org/abs/2109.06076
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 known to w
Externí odkaz:
http://arxiv.org/abs/1908.09658
Many 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 quantified conditions such as $\neg\exists x\mathsf{blocks\_door}(
Externí odkaz:
http://arxiv.org/abs/1906.06047
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 involves an order
Externí odkaz:
http://arxiv.org/abs/1706.05905
Autor:
Biziou-van-Pol, Laura, Haenen, Jana, Novaro, Arianna, Liberman, Andrés Occhipinti, Capraro, Valerio
The opportunity to tell a white lie (i.e., a lie that benefits another person) generates a moral conflict between two opposite moral dictates, one pushing towards telling always the truth and the other pushing towards helping others. Here we study ho
Externí odkaz:
http://arxiv.org/abs/1506.03973
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Journal of Logic & Computation; Sep2022, Vol. 32 Issue 6, p1067-1087, 21p
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Liberman, A O & Rendsvig, R K 2019, Dynamic Term-Modal Logic for Epistemic Social Network Dynamics . in P Blackburn, E Lorini & M Guo (eds), Proceedings of 7th International Workshop on Logic, Rationality, and Interaction . Springer, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 11813 LNCS, pp. 168-182, 7th International Workshop on Logic, Rationality, and Interaction, Chongqing, China, 18/10/2019 . https://doi.org/10.1007/978-3-662-60292-8_13
Logics for social networks have been studied in recent literature. This paper presents a framework based on dynamic term-modal logic ((formula presented)), a quantified variant of dynamic epistemic logic ((formula presented)). In contrast with (formu
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______1202::df40817f7821f01228b2b771e248182a
https://orbit.dtu.dk/en/publications/8e2c310c-eef6-4630-84a5-62508b1c33b8
https://orbit.dtu.dk/en/publications/8e2c310c-eef6-4630-84a5-62508b1c33b8