Luigi Sauro

3 papers · 2017–2023 · 1 conference · across top CS/AI conferences

Achievements

🏃 Academic Marathon (6) 🌉 Interdisciplinary Bridge 🧭 Keyword Pioneer 🐝 Cross-Pollinator (12) 📈 Trend Setter

Conferences

IJCAI (3)

Top co-authors

Piero A. Bonatti (2) Marco Faella (1) Iliana Petrova (1) Piero Bonatti (1) Iliana M. Petrova (1)

Keywords

description logic (3) nonmonotonic reasoning (3) knowledge engineering (1) module extraction (1) logical properties (1) knowledge representation (1) klm postulate (1) query answering (1)

Papers

Optimizing the Computation of Overriding in DLN (Extended Abstract) IJCAI 2023

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

A New Semantics for Overriding in Description Logics (Extended Abstract) IJCAI 2017