723 search results - page 1 / 145 » A Logical Architecture of a Normative System |
DEON
2006
Springer
13 years 7 months ago
2006
Springer
Abstract. Logical architectures combine several logics into a more complex logical system. In this paper we study a logical architecture using input/output operations corresponding...
CCIA
2006
Springer
13 years 9 months ago
2006
Springer
Abstract. In this paper, we describe a novel agent architecture for normative multiagent systems which is based on multi-context systems. It models the three modalities of Rao and ...
ATAL
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. We introduce Multimodal Logics of Normative Systems as a contribution to the development of a general logical framework for reasoning about normative systems over logics ...
CCIA
2007
Springer
13 years 11 months ago
2007
Springer
We introduce Multimodal Logics of Normative Systems as a contribution to the development of a general logical framework for reasoning about normative systems over logics for Multi-...
DAGSTUHL
2007
13 years 6 months ago
2007
Abstract. We explain the raison d’ˆetre and basic ideas of our gametheoretic approach to normative multiagent systems, sketching the central elements with pointers to other publ...