Reasoning

Lazy-Grounding for Answer Set Programs with External Source Access IJCAI 2017 Learning Cost-Effective and Interpretable Treatment Regimes AISTATS 2017 Learning MSO-definable hypotheses on strings ALT 2017 Limbo: A Reasoning System for Limited Belief IJCAI 2017 Local-to-Global Bayesian Network Structure Learning ICML 2017 Logic on MARS: Ontologies for Generalised Property Graphs IJCAI 2017 Lossy Compression of Pattern Databases Using Acyclic Random Hypergraphs IJCAI 2017 Making Cross Products and Guarded Ontology Languages Compatible IJCAI 2017 Mapping Repair in Ontology-based Data Access Evolving Systems IJCAI 2017 Multilingual Knowledge Graph Embeddings for Cross-lingual Knowledge Alignment IJCAI 2017 nanoCoP: Natural Non-clausal Theorem Proving IJCAI 2017 New Metrics and Algorithms for Stochastic Goal Recognition Design Problems IJCAI 2017 Nonlinear Hybrid Planning with Deep Net Learned Transition Models and Mixed-Integer Linear Programming IJCAI 2017 Numeric Planning via Abstraction and Policy Guided Search IJCAI 2017 On Creating Complementary Pattern Databases IJCAI 2017 On-demand Injection of Lexical Knowledge for Recognising Textual Entailment EACL 2017 On Redundant Topological Constraints (Extended Abstract) IJCAI 2017 On the Complexity and Expressiveness of Automated Planning Languages Supporting Temporal Reasoning IJCAI 2017 On the Complexity of Enumerating the Extensions of Abstract Argumentation Frameworks IJCAI 2017 On the Expressivity of Inconsistency Measures (Extended Abstract) IJCAI 2017 Ontology-Mediated Query Answering for Key-Value Stores IJCAI 2017 Ontology-Mediated Querying with the Description Logic EL: Trichotomy and Linear Datalog Rewritability IJCAI 2017 Open-World Probabilistic Databases: An Abridged Report IJCAI 2017 Operationalizing Operational Logics: Semiotic Knowledge Representations for Interactive Systems IJCAI 2017 Orthogonal and Nonnegative Graph Reconstruction for Large Scale Clustering IJCAI 2017