Generality in artificial intelligence
Communications of the ACM
Multilanguage hierarchical logics, or: how we can do without modal logics
Artificial Intelligence
The law as a dynamic interconnected system of states of affairs: a legal top ontology
International Journal of Human-Computer Studies - Model—based legal knowledge engineering
Local models semantics, or contextual reasoning = locality + compatibility
Artificial Intelligence
Rough Sets and Data Mining: Analysis of Imprecise Data
Rough Sets and Data Mining: Analysis of Imprecise Data
Agents, Markets, Institutions, and Protocols
Agent Mediated Electronic Commerce, The European AgentLink Perspective.
The Semantics of Propositional Contexts
ISMIS '94 Proceedings of the 8th International Symposium on Methodologies for Intelligent Systems
Agent Specification Using Multi-context Systems
Selected papers from the UKMAS Workshop on Foundations and Applications of Multi-Agent Systems
The Description Logic Handbook
The Description Logic Handbook
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Modelling electronic organizations
CEEMAS'03 Proceedings of the 3rd Central and Eastern European conference on Multi-agent systems
Propositional logic of context
AAAI'93 Proceedings of the eleventh national conference on Artificial intelligence
Logical Tools for Modelling Legal Argument: A Study of Defeasible Reasoning in Law
Logical Tools for Modelling Legal Argument: A Study of Defeasible Reasoning in Law
From abstract to concrete norms in agent institutions
FAABS'04 Proceedings of the Third international conference on Formal Approaches to Agent-Based Systems
Norms and electronic institutions
DEON'06 Proceedings of the 8th international conference on Deontic Logic and Artificial Normative Systems
Operationalisation of norms for usage in electronic institutions
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
An architecture of a normative system: counts-as conditionals, obligations and permissions
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Modal logic investigations in the semantics of counts-as
ICAIL '05 Proceedings of the 10th international conference on Artificial intelligence and law
From human regulations to regulated software agents' behavior
Artificial Intelligence and Law
Operationalisation of Norms for Electronic Institutions
Coordination, Organizations, Institutions, and Norms in Agent Systems II
A Context-Based Institutional Normative Environment
Coordination, Organizations, Institutions and Norms in Agent Systems IV
Count-as Conditionals, Classification and Context
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
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
Ontology with likeliness and typicality of objects in concepts
ER'06 Proceedings of the 25th international conference on Conceptual Modeling
CLIMA'05 Proceedings of the 6th international conference on Computational Logic in Multi-Agent Systems
Constitutive norms in the design of normative multiagent systems
CLIMA'05 Proceedings of the 6th international conference on Computational Logic in Multi-Agent Systems
Verifying norm compliancy of protocols
AAMAS'05 Proceedings of the 2005 international conference on Agents, Norms and Institutions for Regulated Multi-Agent Systems
Hi-index | 0.00 |
We provide a formal characterization of a notion of contextual taxonomy, that is to say, a taxonomy holding only with respect to a specific context. To this aim, a new proposal for dealing with “contexts as abstract mathematical entities” is set forth, which is geared toward solving some problems arising in the area of normative system specifications for modeling multi-agent systems. Contexts are interpreted as sets of description logic models for different languages, and a number of operations on contexts are defined. Using this framework, a simple scenario taken from the legal domain is modeled, and a formal account of the so called open-texture of legal terms is provided characterizing the notions of “core” and “penumbra” of the meaning of a concept.