Serafini, Luciano

Serafini, Luciano  

Mostra records
Risultati 1 - 20 di 277 (tempo di esecuzione: 0.021 secondi).
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