News

Our paper Non-Normal Modal Description Logics was accepted at JELIA 2023.
Our paper A Semantic Approach to Decidability in Epistemic Planning was accepted at ECAI 2023.
Our paper Succinctness and Complexity of ALC with Counting Perceptrons was accepted at KR 2023.
Program Committee member ECAI 23.
Program Committee member DL 23.
Our paper Synthesis of Resource-Aware Controllers Against Rational Agents was accepted at AAMAS 2023.
Program Committee member IJCAI 23.
Program Committee member KR 2023.
General and local co-chair of the 23rd International Conference on Knowledge Engineering and Knowledge Management (EKAW 2022) held the 26-29 September 2022 in Bozen-Bolzano, Italy.
Our paper Almost certain termination for ALC weakening received the Best Paper Award at EPIA 2022. (In unibz news.)
Program Committee member AAAI-23 Student Abstract and Poster Program.
Program Committee member AAAI 2023.
Program Committee member Description Logic 2022.
Program Committee member KRR@EPIA 2022.
Program Committee member KR 2022.
Program Committee member IJCAI-ECAI 22. (Distinguished.)
Our paper Asymmetric Hybrids: Dialogues for Computational Concept Combination received the Best Paper Award at FOIS 2021. (In unibz news.)
Member of the novel Program Committee Board, to serve on the PC of IJCAI-ECAI 22, IJCAI 23, and IJCAI 24. (Distinguished PC member, top 3%, in 2022)
Program Committee member AAAI-22 Student Abstract and Poster Program.
Co-chair of the Bolzano Summer of Knowledge (BOSK 2021) held in Bolzano and online in September 2021. (BOSK 2021 in the news; in unibz news.)
Local co-chair of the 11th International Conference on Formal Ontology in Information Systems (FOIS 2020) (initially planned in 2020), and of the 12th International Conference on Formal Ontology in Information Systems (FOIS 2021) held in September 2021 in Bozen-Bolzano and online.
Senior Program Committee member AAAI 2022.
Our paper Asymmetric Hybrids: Dialogues for Computational Concept Combination was accepted at FOIS 2021.
Program Committee member K-Cap 2021.
Program Committee member FOIS 2021.
Program Committee member KR 2021.
Our paper Rational Synthesis in the Commons with Careless and Careful Agents was accepted at AAMAS 2021.
Program Committee member Description Logic 2021.
Co-chair of the Bolzano Summer of Knowledge (BOSK 2020) that occurred online in September 2020.
Senior Program Committee member IJCAI 2021.
Senior Program Committee member AAAI 2021. (Distinguished.)
Program Committee member AAAI-21 Student Abstract and Poster Program.
My paper Individual resource games and resource redistributions was published in Journal of Logic and Computation.
To help illustrate social distancing to the citizens of Bolzano, I made a simple simulation of the propagation of a virus in the city of Bozen-Bolzano. It was featured in more than a dozen articles, radio and tv programs; Alto Adige, Radio Tele Trentino Regionale, Dolomiten, Corriere dell'Alto Adige, Alto Adige (disclaimer), ..., unibz news.
Program Committee member FOIS 2020.
Program Committee member Description Logic 2020.
Program Committee member KR 2020.
Program Committee member KRR@EPIA 2020.
My paper Tracking and managing deemed abilities was published online in Synthese in open access.
Program Committee member IJCAI-PRICAI 2020.
Program Committee member ECAI 2020.
Program Committee member AAAI-20 Student Abstract and Poster Program.
Program Committee member K-Cap 2019.
Co-organising the 2nd workshop BadOntoloGy @ JOWO 2019.
Our paper Learning Ontologies with Epistemic Reasoning: The EL Case was accepted at JELIA 2019.
Program Committee member IJCAI 2019.
Our chapter Action Theories has appeard in the book Introduction to Formal Philosophy.
IJCAI-ECAI 2018 distinguished PC member ("Level-2").
Program Committee member AAMAS 2019.
Co-teaching a course on Logics of Agency at EASSS 2018, Maastricht, The Netherlands, June 18-22 2018. The page of the course is here.
Our paper The complexity of rational synthesis for concurrent games was accepted at CONCUR 2018.
Our paper Two Approaches to Ontology Aggregation Based on Axiom Weakening was accepted at IJCAI-ECAI 2018.
Co-organizing the workshop BadOntoloGy @ JOWO 2018 @ FOIS 2018.
My paper Rich Coalitional Resource Games was accepted at AAAI 2018.
Our paper Repairing Ontologies via Axiom Weakening was accepted at AAAI 2018.