IRIS
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.

cerca in
Risultati 31 - 40 di 127 (tempo di esecuzione: 0.08 secondi).
Titolo Data di pubblicazione Autore(i) File
Analytic Tableaux for KLM Preferential and Cumulative Logics 1-gen-2005 Giordano, Laura; Gliozzi, V.; Olivetti, N.; Pozzato, G. L.
Applying AI model-checking techniques to clinical guidelines 1-gen-2007 Giordano, Laura; Bottrighi, Alessio; Montani, Stefania; Terenziani, Paolo
ASP and ontologies for reasoning on business processes 1-gen-2019 Giordano, L.; Theseider Dupre, D.
ASP for reasoning about actions with an EL^bot knowledge base 1-gen-2016 Giordano, Laura; Martelli, Alberto; Spiotta, Matteo; THESEIDER DUPRE', Daniele
Automated Deduction for Logics of Default Reasoning (Extended Abstract) 1-gen-2006 Giordano, Laura; Gliozzi, V; Olivetti, N; Pozzato, G. L.
Automatic Checking of the Correctness of Clinical Guidelines in GLARE 1-gen-2007 Terenziani, Paolo; L., Anselma; Bottrighi, Alessio; Giordano, Laura; Montani, Stefania
Belief Revision and the Ramsey Test: a Solution 1-gen-2001 Giordano, Laura; V., Gliozzi; N., Olivetti
Business process compliance verification: combining Action Theories with CPNs 1-gen-2012 D., D'Aprile; Giordano, Laura; D., Rognone; THESEIDER DUPRE', Daniele
Business Processes Veri fication with Temporal Answer Set Programming 1-gen-2012 Giordano, Laura; A., Martelli; M., Spiotta; THESEIDER DUPRE', Daniele
Complexity and Scalability of Reasoning in many-valued Weighted Knowledge Bases with Typicality - Extended Abstract 1-gen-2023 Alviano, Mario; Giordano, Laura; Theseider Dupre', Daniele
Risultati 31 - 40 di 127 (tempo di esecuzione: 0.08 secondi).
↑ Back to top
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

Aggiungere filtri:  
Aggiungi
Opzioni
Scopri
Tipologia
  • 4 Contributo in Atti di Convegno ... 127
  • 4 Contributo in Atti di Convegno ... 124
  • 4 Contributo in Atti di Convegno ... 3
Autore
  • THESEIDER DUPRE', Daniele 36
  • BOTTRIGHI, Alessio 9
  • TERENZIANI, Paolo 9
  • MONTANI, Stefania 8
  • GLIOZZI, Valentina 6
  • PORTINALE, Luigi 4
  • CANONICO, Massimo 3
  • GUAZZONE, Marco 3
  • ANGLANO, Cosimo Filomeno 2
  • FRANCESCHINIS, Giuliana Annamaria 2
Data di pubblicazione
  • 2020 - 2023 24
  • 2010 - 2019 48
  • 2000 - 2009 35
  • 1990 - 1999 19
  • 1988 - 1989 1
Editore
  • CEUR-WS 20
  • Springer 7
  • CEUR-WS.org 4
  • IOS Press 4
  • Springer Science and Business Med... 3
  • ACM 2
  • Open Publishing Association 2
  • IEEE Computer Society 1
  • IOS Press BV 1
  • JOHN WILEY & SONS LTD 1
Rivista
  • LECTURE NOTES IN ARTIFICIAL INTEL... 20
  • CEUR WORKSHOP PROCEEDINGS 15
  • LECTURE NOTES IN COMPUTER SCIENCE 12
  • FRONTIERS IN ARTIFICIAL INTELLIGE... 5
  • ELECTRONIC PROCEEDINGS IN THEORET... 2
  • STUDIES IN HEALTH TECHNOLOGY AND ... 1
Serie
  • CEUR WORKSHOP PROCEEDINGS 19
  • LECTURE NOTES IN ARTIFICIAL INTEL... 7
  • FRONTIERS IN ARTIFICIAL INTELLIGE... 2
  • LECTURE NOTES IN COMPUTER SCIENCE 2
Keyword
  • Computer Science (all) 8
  • Preferential semantics 4
  • Common sense reasoning 2
  • Neural networks 2
  • Weighted conditionals 2
  • Artificial Intelligence 1
  • Automated forensic analysis 1
  • Common Sense Reasoning 1
  • Computational logic 1
  • Description Logic 1
Lingua
  • eng 70
  • ita 2
Accesso al fulltext
  • no fulltext 118
  • reserved 7
  • restricted 2