Serafini, Luciano

Serafini, Luciano  

DKM  

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