Optometrist
发表于 2025-3-25 03:58:50
Mark Alan Fogela multi-agent society where each agent has some “capabilities” and where agents interact according to some forms of “institutionalized power relations”. Modal action logics, of the type developed in the Philosophy area, are used to reason about agent‘s agency and interaction..In spite of its simplic
inventory
发表于 2025-3-25 09:03:10
Roger Luechingerit is both . and . founded. Any program . is associated a normal form ., called the . program, by a non-trivial bottom-up construction using least fixpoints of two monotonic operators..We show in this paper, that the original calculus, consisting of some simple transformations, has a very strong and
得意牛
发表于 2025-3-25 14:02:27
Menhel Kinno,Joanne Sutterfoundation for sophisticated reasoning techniques to be used on, and by, the agents themselves. The possible worlds semantics offered by modal logic has proved to be a successful framework in which to model mental attitudes of agents such as beliefs, desires and intentions. The most popular choices
领先
发表于 2025-3-25 18:38:19
Pierangelo Renella,J. Paul Finnto manipulation by self-interested agents. In this paper we study manipulation in the context of belief merging, a framework for aggregating agents’ positions, or beliefs, with respect to a set of issues represented by propositional atoms. Within this framework agents submit their positions as propo
协定
发表于 2025-3-25 20:01:45
Henryk Kafka,Raad H. Mohiaddinto manipulation by self-interested agents. In this paper we study manipulation in the context of belief merging, a framework for aggregating agents’ positions, or beliefs, with respect to a set of issues represented by propositional atoms. Within this framework agents submit their positions as propo
傲慢人
发表于 2025-3-26 00:19:57
Inga Voges,Sylvia Krupickovato manipulation by self-interested agents. In this paper we study manipulation in the context of belief merging, a framework for aggregating agents’ positions, or beliefs, with respect to a set of issues represented by propositional atoms. Within this framework agents submit their positions as propo
Memorial
发表于 2025-3-26 07:22:12
Frédérique Bailliardargumentation framework, i.e. based only on the attack relation between arguments. The existence of multiple argumentation semantics raises the question which of these semantics predicts best how humans evaluate arguments. Previous empirical cognitive studies that have tested how humans evaluate set
连系
发表于 2025-3-26 08:49:49
Daniel Knight,Vivek Muthurangucs. Main objects of our system are . consisting of .. A revision rule expresses a specification of change or a constraint on a knowledge base. There are two types of revision rules. . require that an element be in a knowledge base whenever some other elements are in the knowledge base and yet other
丛林
发表于 2025-3-26 12:43:31
Michael A. Quail,Vivek Muthurangu,Andrew M. Taylorcs. Main objects of our system are . consisting of .. A revision rule expresses a specification of change or a constraint on a knowledge base. There are two types of revision rules. . require that an element be in a knowledge base whenever some other elements are in the knowledge base and yet other
人类的发源
发表于 2025-3-26 18:37:23
Steve W. Leung,Mushabbar A. Syedal explanation approaches have been developed for ASP. However, while those formalisms are correct and interesting on their own, most are more technical and less oriented towards philosophical or social concepts of explanation. In this work, we study the notion of contrastive explanation, i.e., answ