Prolog - PDFSEARCH.IO - Document Search Engine

Prolog
Results: 736

#	Item
531	MetaMap 2012 Machine Output Explained June 30, 2014 Fran¸cois-Michel Lang 1 Introduction Add to Reading List Source URL: mmtx.nlm.nih.gov Language: English - Date: 2014-06-30 10:30:55 Philosophy of language Pain Compiler construction Parsing Prolog Syntax SNOMED CT Programming language theory Mind Software engineering
532	MetaMap 2013 Release Notes August 26, 2013 MetaMap 2013 includes several interesting user-driven enhancements described below. 1 Add to Reading List Source URL: mmtx.nlm.nih.gov Language: English - Date: 2013-09-09 14:39:52 HTML element Pneumonia XML Uniq Computing Markup languages Prolog
533	MetaMap 2014 Release Notes August 10, [removed]Windows XP no Longer Supported Add to Reading List Source URL: mmtx.nlm.nih.gov Language: English - Date: 2014-08-12 15:01:03 Medical emergencies Unified Medical Language System Prolog Myocardial infarction SNOMED CT Health Medicine Aging-associated diseases
534	Under consideration for publication in Theory and Practice of Logic Programming 1 Logic Programming with Satisfiability MICHAEL CODISH Add to Reading List Source URL: www.cs.bgu.ac.il Language: English - Date: 2008-06-25 01:40:23 Boolean algebra Propositional calculus Logic in computer science NP-complete problems Conjunctive normal form Boolean satisfiability problem Prolog Propositional variable Rewriting Theoretical computer science Logic Mathematical logic
535	MetaMap 2014 Release Notes August 10, [removed]Windows XP no Longer Supported Add to Reading List Source URL: metamap.nlm.nih.gov Language: English - Date: 2014-08-12 15:01:03 Medical emergencies Unified Medical Language System Prolog Myocardial infarction SNOMED CT Health Medicine Aging-associated diseases
536	P A R T D Datalog and Recursion Add to Reading List Source URL: webdam.inria.fr Language: English - Date: 2010-02-12 06:45:46 Logic Datalog Deductive database Prolog Recursion SQL Logic programming Lambda calculus Function Computing Mathematics Query languages
537	Kelpie: a Concurrent Logic Programming System for Knowledge Based Applications Hamish Taylor Department of Computer Science Heriot-Watt University Add to Reading List Source URL: www.macs.hw.ac.uk Language: English - Date: 2008-11-07 07:45:17 Prolog Logic programming Actor model Parlog Futures and promises Horn clause Clause Computing Software engineering Computer programming
538	Logic Programming Introduction Temur Kutsia Research Institute for Symbolic Computation Johannes Kepler University of Linz, Austria [removed] Add to Reading List Source URL: www.risc.jku.at Language: English - Date: 2011-10-05 08:12:04 Programming paradigms Constraint programming Prolog Logic programming YAP Declarative programming Software engineering Computer programming Computing
539	Next Generation Logic Programming Systems Gopal Gupta In the last 30 years logic programming (LP), with Prolog as the most representative logic programming language, has emerged as a powerful paradigm for intelligent rea Add to Reading List Source URL: www.utdallas.edu Language: English - Date: 2003-09-24 11:15:53 Declarative programming Constraint programming Reasoning Automated theorem proving Programming paradigms Prolog Reasoning system Logic Constraint logic programming Software engineering Artificial intelligence Logic programming
540	Logic, Programming and Prolog (Supplement) Ulf Nilsson Dept of Computer and Information Science Link¨oping University [removed] Add to Reading List Source URL: ima.udg.edu Language: English - Date: 2007-02-12 09:49:53 Computing Constraint logic programming Prolog Function Finitary relation Mathematical optimization B-Prolog Constraint satisfaction Constraint programming Software engineering Computer programming

UPDATE