conftrace_

automated reasoning

122 papers

Explore in graph

Co-occurring keywords

large language model (13587) knowledge representation (301) formal verification (284) theorem proving (63) answer set programming (97) logic programming (50) program synthesis (233) reinforcement learning (4352) knowledge graph (1837) automated theorem proving (39)

Papers

Extracting Common Inference Patterns from Semi-Structured Explanations EMNLP 2019
A PSPACE Subclass of Dependency Quantified Boolean Formulas and Its Effective Solving AAAI 2019
Combining Axiom Injection and Knowledge Base Completion for Efficient Natural Language Inference AAAI 2019
HOList: An Environment for Machine Learning of Higher Order Logic Theorem Proving ICML 2019
Learning to Prove Theorems via Interacting with Proof Assistants ICML 2019
Identifying Bottlenecks in Practical SAT-Based Model Finding for First-Order Logic Ontologies with Datasets AAAI 2019
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
Prime Implicate Generation in Equational Logic (extended abstract) IJCAI 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
NewsReader at SemEval-2018 Task 5: Counting events by reasoning over event-centric-knowledge-graphs SEMEVAL 2018
Evaluation Techniques and Systems for Answer Set Programming: a Survey IJCAI 2018
A Systematic Classification of Knowledge, Reasoning, and Context within the ARC Dataset ACL 2018
HEI: Hunter Events Interface A platform based on services for the detection and reasoning about events COLING 2018
Reinforcement Learning of Theorem Proving NIPS 2018
KSP: A Resolution-based Prover for Multimodal K, Abridged Report IJCAI 2017
Limbo: A Reasoning System for Limited Belief IJCAI 2017
Automated Conjecturing I: Fajtlowicz's Dalmatian Heuristic Revisited (Extended Abstract) IJCAI 2017
Evaluating Epistemic Negation in Answer Set Programming (Extended Abstract) IJCAI 2017
An Instantiation-Based Theorem Prover for First-Order Programming AISTATS 2011