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 11 - 20 di 152 (tempo di esecuzione: 0.018 secondi).
Titolo Data di pubblicazione Autore(i) File
A General Modal Framework for the Event Calculus and its Skeptical and Credulous Variants 1-gen-1996 Chittaro, Luca; Montanari, Angelo
A General Tableau Method for Propositional Interval Temporal Logics 1-gen-2003 Goranko, V; Montanari, Angelo; Sciavicco, G.
A graph-theoretic approach to efficiently reasoning about partially ordered events in the Event Calculus 1-gen-1999 Franceschet, Massimo; Montanari, Angelo
A Modal Calculus of Partially Ordered Events in a Logic Programming Framework 1-gen-1995 Cervesato, I; Chittaro, Luca; Montanari, Angelo
A Model Checking Procedure for Interval Temporal Logics based on Track Representatives 1-gen-2015 Molinari, Alberto; Montanari, Angelo; Adriano, Peron
A Multimedia System for Automatic Recognition and Retrieval of Heterogeneous Music Documents 1-gen-2000 Argentini, A; Combi, C; Foresti, Gian Luca; Mirolo, Claudio; Montanari, Angelo; Peron, A.
A Multimedia System for Automatic Recognition, Indexing and Retrieval of Heterogeneous Music Documents 1-gen-2000 Alessandro, Argentini; Combi, Carlo; Foresti, Gian Luca; Mirolo, Claudio; Montanari, Angelo; Peron, Adriano
A new similarity measure for low-sampling cellular fingerprint trajectories 1-gen-2020 Gallo, P.; Gubiani, D.; Montanari, A.; Saccomanno, N.
A note on ultimately-periodic finite interval temporal logic model checking 1-gen-2020 Monica, D. D.; Montanari, A.; Sciavicco, G.; Stan, I. E.
A novel automata-theoretic approach to timeline-based planning 1-gen-2018 Della Monica, D.; Gigante, N.; Montanari, A.; Sala, P.
Risultati 11 - 20 di 152 (tempo di esecuzione: 0.018 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