Reasoning

Finite State Reasoning for Presupposition Satisfaction COLING 2018 First-Order Rewritability of Frontier-Guarded Ontology-Mediated Queries IJCAI 2018 Formal Verification of Bayesian Network Classifiers PGM 2018 Global Relation Embedding for Relation Extraction NAACL 2018 HEI: Hunter Events Interface A platform based on services for the detection and reasoning about events COLING 2018 Hyperbolic Entailment Cones for Learning Hierarchical Embeddings ICML 2018 Identification and Estimation of Causal Effects from Dependent Data NeurIPS 2018 Improving Knowledge Graph Embedding Using Simple Constraints ACL 2018 Inconsistency Measures for Repair Semantics in OBDA IJCAI 2018 Inconsistency-Tolerant Ontology-Based Data Access Revisited: Taking Mappings into Account IJCAI 2018 Incrementally Grounding Expressions for Spatial Relations between Objects IJCAI 2018 Inducing Temporal Relations from Time Anchor Annotation NAACL 2018 Instructing Novice Users on How to Use Tools in DIY Projects IJCAI 2018 Intelligent Decision Support for Human Team Planning IJCAI 2018 Intersection-Validation: A Method for Evaluating Structure Learning without Ground Truth AISTATS 2018 Intervals of Causal Effects for Learning Causal Graphical Models PGM 2018 Invariant Models for Causal Transfer Learning JMLR 2018 Learning linear structural equation models in polynomial time and sample complexity AISTATS 2018 Learning SMT(LRA) Constraints using SMT Solvers IJCAI 2018 LinkNBed: Multi-Graph Representation Learning with Entity Linkage ACL 2018 Localizing Moments in Video with Temporal Language EMNLP 2018 Loss in Translation: Learning Bilingual Word Mapping with a Retrieval Criterion EMNLP 2018 LP Heuristics over Conjunctions: Compilation, Convergence, Nogood Learning IJCAI 2018 LTL Realizability via Safety and Reachability Games IJCAI 2018 Markov Blanket and Markov Boundary of Multiple Variables JMLR 2018