Giovanni Amendola
6 papers · 2016–2020 · 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 ↓
🌉
Interdisciplinary Bridge · Bronze
Venues
Top co-authors
Research topics
Keywords
query answering
(2)
existential rule
(2)
phase transition
(1)
sat solver
(1)
incomplete data
(1)
certain answer
(1)
quantified boolean formula
(1)
ontology-based query
(1)
boolean formula
(1)
datalog reasoning
(1)
disjunctive logic program
(1)
random satisfiability
(1)
finite controllability
(1)
conjunctive query answering
(1)
closed-world semantics
(1)
cautious reasoning
(1)
abstract solver
(1)
backbone computation
(1)
random formula
(1)
computational complexity
(1)
Papers
A Formal Approach for Cautious Reasoning in Answer Set Programming (Extended Abstract)
IJCAI 2020
Enhancing Existential Rules by Closed-World Variables
IJCAI 2018
Explainable Certain Answers
IJCAI 2018
Finite Controllability of Conjunctive Query Answering with Existential Rules: Two Steps Forward
IJCAI 2018
Generating Hard Random Boolean Formulas and Disjunctive Logic Programs
IJCAI 2017
Modeling and Reasoning about NTU Games via Answer Set Programming
IJCAI 2016