Introduction: On proof.

Antonio A. Martino

Published in: Artif. Intell. Law (2001)

Keyphrases

linear logic
digital libraries
learning algorithm
case study
support vector
theorem prover
proof planning
real time
neural network
information retrieval
information systems
multimedia
feature extraction
reinforcement learning
interactive theorem proving