← Core AI
Artificial Intelligence › Core AI ›

Knowledge Representation

379 directly classified papers

Papers per year

Papers

An Interactive Visualization Platform for Deep Symbolic Regression IJCAI 2020
Ontology Reasoning with Deep Neural Networks (Extended Abstract) IJCAI 2020
Turning 30: New Ideas in Inductive Logic Programming IJCAI 2020
Simultaneously Learning Transferable Symbols and Language Groundings from Perceptual Data for Instruction Following RSS 2020
Differentiable Reasoning on Large Knowledge Bases and Natural Language AAAI 2020
Hypernym Detection Using Strict Partial Order Networks AAAI 2020
Graph Representations for Higher-Order Logic and Theorem Proving AAAI 2020
MEGATRON-CNTRL: Controllable Story Generation with External Knowledge Using Large-Scale Language Models EMNLP 2020
Knowledge Transfer for Learning Markov Equivalence Classes PGM 2020
Relaxing and Restraining Queries for OBDA AAAI 2019
On Structured Argumentation with Conditional Preferences AAAI 2019
Modular Materialisation of Datalog Programs AAAI 2019
Reasoning over Assumption-Based Argumentation Frameworks via Direct Answer Set Programming Encodings AAAI 2019
Iterated Belief Base Revision: A Dynamic Epistemic Logic Approach AAAI 2019
Automated Rule Base Completion as Bayesian Concept Induction AAAI 2019
Understanding Actors and Evaluating Personae with Gaussian Embeddings AAAI 2019
On Lifted Inference Using Neural Embeddings AAAI 2019
Identifying Bottlenecks in Practical SAT-Based Model Finding for First-Order Logic Ontologies with Datasets AAAI 2019
Learning Bayesian Networks with Low Rank Conditional Probability Tables NIPS 2019
Remote Management of Boundary Protection Devices with Information Restrictions AAAI 2019
Learning Diverse Bayesian Networks AAAI 2019
Belief Change and Non-Monotonic Reasoning Sans Compactness AAAI 2019
Declarative Question Answering over Knowledge Bases Containing Natural Language Text with Answer Set Programming AAAI 2019
Partial Awareness AAAI 2019
From Horn-SRIQ to Datalog: A Data-Independent Transformation That Preserves Assertion Entailment AAAI 2019