Nicolas Troquard @ unibz

I am an assistant professor at the Faculty of Computer Science of the Free University of Bozen-Bolzano (Italy). I am member of the KRDB research center.

From 2014 to 2016, I was a teacher and researcher at Université Paris-Est Créteil and at the technical institute of Sénart-Fontainebleau. From 2010 to 2014, I was a Marie Curie fellow, working on my project Logical Analysis of Socio-Technical Systems at the Institute of Cognitive Siences and Technologies (LOA-ISTC-CNR, Trento). From 2007 to 2010, I was a research associate at the University of Liverpool. I obtained my PhD in Artificial Intelligence in 2007 from the University of Toulouse and the University of Trento.

I am a computer scientist. I am interested in logic, artificial intelligence, multiagent systems, ontologies, games, social choice, and formal philosophy.

Abilitazione Scientifica Nazionale II Livello: 09/H1 (sistemi di elaborazione delle informazioni), 01/B1 (informatica), 11/C2 (logica, storia, e filosofia della scienza).

News

General and local co-chair of the 23rd International Conference on Knowledge Engineering and Knowledge Management (EKAW 2022) to be 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.
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.