Andreas Pieris
9 papers · 2013–2024 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+4 more ↓ Show less ↑
π Cross-Pollinator (15) π Conference Polyglot (2) π Academic Marathon (11) π Interdisciplinary Bridge π§ Keyword Pioneer
π£
Hot Topic Early Bird
π±
Topic Pioneer
π
Conference Pioneer
π
Trend Setter
Conferences
IJCAI (8)
AAAI (1)
Top co-authors
Research topics
Keywords
query answering
(3)
explainable ai
(1)
knowledge graph
(1)
sat solver
(1)
big datum
(1)
conjunctive query
(1)
description logic
(1)
logic programming
(1)
automata theory
(1)
existential rule
(1)
knowledge management
(1)
first-order rewritability
(1)
proof tree
(1)
finite model reasoning
(1)
backward chaining
(1)
ontology-mediated queries
(1)
guarded existential rule
(1)
forward chaining
(1)
guarded fragment
(1)
cross product
(1)
Papers
Computing the Why-Provenance for Datalog Queries via SAT Solvers
AAAI 2024
Finite Model Reasoning in Hybrid Classes of Existential Rules
IJCAI 2018
First-Order Rewritability of Frontier-Guarded Ontology-Mediated Queries
IJCAI 2018
Swift Logic for Big Data and Knowledge Graphs
IJCAI 2017
Making Cross Products and Guarded Ontology Languages Compatible
IJCAI 2017
Ontology-Mediated Queries Distributing over Components
IJCAI 2016
Beyond SPARQL under OWL 2 QL Entailment Regime: Rules to the Rescue
IJCAI 2015
Polynomial Rewritings for Linear Existential Rules
IJCAI 2015
The Impact of Disjunction on Query Answering under Guarded-Based Existential Rules
IJCAI 2013