Keyphrases
- real valued
- higher order
- boolean functions
- theorem proving
- threshold functions
- boolean logic
- boolean queries
- theorem prover
- knowledge representation
- automated theorem proving
- information retrieval
- probability distribution
- multi agent
- reinforcement learning
- high level
- case study
- information systems
- computer vision
- genetic algorithm