Prolog - PDFSEARCH.IO - Document Search Engine

Prolog
Results: 736

#	Item
621	Theory and Practice of Logic Programming http://journals.cambridge.org/TLP Additional services for Theory and Practice of Logic Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2014-03-06 12:46:38 Logic in computer science Programming paradigms Automated theorem proving Type theory Proof theory ΛProlog Logic programming Prolog Logic Software engineering Theoretical computer science Mathematical logic
622	Under consideration for publication in Theory and Practice of Logic Programming 1 A Linear Logic Programming Language for Concurrent Programming over Graph Structures Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2014-02-18 19:39:57 Logic programming Datalog Linear logic Prolog Logic PageRank Static single assignment form Software engineering Computing Programming language theory
623	Fundamenta Informaticae[removed]{22 IOS Press 1 Executing Suspended Logic Programs Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2010-10-05 12:21:24 Predicate logic Logic programming Constraint programming Programming paradigms Abductive logic programming Prolog Constraint logic programming Resolution Atomic formula Logic Mathematical logic Software engineering
624	An Agent Language with Destructive Assignment and Model-Theoretic Semantics Robert Kowalski and Fariba Sadri Department of Computing, Imperial College London, 180 Queens Gate, London SW7 2AZ {rak, fs}@doc.ic.ac.uk Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2010-06-19 04:56:36 Mathematics Abductive logic programming Frame problem Prolog Action selection Event calculus Predicate Atomic sentence Situation calculus Logic Logic programming Mathematical logic
625	WUENIC – A Case Study in Rule-based Knowledge Representation and Reasoning Robert Kowalski1 and Anthony Burton21 Imperial College London, [removed] World Health Organization, Geneva, [removed] 1 Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2012-06-05 05:03:01 Knowledge Programming paradigms Critical thinking Logical consequence Arguments Prolog Logic programming Inference Argumentation theory Reasoning Logic Science
626	Towards a Logic-based Production System Language Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2011-08-20 04:15:20 Logic Prolog Futures and promises Frame problem Abductive logic programming Predicate Situation calculus Operational semantics Event calculus Logic programming Mathematical logic Theoretical computer science
627	Das Grundsatzprogramm der FDP/DVP Baden-Württemberg Prolog Der Mensch und seine Freiheit sind der Maßstab liberaler Geisteshaltung und Politik. Den kollektivistischen und autoritären Bestrebungen politischer Gegner st Add to Reading List Source URL: www.fdp-bw.de Language: German - Date: 2010-01-22 10:03:17
628	LOGIC PROGRAMMING Robert Kowalski 1 INTRODUCTION Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2013-12-18 05:34:05 Theoretical computer science Rules of inference Automated theorem proving Predicate logic Programming paradigms Resolution Horn clause Prolog Clause Logic programming Logic Mathematical logic
629	mWuDI?D(SD&D:, D~urnD:,D:,D@rn~@~ ~rnwDrn~ 7 Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2014-01-20 05:56:19 Rules of inference Logic programming Automated theorem proving And–or tree Algorithm Prolog Robert Kowalski Horn clause First-order logic Logic Mathematics Mathematical logic

UPDATE