Abductive Reasoning with Sequent-Based Argumentation.
Ofer ArieliAnneMarie BorgMatthis HesseChristian StraßerPublished in: NMR (2022)
Keyphrases
- abductive reasoning
- inference rules
- causal inference
- modal logic
- nonmonotonic reasoning
- probabilistic logic
- logical representation
- first order logic
- logic programs
- theorem prover
- theorem proving
- plan recognition
- reasoning tasks
- natural language understanding
- prime implicates
- conditional probabilities
- argumentation frameworks
- model checking
- probability theory
- general purpose
- hidden markov models
- high level