query answering

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