<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2009-05-29 19:28:47Knowledge LOOM Inference Prolog Rabies Semantic reasoner Knowledge representation and reasoning Logic programming Backward chaining Reasoning Logic Science |
Add to Reading List |
PowerLoom-Course-Lecture3 | http://eulersharp.sourceforge.net/GUIDE Euler Proof Mechanism Euler is an inference engine supporting logic based proofs. It is a backward-forward-backward chaining reasoner enhanced with Euler path detection.DocID: 1nb0D - View Document |
| Backward induction or forward reasoning? An experiment of stochastic alternating offer bargaining by Siegfried K. Berninghaus, Werner Güth, Stephan SchosserDocID: 151yT - View Document |
| Corvid systems, potential customers, support staff, clients and employees are able to obtain ® Expert Systems - Bringing Expertise to Those that Need ItDocID: 10YVQ - View Document |
| PowerLoom-Course-Lecture3DocID: 10PkD - View Document |
| Artificial Intelligence through Prolog by Neil C. RoweDocID: Z3zG - View Document |