Artificial intelligence and mathematical theory of computation
On the characterization of law and computer systems: the normative systems perspective
Deontic logic in computer science
Local models semantics, or contextual reasoning = locality + compatibility
Artificial Intelligence
Agents, Markets, Institutions, and Protocols
Agent Mediated Electronic Commerce, The European AgentLink Perspective.
Modal logic investigations in the semantics of counts-as
ICAIL '05 Proceedings of the 10th international conference on Artificial intelligence and law
The Description Logic Handbook
The Description Logic Handbook
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
A correspondence theory for terminological logics: preliminary report
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Modelling electronic organizations
CEEMAS'03 Proceedings of the 3rd Central and Eastern European conference on Multi-agent systems
From abstract to concrete norms in agent institutions
FAABS'04 Proceedings of the Third international conference on Formal Approaches to Agent-Based Systems
CLIMA'04 Proceedings of the 5th international conference on Computational Logic in Multi-Agent Systems
From human regulations to regulated software agents' behavior
Artificial Intelligence and Law
Ubi Lex, Ibi Poena: Designing Norm Enforcement in E-Institutions
Coordination, Organizations, Institutions, and Norms in Agent Systems II
Delegation of power in normative multiagent systems
DEON'06 Proceedings of the 8th international conference on Deontic Logic and Artificial Normative Systems
Counts-as: classification or constitution? an answer using modal logic
DEON'06 Proceedings of the 8th international conference on Deontic Logic and Artificial Normative Systems
Hi-index | 0.00 |
The paper addresses the issue of contextual representations of ontologies, as it arises in the area of normative system specifications for modeling multiagent systems. To this aim, the paper proposes a formalization of a notion of contextual terminology, that is to say, a terminology holding only with respect to a specific context. The formalization is obtained by means of a formal semantics framework which enables the expressivity of common description logics to reason within contexts (intra-contextual reasoning), allowing at the same time the possibility to reason also about contexts and their interplay (inter-contextual reasoning). Using this framework, two complex scenarios are discussed in detail and formalized.