Reasoning

Personnel Scheduling as Satisfiability Modulo Theories IJCAI 2017 Premise Selection for Theorem Proving by Deep Graph Embedding NeurIPS 2017 Purely Declarative Action Descriptions are Overrated: Classical Planning with Simulators IJCAI 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 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 Semantic Parsing of Pre-university Math Problems ACL 2017 Semantics for Active Integrity Constraints Using Approximation Fixpoint Theory IJCAI 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 Temporal Sequences of Qualitative Information: Reasoning about the Topology of Constant-Size Moving Regions IJCAI 2017 The Ceteris Paribus Structure of Logics of Game Forms (Extended Abstract) IJCAI 2017 The ContrastMedium Algorithm: Taxonomy Induction From Noisy Knowledge Graphs With Just A Few Links EACL 2017 The Parallel Meaning Bank: Towards a Multilingual Corpus of Translations Annotated with Compositional Meaning Representations EACL 2017 User Profile Preserving Social Network Embedding IJCAI 2017 Verb Physics: Relative Physical Knowledge of Actions and Objects ACL 2017 A Differential Approach to Causality in Staged Trees PGM 2016