A Computational Approach to George Boole's Discovery of Mathematical Logic.
Luis de LedesmaAurora PérezDaniel BorrajoLuis M. LaitaPublished in: Artif. Intell. (1997)
Keyphrases
- computer algebra
- years ago
- human reasoning
- logic programming
- scientific discovery
- logical framework
- discovery process
- automated reasoning
- data mining
- mathematical expressions
- epistemic logic
- modal logic
- classical logic
- knowledge discovery
- mathematical theory
- asynchronous circuits
- mathematical models
- computational properties
- set theory
- bayesian networks
- deontic logic
- linear logic
- web services
- dynamic logic
- artificial intelligence
- proof theory
- data sets