IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 76
Titolo Data di pubblicazione Autore(i) File
On Group Secrets and the Metacommunicative Aspects of Revealing a True Secret 1-gen-2026 Aldini, Alessandro; Fazio, Davide; Graziani, Pierluigi; Mascella, Raffaele; Tagliaferri, Mirko
Towards a Readability Criterion for Humans and Machines 1-gen-2025 Quaresma, Pedro; Graziani, Pierluigi
A logical perspective on intending to keep a true secret 1-gen-2025 Aldini, Alessandro; Fazio, Davide; Graziani, Pierluigi; Mascella, Raffaele; Tagliaferri, Mirko
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.
A probabilistic modal logic for context-aware trust based on evidence 1-gen-2024 Aldini, Alessandro; Curzi, Gianluca; Graziani, Pierluigi; Tagliaferri, Mirko
Frequentist Probability Logic 1-gen-2024 Aldini, Alessandro; Graziani, Pierluigi; Tagliaferri, Mirko
LIBRO DE VIVA PIETRA. Studi sul fregio della facciata del Palazzo Ducale di Urbino 1-gen-2023 Pietrini, Davide; Graziani, Pierluigi; Sorini, Laerte
Introduzione al Libro de viva pietra 1-gen-2023 Sorini, Laerte; Pietrini, Davide; Graziani, Pierluigi
A hierarchical characterization of ignorance in epistemic Logic 1-gen-2023 Aldini, Alessandro; Graziani, Pierluigi; Tagliaferri, Mirko
The Ethics of Robot-nudgers’ Design 1-gen-2023 Calboli, Stefano; Even, Jani; 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
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
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
A Logical Modeling of Severe Ignorance 1-gen-2023 Bonzio, S.; Fano, V.; Graziani, P.; Pra Baldi, M.
Experimental and Integrative Approaches to Robo-ethics. An Introduction 1-gen-2023 Bianchini, Francesco; Damiano, Luisa; Datteri, Edoardo; Graziani, Pierluigi
On the Ethics of Digital Nudges. Two Steps to Make Digital Nudges Ethically More Commendable 1-gen-2022 Calboli, Stefano; Graziani, Pierluigi
Mostrati risultati da 1 a 20 di 76
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