Piero A. Bonatti
5 papers · 2018–2023 · 1 conference · across top CS/AI conferences
Achievements
Jump to papers ↓+2 more ↓ Show less ↑
🐝 Cross-Pollinator (12) 🌉 Interdisciplinary Bridge 🏃 Academic Marathon (5) 🧭 Keyword Pioneer 🐺 Lone Wolf (3)
🏆
Keyword Champion
(3)
📈
Trend Setter
Conferences
IJCAI (5)
Top co-authors
Keywords
description logic
(3)
nonmonotonic reasoning
(3)
knowledge representation
(2)
ontology reasoning
(1)
query answering
(1)
semantic web
(1)
compliance checking
(1)
reasoning mechanism
(1)
rational closure
(1)
security analysis
(1)
module extraction
(1)
attacker model
(1)
knowledge protection
(1)
logical properties
(1)
klm postulate
(1)
subsumption algorithm
(1)
structural subsumption
(1)
data protection
(1)
nonmonotonic logic
(1)
Papers
A False Sense of Security (Extended Abstract)
IJCAI 2023
Optimizing the Computation of Overriding in DLN (Extended Abstract)
IJCAI 2023
Rational Closure For All Description Logics (Extended Abstract)
IJCAI 2020
Fast Compliance Checking in an OWL2 Fragment
IJCAI 2018
On the Logical Properties of the Description Logic DL^N (Extended abstract)
IJCAI 2018