Pierluigi Graziani

Orcid: 0000-0002-8828-8920

Affiliations:
  • Università degli Studi di Urbino Carlo Bo, Italy


According to our database1, Pierluigi Graziani authored at least 21 papers between 2014 and 2025.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

Online presence:

On csauthors.net:

Bibliography

2025
A logical perspective on intending to keep a true secret.
J. Log. Comput., 2025

2024
A probabilistic modal logic for context-aware trust based on evidence.
Int. J. Approx. Reason., 2024

Towards a Readability Criterion for Humans and Machines.
Proceedings of the Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops, 2024

On Group Secrets and the Metacommunicative Aspects of Revealing a True Secret.
Proceedings of the Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops, 2024

2023
Experimental and Integrative Approaches to Robo-ethics. An Introduction.
Int. J. Soc. Robotics, December, 2023

A Logical Modeling of Severe Ignorance.
J. Philos. Log., August, 2023

Measuring the Readability of Geometric Proofs: The Area Method Case.
J. Autom. Reason., March, 2023

Considerations on Approaches and Metrics in Automated Theorem Generation/Finding in Geometry.
Proceedings of the Proceedings 14th International Conference on Automated Deduction in Geometry, 2023

Frequentist Probability Logic.
Proceedings of the Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops, 2023

2022
FCE: Feedback Based Counterfactual Explanations for Explainable AI.
IEEE Access, 2022

Knowledge-of-Own-Factivity, the Definition of Surprise, and a Solution to the Surprise Examination Paradox.
Proceedings of the Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops, 2022

The Ethics of Robot-Nudgers' Design.
Proceedings of the Social Robots in Social Institutions, 2022

2021
Contextual priming to increase the sense of presence in virtual reality: exploratory study.
Virtual Real., 2021

Trust Evidence Logic.
Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2021

2020
The Legacy of D. K. Lewis: Introduction to the Special Issue.
Synth., 2020

Taxonomies of geometric problems.
J. Symb. Comput., 2020

Reasoning About Ignorance and Beliefs.
Proceedings of the Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops, 2020

2019
Cross-Cultural Validation of the Compulsive Internet Use Scale in Four Forms and Eight Languages.
Cyberpsychology Behav. Soc. Netw., 2019

2015
Theory of Knowing Machines: Revisiting Gödel and the Mechanistic Thesis.
Proceedings of the History and Philosophy of Computing - Third International Conference, 2015

Do the Self-Knowing Machines Dream of Knowing Their Factivity?
Proceedings of the 3rd International Workshop on Artificial Intelligence and Cognition, 2015

2014
A Philosophical Look at the Uncanny Valley.
Proceedings of the Sociable Robots and the Future of Social Relations, 2014


  Loading...