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

	The Prolog to Mercury transition guide Version rotdThomas Conway Zoltan Somogyi Fergus Henderson DocID: 1xVTf - View Document
	The Prolog to Mercury transition guide VersionThomas Conway Zoltan Somogyi Fergus Henderson DocID: 1xUyl - View Document
	Prolog-Programm: - Fakten - Regeln - Anfragen Horn-Klauseln, bilden Wissensbasis DocID: 1vbGX - View Document
	Dept. of Social Science Informatics (SWI) Roetersstraat 15, 1018 WB Amsterdam The Netherlands http://www.swi.psy.uva.nl Programming in XPCE / Prolog DocID: 1uQRL - View Document
	Avoiding Equivariance in Alpha-Prolog Christian Urban1 and James Cheney2 1 Ludwig-Maximilians-University Munich () 2 DocID: 1uyDU - View Document