conftrace_

declarative knowledge

7 papers

Explore in graph

Co-occurring keywords · papers mentioning both

procedural knowledge (3) first-order logic (2) knowledge representation (2) probabilistic planner (1) human intention (1) recursive isomorphism (1) symbolic ai (1) connectionist ai (1) logical theories (1) representation formalism (1)

Papers

A Theory of Formalisms for Representing Knowledge AAAI 2025 Meta-Cognitive Analysis: Evaluating Declarative and Procedural Knowledge in Datasets and Large Language Models COLING 2024 LIBERO: Benchmarking Knowledge Transfer for Lifelong Robot Learning NeurIPS 2023 Factorizing Declarative and Procedural Knowledge in Structured, Dynamical Environments ICLR 2021 Learning and Reasoning for Robot Sequential Decision Making under Uncertainty AAAI 2020 Leveraging Declarative Knowledge in Text and First-Order Logic for Fine-Grained Propaganda Detection EMNLP 2020 Augmenting Neural Networks with First-order Logic ACL 2019