1. Home
Contributo in volume

2007

Coalitions in Action Logic

Borgo S.
Sorgente: , 2007

Foundations for a Core Ontology of Manufacturing

Borgo, S., Leitao, P.
Sorgente: . Berlin: Springer-Verlag, 2007

How Formal Ontology can help Civil Engineers

Borgo, S.
Sorgente: Ontologies for Urban Development, edited by Jacques Teller, John R. Lee and Catherine Roussey (Eds.), pp. 37–45. Berlin: Springer-Verlag, 2007

Quantificational Modal Operators and Their Semantics

Borgo, S.
Sorgente: . Amsterdam: Amsterdam University Press, 2007
Contributo in atti di convegno

2007

Designing Organizations: Towards a Model

Bottazzi, E., Ferrario, R., Masolo, C., Trypuz
Sorgente: Normative Multi-agent Systems, Dagstuhl Seminar, pp. 237–244, Dagstuhl, Germany, 18-23/03/2007

Evaluating Procedural Alternatives. A Case Study in e-Voting

Bryl, V., Dalpiaz, F., Ferrario, R., Mattioli, A., Villafiorita
Sorgente: MeTTeG07. 1st International Conference on Methodologies, Technologies and Tools Enabling e-Government, Halley, pp. 125–138, Camerino (MC), Italy, 27-28/09/2007

On Non Mediated Collective Intentions

Bottazzi, E., Catenacci, C., Ferrario, R., Trypuz
Sorgente: Narrative Alternatives to Theories of Mind, University of Hertfordshire, 12-15/07/2007
Altro (Documentazione tecnica, Metodologie)

2007

An Ontological View of Organizations - Deliverable D6.1 (TOCAI)

Borgo, S., Bottazzi, E., Ferrario, R., De Nicola, A., Guarino, N., Masolo, C., Missikov, M., Tininini, L., Vieu, L.
Sorgente: 2007

Ontology of Organizations and Security. MOSTRO deliverable D3 (final version)

Bottazzi E., Ferrario R., Masolo C.
Sorgente: 2007
Articolo

2006

Formal Ontology meets Industry

Borgo S., Cristani M., Cuel R.
Sorgente: 1 (2006): 217–220., info:cnr-pdr/source/autori:Borgo S., Cristani M., Cuel R./titolo:Formal Ontology meets Industry/doi:/rivista:/anno:2006/pagina_da:217/pagina_a:220/intervallo_pagine:217–220/volume:1

In Defence of a Trope-Based Ontology for Conceptual Modeling: An example with the foundations of Attributes, Weak Entities an Datatypes

Guizzardi G., Borgo S., Masolo C.
Sorgente: Lecture notes in computer science 4215 (2006): 112–125., info:cnr-pdr/source/autori:Guizzardi G., Borgo S., Masolo C./titolo:In Defence of a Trope-Based Ontology for Conceptual Modeling: An example with the foundations of Attributes, Weak Entities an Datatypes/doi:/rivista:Lecture notes in computer science/anno

In the Defense of Ontological Foundations for Conceptual Modeling.

Nicola Guarino, Giancarlo Guizzardi
Sorgente: Scandinavian journal of information systems (Papirform) 18(1) (2006): 115–126., info:cnr-pdr/source/autori:Nicola Guarino; Giancarlo Guizzardi/titolo:In the Defense of Ontological Foundations for Conceptual Modeling./doi:/rivista:Scandinavian journal of information systems (Papirform)/anno:2006/pagina_da:115/pagina_a:126/intervallo_p

Ontologies and description logics

Diego Calvanese, Nicola Guarino
Sorgente: Intelligenza Artificiale 3 (2006): 19–25., info:cnr-pdr/source/autori:Diego Calvanese; Nicola Guarino/titolo:Ontologies and description logics/doi:/rivista:Intelligenza Artificiale/anno:2006/pagina_da:19/pagina_a:25/intervallo_pagine:19–25/volume:3
Libro o curatela

2006

Applied Ontology - An interdisciplinary journal on ontological analysis and conceptual modelling

Nicola Guarino, Mark Musen
Sorgente: 2006

Formal Ontology meets Industry (Special Issue)

Borgo S, Cristani M, Cuel R
Sorgente: 2006