automated reasoning

Reasoning About Inconsistent Formulas IJCAI 2020 Reasoning on Knowledge Graphs with Debate Dynamics AAAI 2020 TouIST: a Friendly Language for Propositional Logic and More IJCAI 2020 Use of Claim Graphing and Argumentation Schemes in Biomedical Literature: A Manual Approach to Analysis COLING 2020 A PSPACE Subclass of Dependency Quantified Boolean Formulas and Its Effective Solving AAAI 2019 Closed-World Semantics for Conjunctive Queries with Negation over ELH-bottom Ontologies IJCAI 2019 Combining Axiom Injection and Knowledge Base Completion for Efficient Natural Language Inference AAAI 2019 Extracting Common Inference Patterns from Semi-Structured Explanations EMNLP 2019 HOList: An Environment for Machine Learning of Higher Order Logic Theorem Proving ICML 2019 Identifying Bottlenecks in Practical SAT-Based Model Finding for First-Order Logic Ontologies with Datasets AAAI 2019 Learning to Prove Theorems via Interacting with Proof Assistants ICML 2019 A Systematic Classification of Knowledge, Reasoning, and Context within the ARC Dataset ACL 2018 Automated Reasoning for City Infrastructure Maintenance Decision Support IJCAI 2018 Building and Learning Structures in a Situated Blocks World Through Deep Language Understanding NAACL 2018 Evaluation Techniques and Systems for Answer Set Programming: a Survey IJCAI 2018 HEI: Hunter Events Interface A platform based on services for the detection and reasoning about events COLING 2018 NewsReader at SemEval-2018 Task 5: Counting events by reasoning over event-centric-knowledge-graphs SemEval 2018 Prime Implicate Generation in Equational Logic (extended abstract) IJCAI 2018 Reinforcement Learning of Theorem Proving NeurIPS 2018 Single-Shot Epistemic Logic Program Solving IJCAI 2018 SynKit: LTL Synthesis as a Service IJCAI 2018 Three-Valued Semantics for Hybrid MKNF Knowledge Bases Revisited (Extended Abstract) IJCAI 2018 Automated Conjecturing I: Fajtlowicz's Dalmatian Heuristic Revisited (Extended Abstract) IJCAI 2017 Evaluating Epistemic Negation in Answer Set Programming (Extended Abstract) IJCAI 2017 KSP: A Resolution-based Prover for Multimodal K, Abridged Report IJCAI 2017