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 21 - 30 di 152 (tempo di esecuzione: 0.014 secondi).
Titolo Data di pubblicazione Autore(i) File
A Novel Decision Tree Approach for the Handling of Time Series 1-gen-2018 Brunello, Andrea; Marzano, Enrico; Montanari, Angelo; Sciavicco, Guido
A relational encoding of a conceptual model with multiple temporal dimensions 1-gen-2009 Gubiani, Donatella; Montanari, Angelo
A SAT-Based Encoding of the One-Pass and Tree-Shaped Tableau System for LTL 1-gen-2019 Geatti, Luca; Gigante, Nicola; Montanari, Angelo
A Set-Theoretic Approach to Automated Deduction in Graded Modal Logics 1-gen-1997 Montanari, Angelo; Policriti, Alberto
A set-theoretic translation method for (poly)modal logics 1-gen-1995 D'Agostino, Giovanna; Montanari, Angelo; Policriti, Alberto
A Singly Exponential Transformation of LTL[X, F] into Pure Past LTL 1-gen-2023 Artale, A.; Geatti, L.; Gigante, N.; Mazzullo, A.; Montanari, A.
A tableau system for right propositional neighborhood logic over finite linear orders: An implementation 1-gen-2013 Bresolin, D.; Della Monica, D.; Montanari, Angelo; Sciavicco, G.
A Tableau-based Decision Procedure for Right Propositional Neighborhood Logic 1-gen-2005 Bresolin, Davide; Montanari, Angelo
A Tractable Formalism for Combining Rectangular Cardinal Relations with Metric Constraints 1-gen-2012 Montanari, Angelo; Navarrete, I; Sciavicco, G; Tonon, A.
A Uniform Algebraic Characterization of Temporal Functional Dependencies 1-gen-2005 Combi, Carlo; Montanari, Angelo; Rossato, Rosalba
Risultati 21 - 30 di 152 (tempo di esecuzione: 0.014 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 ... 152
  • 4 Contributo in Atti di Convegno ... 152
Autore
  • DELLA MONICA, Dario 25
  • FRANCESCHET, Massimo 14
  • MOLINARI, ALBERTO 13
  • PUPPIS, Gabriele 11
  • GEATTI, Luca 10
  • BRUNELLO, ANDREA 8
  • GIGANTE, Nicola 8
  • SALA, Pietro 8
  • GUBIANI, Donatella 7
  • POLICRITI, Alberto 6
Data di pubblicazione
  • 2020 - 2023 23
  • 2010 - 2019 61
  • 2000 - 2009 49
  • 1990 - 1999 18
  • 1987 - 1989 1
Editore
  • Springer Verlag 23
  • IEEE Computer Society Press 13
  • IEEE Computer Society 9
  • Springer-Verlag 9
  • Schloss Dagstuhl- Leibniz-Zentrum... 7
  • Springer 7
  • CEUR-WS 6
  • AAAI Press 3
  • IOS Press 3
  • Morgan Kaufmann 3
Rivista
  • LECTURE NOTES IN COMPUTER SCIENCE 11
  • LECTURE NOTES IN ARTIFICIAL INTEL... 10
  • ELECTRONIC PROCEEDINGS IN THEORET... 6
  • FRONTIERS IN ARTIFICIAL INTELLIGE... 3
  • LECTURE NOTES IN COMPUTER SCIENCE 2
  • IJCAI 1
Serie
  • CEUR WORKSHOP PROCEEDINGS 7
  • LEIBNIZ INTERNATIONAL PROCEEDINGS... 7
  • LECTURE NOTES IN ARTIFICIAL INTEL... 5
  • LECTURE NOTES IN COMPUTER SCIENCE 5
  • COMMUNICATIONS IN COMPUTER AND IN... 2
  • EPIC SERIES IN COMPUTING 1
  • PROCEEDINGS - SYMPOSIUM ON LOGIC ... 1
  • PROCEEDINGS-INTERNATIONAL CONFERE... 1
Keyword
  • interval temporal logic 19
  • decidability 16
  • complexity 15
  • interval temporal logics 15
  • tableau systems 8
  • expressiveness 7
  • temporal neighborhood logic 6
  • undecidability 6
  • Complexity 5
  • Decidability 5
Lingua
  • eng 131
  • ita 1
Accesso al fulltext
  • reserved 63
  • no fulltext 57
  • open 30
  • partially open 2