Marco Console
11 papers · 2017–2026 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+8 more ↓ Show less ↑
🐝 Cross-Pollinator (7) 🧭 Keyword Pioneer 🌍 Conference Polyglot (2) 🏃 Academic Marathon (8) 🌈 Renaissance Researcher (5)
🧭
Keyword Pioneer
🌍
Conference Polyglot
(2)
🧬
Topic Evolution
🗃️
Keyword Collector
(52)
📈
Trend Setter
🔥
Unstoppable
(7)
💎
Century Club
(11)
❓
The Questioner
(2)
Conferences
AAAI (7)
IJCAI (4)
Top co-authors
Keywords
knowledge base
(5)
query answering
(5)
description logic
(4)
disjunctive datalog
(2)
incomplete database
(2)
incomplete information
(2)
ontology-based data management
(2)
certain answer
(2)
conjunctive query
(2)
static analysis
(1)
integrity constraint
(1)
formal language
(1)
probabilistic analysis
(1)
constraint satisfaction
(1)
formal methods
(1)
approximation scheme
(1)
relational database
(1)
query rewriting
(1)
tuple occurrence
(1)
approximation algorithm
(1)
Papers
Expressive Recursive Answers for Ontological Knowledge Bases
AAAI 2026
Foundations of Formal Reasoning over Knowledge Bases Combining Symbolic and Sub-Symbolic Knowledge
AAAI 2026
Answering Conjunctive Queries with Safe Negation and Inequalities over RDFS Knowledge Bases
AAAI 2025
What Does a Query Answer Tell You? Informativeness of Query Answers for Knowledge Bases
AAAI 2024
Epistemic Disjunctive Datalog for Querying Knowledge Bases
AAAI 2023
Monotone Abstractions in Ontology-Based Data Management
AAAI 2022
Intensional and Extensional Views in DL-Lite Ontologies
IJCAI 2021
Epistemic Integrity Constraints for Ontology-Based Data Management
AAAI 2020
Do We Need Many-valued Logics for Incomplete Information?
IJCAI 2019
Measuring the Likelihood of Numerical Constraints
IJCAI 2019
On Querying Incomplete Information in Databases under Bag Semantics
IJCAI 2017