David Carral
9 papers
· 2015–2024
· 2 conferences
· across top CS/AI conferences
Achievements
π§
Keyword Pioneer
π
Cross-Pollinator
(13)
π
Academic Marathon
(9)
π
Renaissance Researcher
(5)
π
Interdisciplinary Bridge
π
Conference Polyglot
(2)
πΊοΈ
Taxonomy Completionist
(10)
π
Keyword Champion
(5)
π
Trend Setter
π
Conference Pioneer
Conferences
IJCAI (6)
AAAI (3)
Top co-authors
Keywords
existential rule
(5)
chase termination
(3)
knowledge representation
(3)
description logic
(2)
query answering
(1)
logic programming
(1)
ontological reasoning
(1)
consistency checking
(1)
datalog rewriting
(1)
ontology entailment
(1)
role chain axiom
(1)
chase algorithm
(1)
ontology axiomatization
(1)
conjunctive query answering
(1)
acyclicity notion
(1)
horn logic
(1)
disjunctive rule
(1)
declarative reasoning
(1)
rule-based inference
(1)
disjunctive existential rule
(1)