Piero A. Bonatti

Università degli Studi di Napoli Federico II

9 papers in the IJCAI proceedings

IJCAI 2023

A False Sense of Security (Extended Abstract)

doi:10.24963/ijcai.2023/770

Details PDF

Optimizing the Computation of Overriding in DLN (Extended Abstract)

with Iliana Petrova, Luigi Sauro

doi:10.24963/ijcai.2023/771

Details PDF

IJCAI 2020

Rational Closure For All Description Logics (Extended Abstract)

doi:10.24963/ijcai.2020/700

Details PDF

IJCAI 2018

Fast Compliance Checking in an OWL2 Fragment

doi:10.24963/ijcai.2018/241

Details PDF

On the Logical Properties of the Description Logic DL^N (Extended abstract)

with Luigi Sauro

doi:10.24963/ijcai.2018/784

Details PDF

IJCAI 2011

On the Complexity of EL with Defeasible Inclusions

with Marco Faella, Luigi Sauro

doi:10.5591/978-1-57735-516-8/IJCAI11-134

Details PDF

IJCAI 2009

Defeasible Inclusions in Low-Complexity DLs: Preliminary Notes

with Marco Faella, Luigi Sauro

Details PDF

IJCAI 2003

On the Undecidability of Description and Dynamic Logics with Recursion and Counting

Details PDF

IJCAI 2001

Reasoning with infinite stable models

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings