Intuitionistic Socratic procedures.

Tomasz F. Skura

Published in: J. Appl. Non Class. Logics (2005)

Keyphrases

tutoring system
theorem prover
database
fuzzy set theory
linear logic
neural network
database systems
classical logic
information retrieval
artificial intelligence
information systems
decision trees
case study
pattern recognition
modal logic
fuzzy information