First-Order Theories of Orthogonality Structures.

Ruaan Kellerman

Published in: Log. J. IGPL (2007)

Keyphrases

theory revision
first order logic
higher order
theoretical framework
stochastic dominance
data sets
bayesian networks
multi agent systems
complex structures
domain theory
horn clauses
action theories
legal knowledge
logical theories