PDF Document

Source URL: metamap.nlm.nih.gov

• HTML element
• Pneumonia
• XML
• Uniq
• Computing
• Markup languages
• Prolog

PDF Document

Source URL: metamap.nlm.nih.gov

• Philosophy of language
• Pain
• Compiler construction
• Parsing
• Prolog
• Syntax
• SNOMED CT
• Programming language theory
• Mind
• Software engineering

MetaMap Technical Notes Alan R. Aronson February 2, 1996 This document consists of a detailed description of MetaMap; it is based on the MetaMap Conversion Specification, a guide for converting the current Prolog/C impl

Source URL: skr.nlm.nih.gov

• Reflux
• Science
• Chemistry
• Gastroesophageal reflux disease
• Esophageal cancer

Combining Logic Programs and Production Systems

Source URL: www.doc.ic.ac.uk

• Logic programming
• Programming paradigms
• Multi-agent systems
• Reasoning
• Epistemology
• Abductive logic programming
• AgentSpeak
• Prolog
• Robert Kowalski
• Artificial intelligence
• Computing
• Software engineering

ZDRAVSTVENO ZAVAROVANJE Donesek k razpravi o zdravstvenem zavarovanju ob Iniciativi zdravnikov PROLOG Zdravstvo je v takšni krizi, da ob tem marsikomu že zmanjkuje potrpljenja. Predloge o spremembah in novi ureditvi da

Source URL: www.zav-zdruzenje.si

Narozena netopýrem Prolog Budík ukazoval 01:05, probudila jsem se uprostřed noci s vědomím, že musím utéct. Nevěděla jsem proč, ale ten tlak na mých prsou stále rostl a já měla pocit, že pokud se

Source URL: ceson.org

An Approach to Logic Programming of Intelligent Agents for Searching and Recognizing Information on the Internet1 A. A. Morozov and Yu. V. Obukhov Institute of Radio Engineering and Electronics, Russian Academy of Scienc

Source URL: www.cplire.ru

• Logic programming
• Prolog
• Oz
• Logic
• Actor model
• Programming language
• First-order logic
• Indeterminacy in concurrent computation
• Logtalk
• Software engineering
• Computing
• Computer programming

Actor Prolog: an Object-Oriented Language with the Classical Declarative Semantics Alexei A. Morozov Institute of Radio Engineering and Electronics of RAS

Source URL: www.cplire.ru

• Logic programming
• Automated theorem proving
• Programming paradigms
• Prolog
• Computer program
• Unification
• Occurs check
• First-order logic
• Logic
• Software engineering
• Computing
• Computer programming

Functional-Logic Programming - Lecture Notes Harold Boley NRC-IIT Fredericton University of New Brunswick CS 6715 FLP

Source URL: www.cs.unb.ca

• Computer programming
• Procedural programming
• Logic programming
• Prolog
• Declarative programming
• Functional programming
• Object-oriented programming
• Computer program
• Monad
• Programming paradigms
• Software engineering
• Computing

3. TOUR DE RAMSAU & 12. DACHSTEIN VOLKSLANGLAUF[removed]Results Prolog Overall # Bib Name

Source URL: www.austrialoppet.at