2009 |
15 | EE | Stefano Borgo,
Massimiliano Carrara,
Pawel Garbacz,
Pieter E. Vermaas:
A formal ontological perspective on the behaviors and functions of technical artifacts.
AI EDAM 23(1): 3-21 (2009) |
2008 |
14 | | Laure Vieu,
Stefano Borgo,
Claudio Masolo:
Artefacts and Roles: Modelling Strategies in a Multiplicative Ontology.
FOIS 2008: 121-134 |
2007 |
13 | EE | Stefano Borgo:
Coalitions in Action Logic.
IJCAI 2007: 1822-1827 |
12 | EE | Stefano Borgo:
How Formal Ontology can help Civil Engineers.
Ontologies for Urban Development 2007: 37-45 |
2006 |
11 | EE | Giancarlo Guizzardi,
Claudio Masolo,
Stefano Borgo:
In Defense of a Trope-Based Ontology for Conceptual Modeling: An Example with the Foundations of Attributes, Weak Entities and Datatypes.
ER 2006: 112-125 |
10 | | Stefano Borgo,
Massimiliano Carrara,
Pieter E. Vermaas,
Pawel Garbacz:
Behavior of a Technical Artifact: An Ontological Perspective in Engineering.
FOIS 2006: 214-225 |
9 | | Stefano Borgo,
Claudio Masolo:
Qualities in Possible Worlds.
FOIS 2006: 250-261 |
8 | EE | Klaus Lüttich,
Claudio Masolo,
Stefano Borgo:
Development of Modular Ontologies in CASL.
WoMO 2006 |
7 | EE | Stefano Borgo,
Matteo Cristani,
Roberta Cuel:
Formal ontology meets industry.
Applied Ontology 1(3-4): 217-220 (2006) |
2005 |
6 | EE | Stefano Borgo:
Modal Operators with Adaptable Semantics for Multi-agent Systems.
AI*IA 2005: 186-197 |
5 | EE | Alessandro Oltramari,
Laurent Prévot,
Stefano Borgo:
Theoretical andpracticalaspects of interfacing ontologies andlexicalresources.
SWAP 2005 |
4 | | Stefano Borgo:
Quantificational Modal Logic with Sequential Kripke Semantics.
Journal of Applied Non-Classical Logics 15(2): 137-188 (2005) |
2004 |
3 | EE | Stefano Borgo,
Paulo Leitão:
The Role of Foundational Ontologies in Manufacturing Domain Applications.
CoopIS/DOA/ODBASE (1) 2004: 670-688 |
2003 |
2 | EE | Stefano Borgo:
A Multi-agent Modal Language for Concurrency with Non-communicating Agents.
CEEMAS 2003: 40-50 |
1996 |
1 | | Stefano Borgo,
Nicola Guarino,
Claudio Masolo:
A Pointless Theory of Space Based on Strong Connection and Congruence.
KR 1996: 220-229 |