About Natural Logic.
Alain ColmerauerJean François PiquePublished in: Advances in Data Base Theory (1979)
Keyphrases
- deontic logic
- real world
- genetic algorithm
- dynamic logic
- defeasible logic
- logic programming
- real time
- man made
- computational properties
- modal logic
- sound and complete axiomatization
- propositional dynamic logic
- abductive reasoning
- probabilistic logic
- multi valued
- artificial neural networks
- bayesian networks
- case study
- website
- neural network
- databases