Knowledge & Reasoning

Poincaré Embeddings for Learning Hierarchical Representations NeurIPS 2017 Premise Selection for Theorem Proving by Deep Graph Embedding NeurIPS 2017 Probabilistic Inference for Cold Start Knowledge Base Population with Prior World Knowledge EACL 2017 Purely Declarative Action Descriptions are Overrated: Classical Planning with Simulators IJCAI 2017 Question Answering on Knowledge Bases and Text using Universal Schema and Memory Networks ACL 2017 QUINT: Interpretable Question Answering over Knowledge Bases EMNLP 2017 Real--Time UAV Maneuvering via Automated Planning in Simulations IJCAI 2017 Reasoning about Probabilities in Unbounded First-Order Dynamical Domains IJCAI 2017 Refinement of Intentions IJCAI 2017 Reformulating Queries: Theory and Practice IJCAI 2017 Relatedness-based Multi-Entity Summarization IJCAI 2017 Relations Between Spatial Calculi About Directions and Orientations (Extended Abstract) IJCAI 2017 Robust Causal Estimation in the Large-Sample Limit without Strict Faithfulness AISTATS 2017 Role Forgetting for ALCOQH(universal role)-Ontologies Using an Ackermann-Based Approach IJCAI 2017 Safe Inductions: An Algebraic Study IJCAI 2017 Semantic Parsing of Pre-university Math Problems ACL 2017 Semantics for Active Integrity Constraints Using Approximation Fixpoint Theory IJCAI 2017 Semi-supervised Learning over Heterogeneous Information Networks by Ensemble of Meta-graph Guided Random Walks IJCAI 2017 Sparsity and Noise: Where Knowledge Graph Embeddings Fall Short EMNLP 2017 Strategically knowing how IJCAI 2017 Streaming Multi-Context Systems IJCAI 2017 Strong Inconsistency in Nonmonotonic Reasoning IJCAI 2017 Swift Logic for Big Data and Knowledge Graphs IJCAI 2017 Temporal Planning for Compilation of Quantum Approximate Optimization Circuits IJCAI 2017 Temporal Planning with Clock-Based SMT Encodings IJCAI 2017