Abductive Design Science Research: The Interplay between Deduction and Induction.
Stefan CronholmHannes GöbelLu CaoPublished in: ACIS (2023)
Keyphrases
- explanation based learning
- inference rules
- proof procedure
- abductive reasoning
- proof search
- theorem proving
- background knowledge
- inductive logic programming
- abductive logic programming
- machine learning
- artificial general intelligence
- constructive induction
- design science
- inductive learning
- theorem prover
- logic programming
- concept formation
- concept learning
- inductive reasoning
- intuitionistic logic
- constraint logic programming
- program synthesis
- neural network
- rule induction
- inductive inference
- database
- enterprise architecture
- domain theory
- modal logic
- automated theorem proving
- logic programs
- rough sets
- knowledge representation