Knowledge Representation

Concept Sketching for Description Logics UAI 2026 EthoCLIP: Ontology-Enhanced Video-Language Pretraining for Animal Behavior Understanding CVPR 2026 Incremental Maintenance of DatalogMTL Materialisations AAAI 2026 Model Change for Description Logic Concepts AAAI 2026 Retrieving Classes of Causal Orders with Inconsistent Knowledge Bases CLeaR 2026 RIMRULE: Improving Tool-Using Language Agents via MDL-Guided Rule Learning ACL 2026 ScheMatiQ: From Research Question to Structured Data through Interactive Schema Discovery ACL 2026 Actual Causation and Nondeterministic Causal Models CLeaR 2025 A General Framework for Representing Controlled Natural Language Sentences and Translation to KR Formalisms IJCAI 2025 Algorithmic syntactic causal identification CLeaR 2025 A Logical Analysis of Hanabi AAAI 2025 An Algebraic Notion of Conditional Independence, and Its Application to Knowledge Representation AAAI 2025 An Alternative Theory of Stable Revision for Nondeterministic Approximation Fixpoint Theory and the Relationships AAAI 2025 An And-Sum Circuit with Signed Edges That Is More Succinct than SDD AAAI 2025 Answering Conjunctive Queries with Safe Negation and Inequalities over RDFS Knowledge Bases AAAI 2025 A Semantic Framework for Neurosymbolic Computation (Abstract Reprint) IJCAI 2025 Assessing the Exposure to Public Knowledge in Policy-Protected Description Logic Ontologies IJCAI 2025 A Theory of Formalisms for Representing Knowledge AAAI 2025 A Unified Framework for Human-Allied Learning of Probabilistic Circuits AAAI 2025 AutoKB: Automated Creation of Structured Knowledge Bases for Domain-Specific Support NAACL 2025 Beneath the Surface of Consistency: Exploring Cross-lingual Knowledge Representation Sharing in LLMs NAACL 2025 Column-Oriented Datalog on the GPU AAAI 2025 Conditional Dichotomy Quantification via Geometric Embedding ACL 2025 Consistent Query Answering over Existential Rules with Open and Closed Predicates AAAI 2025 Constraint-based causal discovery with tiered background knowledge and latent variables in single or overlapping datasets CLeaR 2025