Disjunctive Tautologies as Synchronisation Schemes.

Vincent Danos Jean-Louis Krivine

Published in: CSL (2000)

Keyphrases

information retrieval
answer sets
neural network
information systems
metadata
natural language
expert systems
special case
disjunctive deductive databases