IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 73
Titolo Data di pubblicazione Autore(i) File
Le formelle del duca Federico. Arte e scienza per la cittadinanza 1-gen-2024 Graziani, Pierluigi; Pietrini, Davide; Sorini, Laerte
Introduzione alla logica. Teorie e applicazioni filosofiche 1-gen-2024 Fano, Vincenzo; Bonzio, Stefano; Corti, Alberto; Graziani, Pierluigi
Current Topics in Logic and the Philosophy of Science Papers from SILFS 2022 postgraduate conference 1-gen-2024 Fano, Vincenzo; Graziani, Pierluigi
Considerations on Approaches and Metrics in Automated Theorem Generation/Finding in Geometry 1-gen-2024 Quaresma, Pedro; Graziani, Pierluigi; Nicoletti, Stefano M.
Frequentist Probability Logic 1-gen-2024 Aldini, Alessandro; Graziani, Pierluigi; Tagliaferri, Mirko
A probabilistic modal logic for context-aware trust based on evidence 1-gen-2024 Aldini, Alessandro; Curzi, Gianluca; Graziani, Pierluigi; Tagliaferri, Mirko
Introduzione al Libro de viva pietra 1-gen-2023 Sorini, Laerte; Pietrini, Davide; Graziani, Pierluigi
Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops. AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26–30, 2022, Revised Selected Papers 1-gen-2023 Masci, Paolo; Bernardeschi, Cinzia; Graziani, Pierluigi; Koddenbrock, Mario; Palmieri, Maurizio
A Logical Modeling of Severe Ignorance 1-gen-2023 Bonzio, S.; Fano, V.; Graziani, P.; Pra Baldi, M.
Knowledge-of-Own-Factivity, the Definition of Surprise, and a Solution to the Surprise Examination Paradox 1-gen-2023 Aldini, Alessandro; Alexander, Samuel Allen; Graziani, Pierluigi
LIBRO DE VIVA PIETRA. Studi sul fregio della facciata del Palazzo Ducale di Urbino 1-gen-2023 Pietrini, Davide; Graziani, Pierluigi; Sorini, Laerte
Experimental and Integrative Approaches to Robo-ethics. An Introduction 1-gen-2023 Bianchini, Francesco; Damiano, Luisa; Datteri, Edoardo; Graziani, Pierluigi
Connecting Things in the Setting of Foundations and Philosophy of Science: Introduction to the special issue 1-gen-2023 Giuntini, Roberto; Graziani, Pierluigi; Sergioli, Giuseppe; Sozzo, Sandro
Measuring the Readability of Geometric Proofs: The Area Method Case. 1-gen-2023 Quaresma, Pedro; Graziani, Pierluigi
The Ethics of Robot-nudgers’ Design 1-gen-2023 Calboli, Stefano; Even, Jani; Graziani, Pierluigi
A hierarchical characterization of ignorance in epistemic Logic 1-gen-2023 Aldini, Alessandro; Graziani, Pierluigi; Tagliaferri, Mirko
On the Ethics of Digital Nudges. Two Steps to Make Digital Nudges Ethically More Commendable 1-gen-2022 Calboli, Stefano; Graziani, Pierluigi
Software Engineering and Formal Methods. {SEFM} 2021 Collocated Workshops - CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 6-10, 2021, Revised Selected Papers 1-gen-2022 Cerone, Antonio; Autili, Marco; Bucaioni, Alessio; Gomes, Cláudio; Graziani, Pierluigi; Palmieri, Maurizio; Temperini, Marco; Venture, Gentiane
Beyond the two cultures. Experiences from a pot project 1-gen-2022 Branchetti, Laura; Calboli, Stefano; Graziani, Pierluigi
Scienza e ingegno al tempo del duca Federico di Montefeltro 1-gen-2022 Sorini, Laerte; Graziani, Pierluigi; Pietrini, Davide
Mostrati risultati da 1 a 20 di 73
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