Logical Omniscience Via Proof Complexity.

Sergei N. Artëmov Roman Kuznets

Published in: CSL (2006)

Keyphrases

logical rules
information systems
case study
lower complexity
complexity measures
real time
information retrieval
image processing
multi agent
worst case
logic programming