Knowledge & Reasoning

Variational Knowledge Graph Reasoning NAACL 2018 Variational Network Inference: Strong and Stable with Concrete Support ICML 2018 Verifying concurrent software using movers in CSPEC OSDI 2018 Verifying Emergence of Bounded Time Properties in Probabilistic Swarm Systems IJCAI 2018 Watch Your Step: Learning Node Embeddings via Graph Attention NeurIPS 2018 What Action Causes This? Towards Naive Physical Action-Effect Prediction ACL 2018 What It Takes to Achieve 100% Condition Accuracy on WikiSQL EMNLP 2018 WordNet Embeddings ACL 2018 Zero-Shot Question Generation from Knowledge Graphs for Unseen Predicates and Entity Types NAACL 2018 Zero-Shot Recognition via Semantic Embeddings and Knowledge Graphs CVPR 2018 A Causal Framework for Discovering and Removing Direct and Indirect Discrimination IJCAI 2017 A Characterization Theorem for a Modal Description Logic IJCAI 2017 Acquisition, Representation and Usage of Conceptual Hierarchies EMNLP 2017 A Data-Driven Approach to Infer Knowledge Base Representation for Natural Language Relations IJCAI 2017 A Framework for Optimal Matching for Causal Inference AISTATS 2017 A generic approach to planning in the presence of incomplete information: Theory and implementation (Extended Abstract) IJCAI 2017 Agent Design Consistency Checking via Planning IJCAI 2017 An Admissible HTN Planning Heuristic IJCAI 2017 An Improved Approximation Algorithm for the Subpath Planning Problem and Its Generalization IJCAI 2017 Answering Complex Questions Using Open Information Extraction ACL 2017 Answering Conjunctive Regular Path Queries over Guarded Existential Rules IJCAI 2017 A Random Model for Argumentation Framework: Phase Transitions, Empirical Hardness, and Heuristics IJCAI 2017 A Reasoning System for a First-Order Logic of Limited Belief IJCAI 2017 A Recursive Shortcut for CEGAR: Application To The Modal Logic K Satisfiability Problem IJCAI 2017 A Short Survey on Taxonomy Learning from Text Corpora: Issues, Resources and Recent Advances EMNLP 2017