Axiomatizing collective judgment sets in a minimal logical language.

Published in: Synth. (2007)

Keyphrases

logical language
formal semantics
minimal subsets
situation calculus
real time
knowledge base
data structure
expert systems
collective behavior