Keyphrases
- search engine
- boolean functions
- real valued
- formal theory
- knowledge representation
- domain theory
- formal model
- information systems
- theoretical framework
- data structure
- probabilistic reasoning
- conceptual graphs
- multi valued
- logical framework
- formal language
- boolean queries
- boolean logic
- generating explanations
- computational complexity
- situation calculus
- databases
- threshold functions