Tiziano Dalmonte
Orcid: 0000-0002-7153-0506Affiliations:
- Free University of Bozen-Bolzano, Italy
According to our database1,
Tiziano Dalmonte
authored at least 20 papers
between 2018 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2018
2019
2020
2021
2022
2023
2024
0
1
2
3
4
5
6
1
2
1
2
2
4
2
3
2
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Proof theory for the logics of bringing-it-about: Ability, coalitions and means-end relationship.
J. Log. Comput., 2024
2023
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2023
Proceedings of the Logics in Artificial Intelligence - 18th European Conference, 2023
2022
Proceedings of the Logic, Language, Information, and Computation, 2022
Proceedings of the 4th International Workshop on Automated Reasoning in Quantified Non-Classical Logics (ARQNL 2022) affiliated with the 11th International Joint Conference on Automated Reasoning (IJCAR 2022), 2022
Proceedings of the Advances in Modal Logic, AiML 2022, Rennes, France, 2022
Proceedings of the Advances in Modal Logic, AiML 2022, Rennes, France, 2022
2021
Hypersequent calculi for non-normal modal and deontic logics: countermodels and optimal complexity.
J. Log. Comput., 2021
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2021
Proof Systems for the Logics of Bringing-It-About.
Proceedings of the Deontic Logic and Normative Systems - 15th International Conference, 2021
2020
Proof-search and countermodel generation for non-normal modal logics: The theorem prover PRONOM.
Intelligenza Artificiale, 2020
Proceedings of the 2nd Workshop on Artificial Intelligence and Formal Verification, 2020
Countermodel Construction via Optimal Hypersequent Calculi for Non-normal Modal Logics.
Proceedings of the Logical Foundations of Computer Science - International Symposium, 2020
HYPNO: Theorem Proving with Hypersequent Calculi for Non-normal Modal Logics (System Description).
Proceedings of the Automated Reasoning - 10th International Joint Conference, 2020
2019
Proceedings of the 32nd International Workshop on Description Logics, 2019
Proceedings of the AI*IA 2019 - Advances in Artificial Intelligence, 2019
2018
Proceedings of the Advances in Modal Logic 12, 2018