Giovanni Amendola
6 papers · 2016–2020 · 1 conference · across top CS/AI conferences
Achievements
Jump to papers ↓
🌉
Interdisciplinary Bridge
🧭
Keyword Pioneer
🐝
Cross-Pollinator
(15)
Conferences
IJCAI (6)
Top co-authors
Keywords
query answering
(2)
existential rule
(2)
phase transition
(1)
sat solver
(1)
incomplete datum
(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