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 Website File Size: 127,29 KBShare Document on Facebook
|