Reasoning

Reverse Engineering Queries in Ontology-Enriched Systems: The Case of Expressive Horn Description Logic Ontologies IJCAI 2018 Robust Synthetic Control JMLR 2018 Scalable Probabilistic Causal Structure Discovery IJCAI 2018 Scene Graph Parsing as Dependency Parsing NAACL 2018 Similarity-Based Reasoning, Raven's Matrices, and General Intelligence IJCAI 2018 Simpler and Faster Algorithm for Checking the Dynamic Consistency of Conditional Simple Temporal Networks IJCAI 2018 Single-Shot Epistemic Logic Program Solving IJCAI 2018 Stratified Negation in Limit Datalog Programs IJCAI 2018 Structural Causal Bandits: Where to Intervene? NeurIPS 2018 Structure Learning Under Missing Data PGM 2018 Symbolic Synthesis of Fault-Tolerance Ratios in Parameterised Multi-Agent Systems IJCAI 2018 SynKit: LTL Synthesis as a Service IJCAI 2018 Synthesis of Controllable Nash Equilibria in Quantitative Objective Game IJCAI 2018 Systems AI: A Declarative Learning Based Programming Perspective IJCAI 2018 The Complexity of Limited Belief Reasoning—The Quantifier-Free Case IJCAI 2018 The Web as a Knowledge-Base for Answering Complex Questions NAACL 2018 Three-Valued Semantics for Hybrid MKNF Knowledge Bases Revisited (Extended Abstract) IJCAI 2018 Towards Consumer-Empowering Artificial Intelligence IJCAI 2018 Towards Understanding the Geometry of Knowledge Graph Embeddings ACL 2018 Twitter Geolocation using Knowledge-Based Methods EMNLP 2018 Variable-Delay Controllability IJCAI 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