A symbolic and algebraic computation based Lambda-Boolean reduction machine via PROLOG.
Seref MirasyediogluTolga GüyerPublished in: Appl. Math. Comput. (2006)
Keyphrases
- real valued
- knowledge representation
- efficient computation
- programming language
- interval arithmetic
- inference engine
- expert systems
- knowledge base
- higher order
- fixed point
- boolean functions
- symbolic representation
- multi valued
- space reduction
- logic programs
- logic programming
- constraint propagation
- search engine
- artificial intelligence
- decision diagrams
- connectionist models
- neural network