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 |
The Prolog to Mercury transition guide Version rotdThomas Conway Zoltan Somogyi Fergus HendersonDocID: 1xVTf - View Document | |
The Prolog to Mercury transition guide VersionThomas Conway Zoltan Somogyi Fergus HendersonDocID: 1xUyl - View Document | |
Prolog-Programm: - Fakten - Regeln - Anfragen Horn-Klauseln, bilden WissensbasisDocID: 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 / PrologDocID: 1uQRL - View Document | |
Avoiding Equivariance in Alpha-Prolog Christian Urban1 and James Cheney2 1 Ludwig-Maximilians-University Munich () 2DocID: 1uyDU - View Document |