Automated Reasoning

Finite Controllability of Conjunctive Query Answering with Existential Rules: Two Steps Forward IJCAI 2018 Finite Model Reasoning in Hybrid Classes of Existential Rules IJCAI 2018 HEI: Hunter Events Interface A platform based on services for the detection and reasoning about events COLING 2018 Inconsistency Measures for Repair Semantics in OBDA IJCAI 2018 Incrementally Grounding Expressions for Spatial Relations between Objects IJCAI 2018 Learning SMT(LRA) Constraints using SMT Solvers IJCAI 2018 Localizing Moments in Video with Temporal Language EMNLP 2018 Multi-hop Inference for Sentence-level TextGraphs: How Challenging is Meaningfully Combining Information for Science Question Answering? NAACL 2018 Multi-Relational Question Answering from Narratives: Machine Reading and Reasoning in Simulated Worlds ACL 2018 Neural Compositional Denotational Semantics for Question Answering EMNLP 2018 Neural Tensor Networks with Diagonal Slice Matrices NAACL 2018 NewsReader at SemEval-2018 Task 5: Counting events by reasoning over event-centric-knowledge-graphs SemEval 2018 Novel Algorithms for Abstract Dialectical Frameworks based on Complexity Analysis of Subclasses and SAT Solving IJCAI 2018 Parameterised Queries and Lifted Query Answering IJCAI 2018 Prime Implicate Generation in Equational Logic (extended abstract) IJCAI 2018 Reasoning about Actions and State Changes by Injecting Commonsense Knowledge EMNLP 2018 Reasoning about Betweenness and RCC8 Constraints in Qualitative Conceptual Spaces IJCAI 2018 Reinforcement Learning of Theorem Proving NeurIPS 2018 Relevance in Structured Argumentation IJCAI 2018 Reverse Engineering Queries in Ontology-Enriched Systems: The Case of Expressive Horn Description Logic Ontologies IJCAI 2018 Similarity-Based Reasoning, Raven's Matrices, and General Intelligence IJCAI 2018 Single-Shot Epistemic Logic Program Solving IJCAI 2018 The Complexity of Limited Belief Reasoning—The Quantifier-Free Case IJCAI 2018 Three-Valued Semantics for Hybrid MKNF Knowledge Bases Revisited (Extended Abstract) IJCAI 2018 Towards Consumer-Empowering Artificial Intelligence IJCAI 2018