Prolog - PDFSEARCH.IO - Document Search Engine

Prolog
Results: 736

#	Item
281	Gregory Gelfond Department of Computer Science Texas Tech University Lubbock, TXPhone: 408–506–1991 Email: Add to Reading List Source URL: myweb.ttu.edu Language: English Computer programming Logic programming Prolog Stable model semantics Programming language Declarative programming Knowledge representation and reasoning Software engineering Programming paradigms Computing
282	The Declarative Imperative: Experiences and Conjectures in Distributed Logic Joseph M. Hellerstein Electrical Engineering and Computer Sciences Add to Reading List Source URL: www.eecs.berkeley.edu Language: English - Date: 2010-06-01 23:42:06 Query languages Programming paradigms Datalog Database management systems Database theory Prolog Logic programming SQL Relational model Computing Data management Software engineering
283	Textual Inference by Combining Multiple Logic Programming Paradigms Chitta Baral Gregory Gelfond Michael Gelfond Add to Reading List Source URL: myweb.ttu.edu Language: English - Date: 2015-05-24 18:07:19 Science Reasoning Programming paradigms Constraint programming Non-classical logic Stable model semantics Prolog Inference Negation as failure Logic Logic programming Artificial intelligence
284	J. LOGIC PROGRAMMING LOGIN: A LOGIC PROGRAMMING BUILT-IN INHERITANCE 1986:3: Add to Reading List Source URL: www.hassan-ait-kaci.net Language: English Mathematical logic Formal languages Automated theorem proving Logic programming Unification Prolog First-order logic Interpretation Functional predicate Logic Model theory Mathematics
285	Microsoft Word - ijita12-3.doc Add to Reading List Source URL: www.foibg.com Language: English - Date: 2015-02-02 08:42:07 Programming paradigms Imperative programming Programming language Prolog Lisp Logic programming Functional programming Procedural programming Object-oriented programming Software engineering Computing Computer programming
286	Partial Deduction for Structured Logic Programming Michele Bugliesi D.S. Logics s.r.l. Viale Silvani, Bologna, Italy Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2005-06-07 07:38:43 Logic programming Function Uniqueness quantification Prolog Mathematics Mathematical logic Software engineering
287	PDF Document Add to Reading List Source URL: galois.com Language: English - Date: 2014-07-17 17:29:46 Type theory Programming paradigms Constraint programming Logic programming Data types Prolog Inference Type system Type inference Software engineering Computing Computer programming
288	The ARGOS CBRN Information System Leo Schou-Jensen, CTO, Prolog Development Center A/S H.J. Holst vej 3c-5c, 2605 Brøndby, Denmark www.pdc.dk/argos Add to Reading List Source URL: www.nbcsec.fi Language: English - Date: 2011-03-02 12:46:48 Environment Atmosphere ARGOS DSS RIMPUFF Argos Danish Emergency Management Agency Prolog Development Center Chemical biological radiological and nuclear Atmospheric dispersion modeling Air dispersion modeling Earth Air pollution
289	PDF Document Add to Reading List Source URL: kogs-www.informatik.uni-hamburg.de Language: English - Date: 2013-01-10 05:22:35 Reasoning Knowledge Semantic Web Knowledge engineering Cognitive science Spatial–temporal reasoning Region connection calculus Prolog Knowledge representation and reasoning Knowledge representation Artificial intelligence Science
290	A Sketch of a Complete Scheme for Tabled Execution Based on Program Transformation Pablo Chico de Guzm´an1 Manuel Carro1 Manuel V. Hermenegildo1,2 {mcarro,herme}@fi.upm.es Add to Reading List Source URL: www.clip.dia.fi.upm.es Language: English - Date: 2009-07-09 07:03:26 Prolog XSB Logic programming Logic Continuation Scheme Software engineering Programming language theory Computer programming

UPDATE