A rendezvous of logic, complexity, and algebra.

Published in: SIGACT News (2006)

Keyphrases

set theory
boolean algebra
neural network
query language
classical logic
space complexity
artificial intelligence
algebraic structure
probability theory
worst case
computational cost
computational complexity
relational algebra
modal logic
decision problems
logic programming
proof theory