mlsanityData to 7 Oct 2026

Current and Future Challenges in Knowledge Representation and Reasoning

arXiv 2308.04161 ↗First posted 8 Aug 2023cs.AIcited by 1

Not on the map. Why?

Abstract (arXiv)

Knowledge Representation and Reasoning is a central, longstanding, and active area of Artificial Intelligence. Over the years it has evolved significantly; more recently it has been challenged and complemented by research in areas such as machine learning and reasoning under uncertainty. In July 2022 a Dagstuhl Perspectives workshop was held on Knowledge Representation and Reasoning. The goal of the workshop was to describe the state of the art in the field, including its relation with other areas, its shortcomings and strengths, together with recommendations for future progress. We developed this manifesto based on the presentations, panels, working groups, and discussions that took place at the Dagstuhl Workshop. It is a declaration of our views on Knowledge Representation: its origins, goals, milestones, and current foci; its relation to other disciplines, especially to Artificial Intelligence; and on its challenges, along with key priorities for the next decade.

Key facts. Cited by 1 paper in the map (data through 7 Oct 2026). Builds on 72 of its 337 references that are in the map. First posted on arXiv 8 Aug 2023.

Builds on

72 of 337 references.

References · 72

  1. 2022Chain-of-Thought Prompting Elicits Reasoning in Large Language Modelscited by 12,302
  2. 2016"Why Should I Trust You?": Explaining the Predictions of Any Classifiercited by 5,040
  3. 2020Shortcut Learning in Deep Neural Networkscited by 1,928
  4. 2019Language Models as Knowledge Bases?cited by 1,922
  5. 2020Concept Bottleneck Modelscited by 1,022
  6. 2014Embedding Entities and Relations for Learning and Inference in Knowledge Basescited by 929
  7. 2019RotatE: Knowledge Graph Embedding by Relational Rotation in Complex Spacecited by 893
  8. 2020A Survey on Knowledge Graphs: Representation, Acquisition and Applicationscited by 643
  9. 2022Language Models Are Greedy Reasoners: A Systematic Formal Analysis of Chain-of-Thoughtcited by 334
  10. 2019TuckER: Tensor Factorization for Knowledge Graph Completioncited by 290
  11. 2020Integrated Task and Motion Planningcited by 281
  12. 2017A Semantic Loss Function for Deep Learning with Symbolic Knowledgecited by 267
38 more
  1. 2019Compositionality decomposed: how do neural networks generalise?cited by 264
  2. 2020COMET-ATOMIC 2020: On Symbolic and Neural Commonsense Knowledge Graphscited by 254
  3. 2017Deep Learning for Case-Based Reasoning through Prototypes: A Neural Network that Explains Its Predictionscited by 234
  4. 2022MERLOT Reserve: Neural Script Knowledge through Vision and Language and Soundcited by 184
  5. 2020Reward Machines: Exploiting Reward Function Structure in Reinforcement Learningcited by 183
  6. 2021Explaining Answers with Entailment Treescited by 148
  7. 2021Teach Me to Explain: A Review of Datasets for Explainable Natural Language Processingcited by 126
  8. 2022On the Paradox of Learning to Reason from Datacited by 93
  9. 2023NeurASP: Embracing Neural Networks into Answer Set Programmingcited by 92
  10. 2023Crawling the Internal Knowledge-Base of Language Modelscited by 85
  11. 2020Inductive logic programming at 30: a new introductioncited by 83
  12. 2017Knowledge Graph Completion via Complex Tensor Factorizationcited by 80
  13. 2017Verifying Properties of Binarized Deep Neural Networkscited by 77
  14. 2019ASP-Core-2 Input Language Formatcited by 77
  15. 2021Argumentative XAI: A Surveycited by 66
  16. 2020Learning from Rules Generalizing Labeled Exemplarscited by 59
  17. 2018Learning to Solve NP-Complete Problems - A Graph Neural Network for Decision TSPcited by 58
  18. 2019Augmenting Neural Networks with First-order Logiccited by 51
  19. 2020Efficient Exact Verification of Binarized Neural Networkscited by 33
  20. 2022Contextual Semantic Embeddings for Ontology Subsumption Predictioncited by 31
  21. 2019Neural Markov Logic Networkscited by 27
  22. 2018The Vadalog System: Datalog-based Reasoning for Knowledge Graphscited by 25
  23. 2020Understanding the Power and Limitations of Teaching with Imperfect Knowledgecited by 23
  24. 2016Lifted Rule Injection for Relation Embeddingscited by 22
  25. 2016Foundations of Modern Query Languages for Graph Databasescited by 22
  26. 2018A General Account of Argumentation with Preferencescited by 21
  27. 2020How to build your own ASP-based system?!cited by 20
  28. 2013Ontology-based Data Access: A Study through Disjunctive Datalog, CSP, and MMSNPcited by 15
  29. 2019Learning to Reason: Leveraging Neural Networks for Approximate DNF Countingcited by 11
  30. 2015Bounded Situation Calculus Action Theoriescited by 10
  31. 2020Logical Separability of Labeled Data Examples under Ontologiescited by 10
  32. 2020Advancing Lazy-Grounding ASP Solving Techniques -- Restarts, Phase Saving, Heuristics, and Morecited by 10
  33. 2018Formal Specification and Verification of Autonomous Robotic Systems: A Surveycited by 9
  34. 2014Description Logic Knowledge and Action Basescited by 8
  35. 2018Debugging Non-Ground ASP Programs: Technique and Graphical Toolscited by 8
  36. 2019LogicENN: A Neural Based Knowledge Graphs Embedding Model with Logical Rulescited by 8
  37. 2022Treewidth-aware Reductions of Normal ASP to SAT -- Is Normal ASP Harder than SAT after All?cited by 8
  38. 2020Axiom Pinpointingcited by 7

50 most cited of 72 All 72 (JSON)

Built on by

Cited by year

Citing papers per year: 2024: 1.

1 paper.

  1. 2024Towards Assurance of LLM Adversarial Robustness using Ontology-Driven Argumentationcited by 1