Prolog Die Suche nach Google »Schon mal von Google gehört?« Es war ein glühend heißer Tag im Juli 2007 in der ländlichen indischen Dorfgemeinde Ragihalli, die etwa fünfzig Kilometer außerhalb

Source URL: www.mitp.de

Inhalt Prolog: Die Suche nach Google . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

Source URL: www.mitp.de

Kernels on Prolog Ground Terms Andrea Passerini and Paolo Frasconi Dipartimento di Sistemi e Informatica, Universit`a degli Studi di Firenze http://www.dsi.unifi.it/neural/ Abstract We describe a family of kernels over u

Source URL: www.ijcai.org

• Hilbert space
• Software
• Category theory
• Kernel
• Prolog
• Positive-definite kernel
• Linux kernel
• Integral transform
• Mathematics
• Algebra
• Operator theory

The Ecce and Logen Partial Evaluators and their Web Interfaces Michael Leuschel ∗ Dan Elphick Mauricio Varea

Source URL: eprints.soton.ac.uk

• Prolog
• Programming paradigms
• Logic programming
• Append
• Definite clause grammar
• Deductive database
• Partial evaluation
• Prova
• Annotation
• Software engineering
• Computing
• Computer programming

This paper was originally published as: A. Sloman, ‘The Evolution of Poplog and Pop-11 at Sussex University’ in POP-11 Comes of Age: The Advancement of an AI Programming Language, Ed J. A.D.W. Anderson, Ellis Horwood

Source URL: www.cs.bham.ac.uk

• Functional languages
• Poplog
• POP-11
• POP-2
• Common Lisp
• Lisp
• Incremental compiler
• Prolog
• Planner
• Computing
• Software engineering
• Computer programming

Structure Learning via Parameter Learning William Yang Wang Kathryn Mazaitis William W. Cohen

Source URL: www.cs.cmu.edu

• Reasoning
• Quantification
• Automated theorem proving
• Predicate logic
• Logic programming
• Prolog
• Resolution
• Datalog
• First-order logic
• Logic
• Mathematics
• Mathematical logic

From: AAAI-83 Proceedings. Copyright ©1983, AAAI (www.aaai.org). All rights reserved. INTELLIGENT CONTROL USING INTEGRITY CONSTRAINTS Jack Minker

Source URL: www.aaai.org

• Computing
• Programming paradigms
• Operations research
• Logic programming
• Prolog
• Mathematical optimization
• Backtracking
• Constraint logic programming
• Constraint satisfaction
• Constraint programming
• Software engineering
• Computer programming

REDUCING EMORY TRAFFIC IN A JOURNAL OF INFORMATION SCIENCE M AND

Source URL: www.iis.sinica.edu.tw

• Central processing unit
• Subroutines
• Prolog
• Register window
• Call stack
• Pointer
• Stack
• Processor register
• C
• Computing
• Software engineering
• Computer programming

K¨ unstliche Intelligenz manuscript No. (will be inserted by the editor) What Language Do You Use To Create Your AI Programs and Why?

Source URL: ai.cs.unibas.ch

• Constraint programming
• Programming paradigms
• Lisp programming language
• Prolog
• Functional languages
• Lisp
• Logic programming
• Planner
• Oz
• Software engineering
• Computing
• Computer programming

Unified Communications Trendreport 2009 Eine Expertenumfrage von Plantronics Inhalt Prolog: Unified Communications in der Marktforschung

Source URL: plantronics.newsroom.eu