An Interactive SMT Tactic in Coq using Abductive Reasoning.
Haniel BarbosaChantal KellerAndrew ReynoldsArjun ViswanathanCesare TinelliClark W. BarrettPublished in: LPAR (2023)
Keyphrases
- abductive reasoning
- inference rules
- natural language understanding
- nonmonotonic reasoning
- logic programs
- causal inference
- logical representation
- probabilistic logic
- plan recognition
- reasoning tasks
- user interaction
- formal methods
- consequence finding
- prime implicates
- statistical machine translation
- theorem prover
- machine learning
- logic programming
- general purpose