First Page | Document Content | |
---|---|---|
Date: 2017-07-30 15:10:44Artificial 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 DallasAdd to Reading ListSource URL: www.cs.man.ac.ukDownload Document from Source WebsiteFile Size: 127,29 KBShare Document on Facebook |
PROJECT PAI TECHNICAL WHITEPAPER SUMMARY PAI BLOCKCHAIN PROTOCOL: A DECENTRALIZED ARTIFICIAL INTELLIGENCE NETWORKDocID: 1xVWW - View Document | |
Persistent Memory for Artificial Intelligence Bill Gervasi Principal Systems Architect Santa Clara, CADocID: 1xVOm - View Document | |
Journal of Machine Learning Research, 4th International Conference on Predictive Applications and APIs Marvin - Open source artificial intelligence platform Lucas B. MiguelDocID: 1xVLb - View Document | |
Cybersecurity Powered by Artificial Intelligence and the Blockchain HEROIC.com Team February 2018DocID: 1xVHi - View Document |