SFERA Archivio dei prodotti della Ricerca dell'Università di Ferrara

04.2 Contributi in atti di convegno (in Volume): [10500] Home page tipologia

Sfoglia
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 1.981 a 2.000 di 10.500
Titolo Data di pubblicazione Autore(i) File
Optimal Tableaux for Right Propositional Neighborhood Logic over Linear Orders 2008 Bresolin, Davide; Montanari, Angelo; Sala, Pietro; Sciavicco, Guido
Expressiveness of the interval logics of allen's relations on the class of all linear orders: Complete classification 2011 Della Monica, Dario; Goranko, Valentin; Montanari, Angelo; Sciavicco, Guido file con accesso da definire
What’s Decidable about Halpern and Shoham’s Interval Logic? The Maximal Fragment ABBL 2011 Bresolin, Davide; Montanari, Angelo; Sala, Pietro; Sciavicco, Guido file con accesso da definire
Consistency Checking of Basic Cardinal Constraint over Connected Regions 2007 Navarrete, Isabel; Morales, Antonio; Sciavicco, Guido file con accesso da definire
Metric Propositional Neighborhood Logics: Expressiveness, Decidability, and Undecidability 2010 Bresolin, Davide; Della Monica, Dario; Goranko, Valentin; Montanari, Angelo; Sciavicco, Guido file con accesso da definire
Right Propositional Neighborhood Logic over Natural Numbers with Integer Constraints for Interval Lengths 2009 Bresolin, Davide; Goranko, Valentin; Montanari, Angelo; Sciavicco, Guido file con accesso da definire
The Light Side of Interval Temporal Logics: the Bernays-Schoenfinkel's Fragment of CDT 2011 Bresolin, Davide; Della Monica, Dario; Montanari, Angelo; Sciavicco, Guido file con accesso da definire
An Integrated first-order theory of points and intervals: Expressive power in the class of all linear orders 2012 Conradie, Willem; Durhan, Salih; Sciavicco, Guido file con accesso da definire
A Decidable Spatial Generalization of Metric Interval Temporal Logic 2010 Bresolin, Davide; Della Monica, Dario; Montanari, Angelo; Sala, Pietro; Sciavicco, Guido file con accesso da definire
The Dark Side of Interval Temporal Logics: Sharpening the Undecidability Border 2011 Bresolin, Davide; Della Monica, Dario; Goranko, Valentin; Montanari, Angelo; Sciavicco, Guido file con accesso da definire
Non-Finite Axiomatizability and Undecidability of Interval Temporal Logics with C, D and T 2008 Hodkinson, Ian; Montanari, Angelo; Sciavicco, Guido
On Decidability and Expressiveness of Propositional Neighborhood Logics 2007 Bresolin, Davide; Goranko, Valentin; Montanari, Angelo; Sciavicco, Guido
Definability and Decidability of Binary Predicates for Time Granularity 2003 Montanari, Angelo; Franceschet, Massimo; Peron, Adriano; Sciavicco, Guido file con accesso da definire
Undecidability of interval temporal logics with the overlap modality 2009 Bresolin, Davide; Della Monica, Dario; Goranko, Valentin; Montanari, Angelo; Sciavicco, Guido
Quality Checking of Medical Guidelines using Interval Temporal Logics: A Case Study 2009 Sciavicco, Guido; Juarez, Jose Manuel; Campos, Manuel file con accesso da definire
On The Expressive Power of First Order Logic Extended with Allen’s Relations in the Strict Case 2011 Conradie, Willem; Sciavicco, Guido
Decidable and Undecidable Fragments of Halpern and Shoham's Interval Temporal Logic: Towards a Complete Classification 2008 Bresolin, Davide; Della Monica, Dario; Goranko, Valentin; Montanari, Angelo; Sciavicco, Guido
Interval Temporal Logics over Finite Linear Orders: the Complete Picture 2012 Bresolin, Davide; Della Monica, Dario; Montanari, Angelo; Sala, Pietro; Sciavicco, Guido
Decidability of the Interval Temporal Logic ABB over the Natural Numbers 2010 Montanari, Angelo; Puppis, Gabriele; Sala, Pietro; Sciavicco, Guido file con accesso da definire
A Tableau-Based System for Spatial Reasoning about Directional Relations 2009 Bresolin, Davide; Montanari, Angelo; Sala, Pietro; Sciavicco, Guido
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 1.981 a 2.000 di 10.500
Legenda icone

  •  file ad accesso aperto
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile

Scopri
Tipologia
  • 04 Atto di Convegno (Proceedings)10500
Autore
  • MAZZINI, Gianluca253
  • PINELLI, Michele199
  • VANNINI, Giorgio191
  • SIMANI, Silvio188
  • SETTI, Gianluca151
  • SPINA, Pier Ruggero149
  • VENTURINI, Mauro144
  • CONTI, Andrea140
  • POMPOLI, Francesco134
  • BERTOZZI, Davide131
Data di pubblicazione
  • In corso di stampa27
  • 2020 - 20271646
  • 2010 - 20193413
  • 2000 - 20093914
  • 1990 - 19991215
  • 1980 - 1989268
  • 1970 - 197916
  • 1966 - 19691
Editore
  • IEEE715
  • Institute of Electrical and Elect...358
  • Springer194
  • Associazione Italiana di Acustica119
  • American Society of Mechanical En...100
  • ASME95
  • ---81
  • Giappichelli62
  • IEEE Computer Society56
  • Springer Verlag51
Rivista
  • PROCEEDINGS OF SPIE, THE INTERNAT...11
  • IFAC PROCEEDINGS VOLUMES8
  • LECTURE NOTES IN COMPUTER SCIENCE8
  • RENDICONTI ONLINE DELLA SOCIETÀ G...8
  • PROCEEDINGS EURONOISE6
  • IEEE NUCLEAR SCIENCE SYMPOSIUM CO...5
  • PLINIUS5
  • AIP CONFERENCE PROCEEDINGS4
  • IAHS PUBLICATION4
  • JOURNAL OF PHYSICS. CONFERENCE SE...4
Serie
  • LECTURE NOTES IN COMPUTER SCIENCE88
  • CEUR WORKSHOP PROCEEDINGS72
  • PROCEEDINGS OF SPIE, THE INTERNAT...41
  • DISÉGNO - OPEN ACCESS29
  • ADVANCES IN INTELLIGENT SYSTEMS A...26
  • LECTURE NOTES IN NETWORKS AND SYS...22
  • AIP CONFERENCE PROCEEDINGS21
  • IFAC-PAPERSONLINE18
  • IEEE NUCLEAR SCIENCE SYMPOSIUM CO...16
  • IEEE INTERNATIONAL CONFERENCE ON ...13
Keyword
  • Ferrara57
  • Electrical and Electronic Enginee...43
  • Rinascimento38
  • acne36
  • Cultural Heritage35
  • Probabilistic Logic Programming26
  • Computer Networks and Communications25
  • Fault diagnosis25
  • fault diagnosis23
  • iconografia23
Lingua
  • eng6779
  • ita3642
  • fre122
  • spa49
  • ger32
  • por17
  • enm3
  • rus3
  • tur3
  • chi2
Accesso al fulltext
  • no fulltext8562
  • reserved1114
  • open716
  • partially open107
  • mixed1