Search Results for author:
Found 12 papers, 0 papers with code
Anticipating Responsibility in Multiagent Planning
This can be used in a multi-agent planning setting to allow agents to anticipate responsibility in the plans they consider.
Base-based Model Checking for Multi-Agent Only Believing (long version)
We present a novel semantics for the language of multi-agent only believing exploiting belief bases, and show how to use it for automatically checking formulas of this language and of its dynamic extension with private belief expansion operators.
Modelling and Explaining Legal Case-based Reasoners through Classifiers
In this paper we combine the modal logic approach (binary-input classifier, BLC) to classifiers and their explanations given by Liu & Lorini (2021) with Horty's account of factor-based CBR, since both a classifier and CBR map sets of features to decisions or classifications.
Logic-Based Ethical Planning
In this paper we propose a framework for ethical decision making in the context of planning, with intended application to robotics.
A unified logical framework for explanations in classifier systems
Finally, we present two extensions of our language: a dynamic extension by the notion of assignment enabling classifier change and an epistemic extension in which the classifier's uncertainty about the actual input can be represented.
A Qualitative Theory of Cognitive Attitudes and their Change
We present a general logical framework for reasoning about agents' cognitive attitudes of both epistemic type and motivational type.
Modeling Contrary-to-Duty with CP-nets
In a ceteris-paribus semantics for deontic logic, a state of affairs where a larger set of prescriptions is respected is preferable to a state of affairs where some of them are violated.
Exploiting Belief Bases for Building Rich Epistemic Structures
We introduce a semantics for epistemic logic exploiting a belief base abstraction.
Rethinking Epistemic Logic with Belief Bases
We introduce a new semantics for a logic of explicit and implicit beliefs based on the concept of multi-agent belief base.
Relaxing Exclusive Control in Boolean Games
We introduce Concurrent Game Structures with Shared Propositional Control (CGS-SPC) and show that they ac- count for several classes of repeated games, including iterated boolean games, influence games, and aggregation games.
Exploring the bidimensional space: A dynamic logic point of view
We present a family of logics for reasoning about agents' positions and motion in the plane which have several potential applications in the area of multi-agent systems (MAS), such as multi-agent planning and robotics.
Strategic disclosure of opinions on a social network
We study the strategic aspects of social influence in a society of agents linked by a trust network, introducing a new class of games called games of influence.
