Constructive Logic and Situation Theory.

Seiki Akama Yasunori Nagata

Published in: LAPTEC (2005)

Keyphrases

formal theory
theoretical framework
proof theory
proof theoretic
boolean algebra
theoretical basis
set theory
logical framework
automated reasoning
commonsense reasoning
information theory
information retrieval
database
digital circuits
probability theory
decision theory
multi agent