conftrace_

query answering

70 papers

Explore in graph

Co-occurring keywords

description logic (107) knowledge base (804) existential rule (24) conjunctive query (24) knowledge graph (1837) first-order logic (171) knowledge representation (301) differential privacy (1016) data complexity (18) query rewriting (64)

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
Data Complexity of Querying Description Logic Knowledge Bases Under Cost-Based Semantics AAAI 2026
Goal-Driven Reasoning in DatalogMTL with Magic Sets AAAI 2025
Temporal Conjunctive Query Answering via Rewriting AAAI 2025
An Adversary-Resistant Multi-Agent LLM System via Credibility Scoring IJCNLP 2025
Progressive Prefix-Memory Tuning for Complex Logical Query Answering on Knowledge Graphs IJCAI 2025
A Datalog Rewriting Algorithm for Warded Ontologies IJCAI 2025
Answering Conjunctive Queries with Safe Negation and Inequalities over RDFS Knowledge Bases AAAI 2025
Saama Technologies at SemEval-2024 Task 2: Three-module System for NLI4CT Enhanced by LLM-generated Intermediate Labels SEMEVAL 2024
Optimised Storage for Datalog Reasoning AAAI 2024
Computing the Why-Provenance for Datalog Queries via SAT Solvers AAAI 2024
Efficient and Private Marginal Reconstruction with Local Non-Negativity NIPS 2024
What Does a Query Answer Tell You? Informativeness of Query Answers for Knowledge Bases AAAI 2024
REPLACE: A Logical Framework for Combining Collective Entity Resolution and Repairing IJCAI 2023
Optimizing the Computation of Overriding in DLN (Extended Abstract) IJCAI 2023
Epistemic Disjunctive Datalog for Querying Knowledge Bases AAAI 2023
Relational Space-Time Query in Long-Form Videos CVPR 2023
Efficient Embeddings of Logical Variables for Query Answering over Incomplete Knowledge Graphs AAAI 2023
Explanations for Negative Query Answers under Inconsistency-Tolerant Semantics IJCAI 2022
Inductive Logical Query Answering in Knowledge Graphs NIPS 2022
Characterizing the Program Expressive Power of Existential Rule Languages AAAI 2022
Finite Entailment of Local Queries in the Z Family of Description Logics AAAI 2022
Answering Queries with Negation over Existential Rules AAAI 2022
First Order Rewritability in Ontology-Mediated Querying in Horn Description Logics AAAI 2022