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 1 - 10 di 152 (tempo di esecuzione: 0.141 secondi).
Titolo Data di pubblicazione Autore(i) File
A calculus of macro-events: progress report 1-gen-2000 Cervesato, Iliano; Montanari, Angelo
A Cellular Network Database for Fingerprint Positioning Systems 1-gen-2019 Gubiani, D.; Gallo, P.; Viel, A.; Dalla Torre, A.; Montanari, A.
A combined approach to temporal logics for time granularity 1-gen-2001 Franceschet, Massimo; Montanari, Angelo
A complete classification of the expressiveness of interval logics of Allen's relations over dense linear orders 1-gen-2013 Aceto, L.; Della Monica, D.; Ingólfsdóttir, A.; Montanari, Angelo; Sciavicco, G.
A conceptual spatial model supporting topologically-consistent multiple representations 1-gen-2008 Gubiani, Donatella; Montanari, Angelo
A Contraction Method to Decide MSO Theory of Deterministic Trees 1-gen-2007 Montanari, Angelo; Puppis, Gabriele
A decidable spatial generalization of Metric Interval Temporal Logic 1-gen-2010 Bresolin, Davide; DELLA MONICA, Dario; Montanari, Angelo; Sala, Pietro; Sciavicco, Guido
A Decidable Spatial Logic with Cone-shaped Cardinal Directions 1-gen-2009 Montanari, Angelo; Puppis, G.; Sala, Pietro
A framework for temporal functional dependencies with multiple granularities 1-gen-2011 Combi, C; Montanari, Angelo; Sala, P.
A game-theoretic approach to timeline-based planning with uncertainty 1-gen-2018 Gigante, Nicola; Montanari, Angelo; Mayer, Marta Cialdea; Orlandini, Andrea; Reynolds, Mark
Risultati 1 - 10 di 152 (tempo di esecuzione: 0.141 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