Add to ORKGWe provide technical details for both a fibring and an independent combination of normal and a non-normal logics underlying a normative multi-agent system (normative MAS). Such combinations lead to different levels of expressiveness of the system. Based on the fibring, we give a possible structure for a combined model checker for the MAS. The independent combination provides: (i) an ontology of pairs (mental configuration-visible behavior), which can be understood as a structural account to supporting non-monotonicity; and (ii) a logics where to write and test the validity of a wider set of well-formed formulas.Sociedad Argentina de Informática e Investigación Operativ
Model checking is a verification technique that performs an exhaustive search among the states of sa...
In a multi-agent deontic setting, normative conflicts can take a variety of different logical forms....
AbstractThe last edition of CLIMA, held in 2001 in Paphos (Cyprus) ended with a panel session on the...
We provide technical details for combining normal and a non-normal logics for the notion of collecti...
We provide technical details for combining normal and a non-normal logics for the notion of collecti...
We present two multi-agent deontic logics that consistently accommodate various types of normative c...
A multi-agent system is a computerized system that is composed of multiple interacting agents within...
none2noA number of significant contributions in the last four decades show that non-normal modal log...
Modal logics are primary formalisms for multi-agent systems but major reasoning tasks in such logics...
Abstract. There is growing interest in the idea that, in some cases, in-teractions among multiple, i...
This dissertation is devoted to the study of non-normal (modal) systems for deontic logics, both on ...
This chapter takes a closer look at computational logic approaches for the design, verification and ...
In this chapter we first provide a general introduction to the research area methodology and relevan...
Defeasible reasoning is a well-established nonmonotonic reasoning approach that has recently been co...
International audienceIn this paper we present refinement modal logic. A refinement is like a bisimu...
Model checking is a verification technique that performs an exhaustive search among the states of sa...
In a multi-agent deontic setting, normative conflicts can take a variety of different logical forms....
AbstractThe last edition of CLIMA, held in 2001 in Paphos (Cyprus) ended with a panel session on the...
We provide technical details for combining normal and a non-normal logics for the notion of collecti...
We provide technical details for combining normal and a non-normal logics for the notion of collecti...
We present two multi-agent deontic logics that consistently accommodate various types of normative c...
A multi-agent system is a computerized system that is composed of multiple interacting agents within...
none2noA number of significant contributions in the last four decades show that non-normal modal log...
Modal logics are primary formalisms for multi-agent systems but major reasoning tasks in such logics...
Abstract. There is growing interest in the idea that, in some cases, in-teractions among multiple, i...
This dissertation is devoted to the study of non-normal (modal) systems for deontic logics, both on ...
This chapter takes a closer look at computational logic approaches for the design, verification and ...
In this chapter we first provide a general introduction to the research area methodology and relevan...
Defeasible reasoning is a well-established nonmonotonic reasoning approach that has recently been co...
International audienceIn this paper we present refinement modal logic. A refinement is like a bisimu...
Model checking is a verification technique that performs an exhaustive search among the states of sa...
In a multi-agent deontic setting, normative conflicts can take a variety of different logical forms....
AbstractThe last edition of CLIMA, held in 2001 in Paphos (Cyprus) ended with a panel session on the...