Serafini, Luciano
Serafini, Luciano
DKM
A context-based logic for distributed knowledge representation and reasoning
1999-01-01 Ghidini, C.; Serafini, L.
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 Contextual Framework for Reasoning on Events
2015-01-01 Bozzato, Loris; Borgo, Stefano; Palmero Aprosio, Alessio; Rospocher, Marco; Serafini, Luciano
A Datalog Translation for Reasoning on DL-Lite_R with Defeasibility
2019-01-01 Bozzato, Loris; Eiter, Thomas; 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; Giunchiglia, Fausto; Serafini, Luciano
A Foundation for Metareasoning. Part II: The model theory
2002-01-01 G., Criscuolo; Giunchiglia, Fausto; Serafini, Luciano
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 Neuro-Symbolic Approach for Real-World Event Recognition from Weak Supervision
2022-01-01 Apriceno, Gianluca; Passerini, Andrea; Serafini, Luciano
A Neuro-Symbolic Approach to Structured Event Recognition
2021-01-01 Apriceno, Gianluca; Passerini, Andrea; Serafini, Luciano
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A context-based logic for distributed knowledge representation and reasoning | 1-gen-1999 | Ghidini, C.; Serafini, L. | |
| 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 Contextual Framework for Reasoning on Events | 1-gen-2015 | Bozzato, Loris; Borgo, Stefano; Palmero Aprosio, Alessio; Rospocher, Marco; Serafini, Luciano | |
| A Datalog Translation for Reasoning on DL-Lite_R with Defeasibility | 1-gen-2019 | Bozzato, Loris; Eiter, Thomas; 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; Giunchiglia, Fausto; Serafini, Luciano | |
| A Foundation for Metareasoning. Part II: The model theory | 1-gen-2002 | G., Criscuolo; Giunchiglia, Fausto; Serafini, Luciano | |
| 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 Neuro-Symbolic Approach for Real-World Event Recognition from Weak Supervision | 1-gen-2022 | Apriceno, Gianluca; Passerini, Andrea; Serafini, Luciano | |
| A Neuro-Symbolic Approach to Structured Event Recognition | 1-gen-2021 | Apriceno, Gianluca; Passerini, Andrea; Serafini, Luciano |