conftrace_
← Topics

Knowledge & Reasoning

3,940 papers (1 classified directly here)

Subtopics

Reasoning (2,428) Representation (1,906)

Papers per year

17
13
418
543
'10
'15
'20
'25

Papers (including subtopics)

Harnessing Language Model for Cross-Heterogeneity Graph Knowledge Transfer AAAI 2025
Integrating Large Language Models and Möbius Group Transformations for Temporal Knowledge Graph Embedding on the Riemann Sphere AAAI 2025
Tokenization, Fusion, and Augmentation: Towards Fine-grained Multi-modal Entity Representation AAAI 2025
Tokenphormer: Structure-aware Multi-token Graph Transformer for Node Classification AAAI 2025
Representation Learning Based Predicate Invention on Knowledge Graphs AAAI 2025
Uncommon Belief in Rationality AAAI 2025
Discovering Conceptual Knowledge with Analytic Ontology Templates for Articulated Objects AAAI 2025
ASP-Driven Emergency Planning for Norm Violations in Reinforcement Learning AAAI 2025
DPCL-Diff：Temporal Knowledge Graph Reasoning Based on Graph Node Diffusion Model with Dual-Domain Periodic Contrastive Learning AAAI 2025
CognTKE: A Cognitive Temporal Knowledge Extrapolation Framework AAAI 2025
Answering Conjunctive Queries with Safe Negation and Inequalities over RDFS Knowledge Bases AAAI 2025
A Practical Approach to Causal Inference over Time AAAI 2025
Germane Conflicts: Desirable Properties for Localising Inconsistency AAAI 2025
Situation Calculus Temporally Lifted Abstractions for Generalized Planning AAAI 2025
A Computationally Grounded Framework for Cognitive Attitudes AAAI 2025
Sound Over-Approximation of Equational Reasoning with Variable-Preserving Rules Parameterized by Derivation Depth AAAI 2025
An Automatic Sound and Complete Abstraction Method for Generalized Planning with Baggable Types AAAI 2025
Replacing Paths with Connection-Biased Attention for Knowledge Graph Completion AAAI 2025
Recursive Aggregates as Intensional Functions in Answer Set Programming: Semantics and Strong Equivalence AAAI 2025
A Syntactic Approach to Computing Complete and Sound Abstraction in the Situation Calculus AAAI 2025
First-Order Automata AAAI 2025
Temporal Causal Reasoning with (Non-Recursive) Structural Equation Models AAAI 2025
LTLf Synthesis Under Unreliable Input AAAI 2025
An Algebraic Notion of Conditional Independence, and Its Application to Knowledge Representation AAAI 2025
LTLf Synthesis on First-Order Agent Programs in Nondeterministic Environments AAAI 2025