A Syntactic Consistency Proof for NaDSet.

Paul C. Gilmore

Published in: Kurt Gödel Colloquium (1993)

Keyphrases

set intersection
natural language
theorem proving
mathematical proofs
theorem prover
databases
neural network
genetic algorithm
artificial intelligence
information systems
case study
pattern recognition
expert systems
semantic representation
path consistency
logical rules