Serafini, Luciano
Serafini, Luciano
A Context-based Logic for Distribution Knowledge Representation and Reasoning
1999-01-01 Ghidini, Chiara; Serafini, Luciano
A Context-Based Mechanization of Multi-Agent Reasoning
2000-01-01 Cimatti, Alessandro; Serafini, Luciano
A Formal Investigation of Mapping Language for Terminological Knowledge
2005-01-01 Serafini, Luciano; H., Stuckenschmidt; H., Wache
A Formal Semantics for Weighted Ontology Mappings
2012-01-01 Manuel, Atencia; Alexander, Borgida; Jérôme, Euzenat; Ghidini, Chiara; Serafini, Luciano
A formal semantics for weighted ontology mappings.
2012-01-01 Manuel, Atencia; Alexander, Borgida; Jerome, Euzenat; Ghidini, Chiara; Serafini, Luciano
A formalisation of BPMN in Description Logics
2008-01-01 Ghidini, Chiara; Rospocher, Marco; Serafini, Luciano
A Foundation for Metareasoning Part I: The Proof Theory
2002-01-01 G. Criscuolo; Fausto Giunchiglia; Luciano Serafini
A Foundation for Metareasoning. Part II: The model theory
2002-01-01 G. Criscuolo; Fausto Giunchiglia; Luciano Serafini
A Foundation of Metalogical Reasoning: OM Pairs (Propositional Case)
1994-01-01 G., Criscuolo; Giunchiglia, Fausto; Serafini, Luciano
A framework for the collaborative specification of semantically annotated business processes
2011-01-01 Di Francescomarino, Chiara; Ghidini, Chiara; Rospocher, Marco; Serafini, Luciano; Tonella, Paolo
A Hybrid Methodology for Consumer-oriented Healthcare Knowledge Acquisition
2009-01-01 Cardillo, Elena; Tamilin, Andrei; Serafini, Luciano
A Hybrid Methodology for Consumer-oriented Healthcare Knowledge Acquisition
2009-01-01 Cardillo, Elena; Tamilin, Andrei; Serafini, Luciano
A Lexical-Ontological Resource for Consumer Healthcare
2009-01-01 Cardillo, Elena; Tamilin, Andrei; Serafini, Luciano
A Methodology for Knowledge Acquisition in Consumer-Oriented Healthcare
2011-01-01 Cardillo, Elena; Tamilin, A.; Serafini, L.
A Modular Framework for Ontology-based Representation of Patent Information
2007-01-01 Mark, Giereth; Steffen, Koch; Yiannis, Kompatsiaris; Symeon, Papadopoulos; Pianta, Emanuele; Serafini, Luciano; Leo, Wanner
A Novel FrameNet-based Resource for the Semantic Web
2012-01-01 Bryl, Volha; Tonelli, Sara; Giuliano, Claudio; Serafini, Luciano
A Request Language for Web-Services Based on Planning and Constraint Satisfaction
2002-01-01 M., Aiello; Mike P., Papazoglou; J., Yang; Carman, Mark James; Pistore, Marco; Serafini, Luciano; Traverso, Paolo
A Robust Logical and Computational Characterisation of Peer-to-Peer Database Systems
2004-01-01 E. Franconi; G. Kuper; A. Lopatenko; L. Serafini
A SAT-based algorithm for context matching
2003-01-01 Bouquet, Paolo; Magnini, Bernardo; Serafini, Luciano; S., Zanobini
Agent-Based Query Optimization in a Grid Environment
2001-01-01 Luciano Serafini; H. Stockinger; K. Stockinger; Floriano Zini
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
A Context-based Logic for Distribution Knowledge Representation and Reasoning | 1-gen-1999 | Ghidini, Chiara; Serafini, Luciano | |
A Context-Based Mechanization of Multi-Agent Reasoning | 1-gen-2000 | Cimatti, Alessandro; Serafini, Luciano | |
A Formal Investigation of Mapping Language for Terminological Knowledge | 1-gen-2005 | Serafini, Luciano; H., Stuckenschmidt; H., Wache | |
A Formal Semantics for Weighted Ontology Mappings | 1-gen-2012 | Manuel, Atencia; Alexander, Borgida; Jérôme, Euzenat; Ghidini, Chiara; Serafini, Luciano | |
A formal semantics for weighted ontology mappings. | 1-gen-2012 | Manuel, Atencia; Alexander, Borgida; Jerome, Euzenat; Ghidini, Chiara; Serafini, Luciano | |
A formalisation of BPMN in Description Logics | 1-gen-2008 | Ghidini, Chiara; Rospocher, Marco; Serafini, Luciano | |
A Foundation for Metareasoning Part I: The Proof Theory | 1-gen-2002 | G. Criscuolo; Fausto Giunchiglia; Luciano Serafini | |
A Foundation for Metareasoning. Part II: The model theory | 1-gen-2002 | G. Criscuolo; Fausto Giunchiglia; Luciano Serafini | |
A Foundation of Metalogical Reasoning: OM Pairs (Propositional Case) | 1-gen-1994 | G., Criscuolo; Giunchiglia, Fausto; Serafini, Luciano | |
A framework for the collaborative specification of semantically annotated business processes | 1-gen-2011 | Di Francescomarino, Chiara; Ghidini, Chiara; Rospocher, Marco; Serafini, Luciano; Tonella, Paolo | |
A Hybrid Methodology for Consumer-oriented Healthcare Knowledge Acquisition | 1-gen-2009 | Cardillo, Elena; Tamilin, Andrei; Serafini, Luciano | |
A Hybrid Methodology for Consumer-oriented Healthcare Knowledge Acquisition | 1-gen-2009 | Cardillo, Elena; Tamilin, Andrei; Serafini, Luciano | |
A Lexical-Ontological Resource for Consumer Healthcare | 1-gen-2009 | Cardillo, Elena; Tamilin, Andrei; Serafini, Luciano | |
A Methodology for Knowledge Acquisition in Consumer-Oriented Healthcare | 1-gen-2011 | Cardillo, Elena; Tamilin, A.; Serafini, L. | |
A Modular Framework for Ontology-based Representation of Patent Information | 1-gen-2007 | Mark, Giereth; Steffen, Koch; Yiannis, Kompatsiaris; Symeon, Papadopoulos; Pianta, Emanuele; Serafini, Luciano; Leo, Wanner | |
A Novel FrameNet-based Resource for the Semantic Web | 1-gen-2012 | Bryl, Volha; Tonelli, Sara; Giuliano, Claudio; Serafini, Luciano | |
A Request Language for Web-Services Based on Planning and Constraint Satisfaction | 1-gen-2002 | M., Aiello; Mike P., Papazoglou; J., Yang; Carman, Mark James; Pistore, Marco; Serafini, Luciano; Traverso, Paolo | |
A Robust Logical and Computational Characterisation of Peer-to-Peer Database Systems | 1-gen-2004 | E. Franconi; G. Kuper; A. Lopatenko; L. Serafini | |
A SAT-based algorithm for context matching | 1-gen-2003 | Bouquet, Paolo; Magnini, Bernardo; Serafini, Luciano; S., Zanobini | |
Agent-Based Query Optimization in a Grid Environment | 1-gen-2001 | Luciano Serafini; H. Stockinger; K. Stockinger; Floriano Zini |