Piero A. Bonatti
5 papers · 2018–2023 · 1 venue · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓
๐
Academic Marathon ยท Sprint
๐
Interdisciplinary Bridge ยท Bronze
๐บ
Lone Wolf
(3)
๐
Trend Setter
Venues
Top co-authors
Research topics
Keywords
description logic
(3)
non-monotonic reasoning
(3)
knowledge representation
(2)
query answering
(1)
semantic web
(1)
compliance checking
(1)
reasoning mechanism
(1)
rational closure
(1)
non-monotonic logic
(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)
ontology reasoning
(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