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

	Automated Documentation Inference to Explain Failed Tests Sai Zhang1 Cheng Zhang2 DocID: 1xW1K - View Document
	Bayonet: Probabilistic Inference for Networks Timon Gehr Sasa Misailovic Petar Tsankov DocID: 1xW0p - View Document
	1 Annotation inference for modular checkers Cormac Flanagan, Rajeev Joshi, and K. Rustan M. Leino Compaq Systems Research Center, 130 Lytton Ave., Palo Alto, CA 94301, U.S.A. DocID: 1xW0d - View Document
	Inférence d’invariants pour le model checking de systèmes paramétrés Alain Mebsout LRI, Université Paris-Sud Soutenance de thèse DocID: 1xVrt - View Document
	Cataloging the Visible Universe through Bayesian Inference at Petascale Jeffrey Regier∗ , Kiran Pamnany† , Keno Fischer‡ , Andreas Noack§ , Maximilian Lam∗ , Jarrett Revels§ , Steve Howard¶ , Ryan Giordano¶ , DocID: 1xVn9 - View Document