Reasoning

A Causal Framework for Discovering and Removing Direct and Indirect Discrimination IJCAI 2017 A Characterization Theorem for a Modal Description Logic IJCAI 2017 A Framework for Optimal Matching for Causal Inference AISTATS 2017 A generic approach to planning in the presence of incomplete information: Theory and implementation (Extended Abstract) IJCAI 2017 Agent Design Consistency Checking via Planning IJCAI 2017 An Admissible HTN Planning Heuristic IJCAI 2017 An Improved Approximation Algorithm for the Subpath Planning Problem and Its Generalization IJCAI 2017 Answering Complex Questions Using Open Information Extraction ACL 2017 Answering Conjunctive Regular Path Queries over Guarded Existential Rules IJCAI 2017 A Random Model for Argumentation Framework: Phase Transitions, Empirical Hardness, and Heuristics IJCAI 2017 A Reasoning System for a First-Order Logic of Limited Belief IJCAI 2017 A Recursive Shortcut for CEGAR: Application To The Modal Logic K Satisfiability Problem IJCAI 2017 Automated Planning for Urban Traffic Management IJCAI 2017 Bayesian inference on random simple graphs with power law degree distributions ICML 2017 Belief Change in a Preferential Non-monotonic Framework IJCAI 2017 Bilingual Lexicon Induction by Learning to Combine Word-Level and Character-Level Representations EACL 2017 Budget-Constrained Dynamics in Multiagent Systems IJCAI 2017 Capturing Long-range Contextual Dependencies with Memory-enhanced Conditional Random Fields IJCNLP 2017 Cause-Effect Knowledge Acquisition and Neural Association Model for Solving A Set of Winograd Schema Problems IJCAI 2017 Chains of Reasoning over Entities, Relations, and Text using Recurrent Neural Networks EACL 2017 CHARDA: Causal Hybrid Automata Recovery via Dynamic Analysis IJCAI 2017 Computer Models Solving Intelligence Test Problems: Progress and Implications (Extended Abstract) IJCAI 2017 Conflict-driven ASP Solving with External Sources and Program Splits IJCAI 2017 Context-Based Reasoning on Privacy in Internet of Things IJCAI 2017 Counterfactual Fairness NeurIPS 2017