Nikola Panic

According to our database, Nikola Panic authored at least 2 papers in 2022.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2022

Efficient Theorem Proving for Conditional Logics with Conditional Excluded Middle.

Nikola Panic, Gian Luca Pozzato

Proceedings of the 37th Italian Conference on Computational Logic, Bologna, Italy, June 29, 2022

Labelled Sequent Calculi for Conditional Logics: Conditional Excluded Middle and Conditional Modus Ponens Finally Together.

Nicola Olivetti, Nikola Panic, Gian Luca Pozzato

Proceedings of the AIxIA 2022 - Advances in Artificial Intelligence, 2022