Nicola Leone
5 papers · 2016–2018 · 1 conference · across top CS/AI conferences
Achievements
Jump to papers ↓
🧭
Keyword Pioneer
🐝
Cross-Pollinator
(15)
Conferences
IJCAI (5)
Top co-authors
Keywords
existential rule
(2)
computational complexity
(1)
automated reasoning
(1)
answer set programming
(1)
query answering
(1)
logic programming
(1)
system evaluation
(1)
ontology-based query
(1)
datalog reasoning
(1)
finite controllability
(1)
conjunctive query answering
(1)
knowledge representation
(1)
closed-world semantics
(1)
Papers
Enhancing Existential Rules by Closed-World Variables
IJCAI 2018
Finite Controllability of Conjunctive Query Answering with Existential Rules: Two Steps Forward
IJCAI 2018
Evaluation Techniques and Systems for Answer Set Programming: a Survey
IJCAI 2018
Modeling and Reasoning about NTU Games via Answer Set Programming
IJCAI 2016
On the Properties of GZ-Aggregates in Answer Set Programming
IJCAI 2016