Andreas Pieris
9 papers · 2013–2024 · 2 venues · 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 ↓+3 more ↓ Show less ↑
🐣 Hot Topic Early Bird 🏃 Academic Marathon · Half 🌉 Interdisciplinary Bridge · Bronze 🌍 Conference Polyglot · Bronze 🌱 Topic Pioneer
🧭
Keyword Pioneer
📈
Trend Setter
🚀
Conference Pioneer
Top co-authors
Research topics
Keywords
query answering
(3)
explainable ai
(1)
knowledge graph
(1)
sat solver
(1)
big data
(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
Making Cross Products and Guarded Ontology Languages Compatible
IJCAI 2017
Swift Logic for Big Data and Knowledge Graphs
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