C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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