Local-global properties of positive primitive formulas in the theory of spaces of orderings.
M. MarshallPublished in: J. Symb. Log. (2006)
Keyphrases
- positive and negative
- theoretical framework
- quotient space
- knowledge base
- structural properties
- possibility distributions
- action theories
- von neumann
- global structure
- global consistency
- approximation spaces
- general theory
- global information
- genetic algorithm
- information theory
- higher level
- relational databases
- search algorithm
- artificial intelligence