Building Expert Systems in Prolog

First Page		Document Content
Date: 2012-10-01 15:31:26 Reasoning Decision theory Artificial intelligence Logic in computer science Computing Prolog Inference Production system Forward chaining Expert systems Science Logic		Building Expert Systems in Prolog Add to Reading List Source URL: cdn.preterhuman.net Download Document from Source Website File Size: 3,98 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
	BaseVISor: A Forward-Chaining Inference Engine Optimized for RDF/OWL Triples Christopher J. Matheus, Robert Dionne, Douglas F. Parent Versatile Information Systems, Inc., Framingham, Massachusetts, U.S.A Kenneth Baclawsk DocID: 1kQd6 - View Document
	Online Generation and Use of Macro-Actions in Forward-Chaining Planning Amanda Smith A Thesis submitted for the degree of Doctor of Philosophy DocID: 18VEv - View Document
	Forward-Chaining Partial-Order Planning Amanda Coles and Andrew Coles and Maria Fox and Derek Long Department of Computer and Information Sciences, University of Strathclyde, Glasgow, G1 1XH, UK email: firstname.lastname DocID: 17Gx4 - View Document
	Teaching Forward-Chaining Planning with JAVA FF Andrew Coles, Maria Fox, Derek Long and Amanda Smith Department of Computer and Information Sciences, University of Strathclyde, Glasgow, G1 1XH, UK email: firstname.lastna DocID: 17FLg - View Document