← Keywords

knowledge representation

298 papers

Explore in graph

Also known as

KR KRR

Co-occurring keywords

knowledge graph (1795) large language model (12755) description logic (102) question answering (2904) automated reasoning (122) answer set programming (97) knowledge base (801) epistemic logic (42) logic programming (50) link prediction (620)

Papers

From Statistical Relational to Neuro-Symbolic Artificial Intelligence IJCAI 2020
Graph Neural Networks Meet Neural-Symbolic Computing: A Survey and Perspective IJCAI 2020
Least General Generalizations in Description Logic: Verification and Existence AAAI 2020
Interpreting Open-Domain Modifiers: Decomposition of Wikipedia Categories into Disambiguated Property-Value Pairs EMNLP 2020
DRS at MRP 2020: Dressing up Discourse Representation Structures as Graphs EMNLP 2020
On the Complementary Nature of Knowledge Graph Embedding, Fine Grain Entity Types, and Language Modeling EMNLP 2020
Determining Inference Semantics for Disjunctive Logic Programs (Extended Abstract) IJCAI 2020
A Practical Approach to Forgetting in Description Logics with Nominals AAAI 2020
On the Splitting Property for Epistemic Logic Programs (Extended Abstract) IJCAI 2020
On Computational Aspects of Iterated Belief Change IJCAI 2020
Knowing-How under Uncertainty (Extended Abstract) IJCAI 2020
Ontology Reasoning with Deep Neural Networks (Extended Abstract) IJCAI 2020
Revisiting the Foundations of Abstract Argumentation – Semantics Based on Weak Admissibility and Weak Defense AAAI 2020
Switch-List Representations in a Knowledge Compilation Map IJCAI 2020
Inconsistency Measurement for Improving Logical Formula Clustering IJCAI 2020
Model-theoretic Characterizations of Existential Rule Languages IJCAI 2020
Rewriting the Description Logic ALCHIQ to Disjunctive Existential Rules IJCAI 2020
Complexity and Expressive Power of Disjunction and Negation in Limit Datalog AAAI 2020
Narrative Planning Model Acquisition from Text Summaries and Descriptions AAAI 2020
Reasoning Requirements for Indirect Speech Act Interpretation COLING 2020
Answering Counting Queries over DL-Lite Ontologies IJCAI 2020
Automatic Verification of Liveness Properties in the Situation Calculus AAAI 2020
Graph Representations for Higher-Order Logic and Theorem Proving AAAI 2020
Improving Local Identifiability in Probabilistic Box Embeddings NIPS 2020
Commonsense Reasoning for Natural Language Processing ACL 2020