With the amount of information available to us today, making sense of potentially conflicting information is a problem that we are bound to run into. We aim to study this problem from the perspective of epistemic logic. So far, we have studied logics for ...

This work proposes a new technical foundation for demonstrating Probably Approximately Correct (PAC) learning with multiagent epistemic logics, using implicit learning to incorporate observations into the background knowledge. We explore the sample ...

We propose DEL-AgentSpeak, an AgentSpeak extension for reasoning about belief uncertainty using dynamic epistemic logic (DEL). An uncertain navigation example is presented, motivating the need for DEL-AgentSpeak. DEL-AgentSpeak is evaluated against a ...

Observers can glean information from others' emotional expressions through the act of drawing inferences from another individual's emotional expressions. It is important for socially aware artificial systems to be capable of doing that as it can ...

In this paper, we propose a framework for representing and reasoning about auction-based protocols. Such a framework is of interest for building digital marketplaces based on auctions and should fulfill two requirements: (i) it should enable bidders to ...

Real-life agents seldom have unlimited reasoning power. In this paper, we propose and study a new formal notion of computationally bounded strategic ability in multi-agent systems. The notion characterizes the ability of a set of agents to synthesize an ...

Many important properties of multi-agent systems refer to the participants' ability to achieve a given goal, or to prevent the system from an undesirable event. Among intelligent agents, the goals are often of epistemic nature, i.e., concern the ability ...

Communication within groups of agents has been lately the focus of research in dynamic epistemic logic (DEL). This paper studies a recently introduced form of partial (more precisely, topic-based) communication. This type of communication allows for ...

Attention is the crucial cognitive ability that limits and selects what information we observe. Previous work by Bolander et al. (2016) proposes a model of attention based on dynamic epistemic logic (DEL) where agents are either fully attentive or not ...

We define extensions of CTL and TCTL with strategic operators, called Strategic CTL (SCTL) and Strategic TCTL (STCTL), respectively. For each of the above logics we give a synchronous and asynchronous semantics, ie STCTL is interpreted over networks of ...

We introduce a logic for representing the deontic notion of knowingly complying associated to an agent's conciousness of taking a normative course of action for achieving a certain goal. Our logic features an operator for describing normative courses of ...

In logics for strategic reasoning the main challenge is represented by their verification in contexts of imperfect information and perfect recall strategies. In this work, we show a technique to approximate the verification of Alternating-time Temporal ...