A Logic of Discovery.
Janis BarzdinsRusins FreivaldsCarl H. SmithPublished in: Discovery Science (1998)
Keyphrases
- modal logic
- classical logic
- multi valued
- neural network
- data mining
- epistemic logic
- discovery process
- automated reasoning
- logic programming
- knowledge discovery
- computational properties
- scientific discovery
- pattern discovery
- logical framework
- data analysis
- set theory
- predicate logic
- abductive reasoning
- multi agent systems
- proof theory