AbstractWe introduce and motivate a non-standard multi-modal logic to represent and reason about ignorance in Multi-Agent Systems. We argue that in Multi-agent systems being able to reason about what agents ignore is just as important as being able to reason about what agents know. We show a sound and complete axiomatisation for the logic. We investigate its applicability by restating the feasibility condition for the FIPA communication primitive of inform
We provide a syntactic model of unawareness. By introducing multiple knowledge modalities, one for e...
In earlier work (Halpern and Rêgo, 2009), we proposed a logic that extends the Logic of General Awa...
We propose various logical semantics for change of awareness. The setting is that of multiple agents...
AbstractWe introduce and motivate a non-standard multi-modal logic to represent and reason about ign...
When building artificial agents that have to make decisions, understanding what follows from what th...
We propose an epistemic, nonmonotonic approach to the formalization of knowledge in a multi-agent se...
What does it mean to say that an agent only knows a particular fact,i.e., knowing that fact and not ...
In the most popular logics combining knowledge and awareness, it is not possible to express statemen...
This paper provides a set-theoretic model of knowledge and unawareness, in which reasoning through t...
In the logical context, ignorance is traditionally defined recurring to epistemic logic $S_4$ \cite{...
Awareness has been shown to be a useful addition to stan-dard epistemic logic for many applications....
In this paper, we investigate knowledge reasoning within a simple framework called knowledge structu...
In this paper we shall consider the notion of being more knowledgeable in multi-agent systems. We sh...
This paper provides a set-theoretic model of knowledge and unawareness. A new property called Awaren...
In this paper we characterize some agent properties relating to reasoning about knowledge. The follo...
We provide a syntactic model of unawareness. By introducing multiple knowledge modalities, one for e...
In earlier work (Halpern and Rêgo, 2009), we proposed a logic that extends the Logic of General Awa...
We propose various logical semantics for change of awareness. The setting is that of multiple agents...
AbstractWe introduce and motivate a non-standard multi-modal logic to represent and reason about ign...
When building artificial agents that have to make decisions, understanding what follows from what th...
We propose an epistemic, nonmonotonic approach to the formalization of knowledge in a multi-agent se...
What does it mean to say that an agent only knows a particular fact,i.e., knowing that fact and not ...
In the most popular logics combining knowledge and awareness, it is not possible to express statemen...
This paper provides a set-theoretic model of knowledge and unawareness, in which reasoning through t...
In the logical context, ignorance is traditionally defined recurring to epistemic logic $S_4$ \cite{...
Awareness has been shown to be a useful addition to stan-dard epistemic logic for many applications....
In this paper, we investigate knowledge reasoning within a simple framework called knowledge structu...
In this paper we shall consider the notion of being more knowledgeable in multi-agent systems. We sh...
This paper provides a set-theoretic model of knowledge and unawareness. A new property called Awaren...
In this paper we characterize some agent properties relating to reasoning about knowledge. The follo...
We provide a syntactic model of unawareness. By introducing multiple knowledge modalities, one for e...
In earlier work (Halpern and Rêgo, 2009), we proposed a logic that extends the Logic of General Awa...
We propose various logical semantics for change of awareness. The setting is that of multiple agents...
DOI
Add to ORKG