Formal specification of artificial institutions using the event calculus

In this paper we propose an application-independent model of institutional re- ality that can be used to define open multi-agent systems as the reification of a set of

An Artificial Institution (AI) is characterized by: (i) a set of concepts and properties introduced by the specific AI; for example in an auction AI it is necessary to represent

In this spirit, in section 5 we individuate some possible suggestions coming from different aspects of cognitive research: the distinction between two different

Abstract. In this paper we describe a legal core ontology that is part of a generic architecture for legal knowledge systems, which will enable the interchange of know- ledge

In order to make the DOL meta-language and its seman- tics more easily accessible to the wider ontology community, we have developed a notion of institute which are like

Unit´e de recherche INRIA Rocquencourt, Domaine de Voluceau, Rocquencourt, BP 105, 78153 LE CHESNAY Cedex Unit´e de recherche INRIA Sophia-Antipolis, 2004 route des Lucioles, BP

For now, we’ll just say that the correct way to define improper integrals is as a limit of well–defined approximating integrals. The approximating integrals have restricted domains

For the passive seismic experiments, the amplitude of atmospheric infrasound generated by seismic surface waves is investigated in detail.. Despite some limitations, the