Artificial Intelligence through Prolog by Neil C. Rowe

First Page		Document Content
Date: 2012-10-01 15:31:57 Functional languages Lisp programming language Reasoning Prolog Artificial intelligence Logic programming Common Lisp Backtracking Backward chaining Software engineering Computing Computer programming		Artificial Intelligence through Prolog by Neil C. Rowe Add to Reading List Source URL: cdn.preterhuman.net Download Document from Source Website File Size: 1,12 MB Share Document on Facebook

	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 Schosser DocID: 151yT - View Document
	Corvid systems, potential customers, support staff, clients and employees are able to obtain ® Expert Systems - Bringing Expertise to Those that Need It DocID: 10YVQ - View Document
	PowerLoom-Course-Lecture3 DocID: 10PkD - View Document
	Artificial Intelligence through Prolog by Neil C. Rowe DocID: Z3zG - View Document