RicercaInizia una nuova ricerca
NOTA: è possibile cercare una corrispondenza esatta usando i doppi apici, ad es: "evoluzione della specie". Qualora si cerchi un identificativo, è consigliabile cercarlo in due modi differenti: tra apici con caratteri speciali es: "978-94-6366-274" oppure senza caratteri speciali solo come sequenza numerica: es 978946366274.
Reasoning with Justifiable Exceptions in Contextual Hierarchies (Appendix)
2018-01-01 Bozzato, Loris; Serafini, Luciano; Eiter, Thomas
Semantic coordination of hierarchical classifications with attributes
2004-01-01 S., Sceffer; Serafini, Luciano; S., Zanobini
Semantic Coordination: A New Approach and an Application
2003-01-01 Bouquet, Paolo; Serafini, Luciano; S., Zanobini
Tableaux Algorithm for Reasoning with Contextualized Knowledge
2011-01-01 Homola, Martin; Bozzato, Loris; Serafini, Luciano
The Local Relational Model: Model and Proof Theory
2001-01-01 Serafini, Luciano; Giunchiglia, Fausto; Mylopoulos, John; Phil, Bernstein
Toward an architecture for quantum programming
2001-01-01 Stefano, Bettelli; Tommaso, Calarco; Serafini, Luciano
Two formalizations of context: a comparison
2000-01-01 Bouquet, Paolo; Serafini, Luciano
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Reasoning with Justifiable Exceptions in Contextual Hierarchies (Appendix) | 1-gen-2018 | Bozzato, Loris; Serafini, Luciano; Eiter, Thomas | |
Semantic coordination of hierarchical classifications with attributes | 1-gen-2004 | S., Sceffer; Serafini, Luciano; S., Zanobini | |
Semantic Coordination: A New Approach and an Application | 1-gen-2003 | Bouquet, Paolo; Serafini, Luciano; S., Zanobini | |
Tableaux Algorithm for Reasoning with Contextualized Knowledge | 1-gen-2011 | Homola, Martin; Bozzato, Loris; Serafini, Luciano | |
The Local Relational Model: Model and Proof Theory | 1-gen-2001 | Serafini, Luciano; Giunchiglia, Fausto; Mylopoulos, John; Phil, Bernstein | |
Toward an architecture for quantum programming | 1-gen-2001 | Stefano, Bettelli; Tommaso, Calarco; Serafini, Luciano | |
Two formalizations of context: a comparison | 1-gen-2000 | Bouquet, Paolo; Serafini, Luciano |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile
Opzioni
Scopri
Tipologia
- 5 Altro 47
- 5 Altro::5.12 Altro 47
Data di pubblicazione
- 2020 - 2021 2
- 2010 - 2019 14
- 2000 - 2009 23
- 1994 - 1999 8
Keyword
- semantic Web 6
- description logics 4
- Computer Science - Artificial Int... 3
- Computer Science - Logic in Compu... 3
- context 3
- context matching 3
- Context representation 3
- F.4.1 3
- I.2.4 3
- semantic matching 3
Lingua
- eng 43
- ita 3
Accesso al fulltext
- no fulltext 47