A Case for Query-driven Predicate Answer Set Programming (Position Paper) Gopal Gupta Elmer Salazar, Kyle Marple, Zhuo Chen, Farhad Shakerin Department of Computer Science The University of Texas at Dallas

First Page		Document Content
Date: 2017-07-30 15:10:44 Artificial intelligence Logic Logic programming Declarative programming Automated reasoning Programming paradigms Automated theorem proving Answer set programming Reasoning system Stable model semantics Prolog Inference		A Case for Query-driven Predicate Answer Set Programming (Position Paper) Gopal Gupta Elmer Salazar, Kyle Marple, Zhuo Chen, Farhad Shakerin Department of Computer Science The University of Texas at Dallas Add to Reading List Source URL: www.cs.man.ac.uk Download Document from Source Website File Size: 127,29 KB Share Document on Facebook

	PROJECT PAI TECHNICAL WHITEPAPER SUMMARY PAI BLOCKCHAIN PROTOCOL: A DECENTRALIZED ARTIFICIAL INTELLIGENCE NETWORK DocID: 1xVWW - View Document
	Persistent Memory for Artificial Intelligence Bill Gervasi Principal Systems Architect Santa Clara, CA DocID: 1xVOm - View Document
	Journal of Machine Learning Research, 4th International Conference on Predictive Applications and APIs Marvin - Open source artificial intelligence platform Lucas B. Miguel DocID: 1xVLb - View Document
	Cybersecurity Powered by Artificial Intelligence and the Blockchain HEROIC.com Team February 2018 DocID: 1xVHi - View Document