Nicola Leone
5 papers · 2016–2018 · 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.
Venues
Top co-authors
Research topics
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
Evaluation Techniques and Systems for Answer Set Programming: a Survey
IJCAI 2018
Finite Controllability of Conjunctive Query Answering with Existential Rules: Two Steps Forward
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