Maarten+van+Emden

a Dutch mathematician, electrical engineer, and computer scientist with a Ph.D. in [|Information theory] and [|Data analysis] from [|University of Amsterdam]. He held research positions at the IBM [|T.J. Watson Laboratory] and the University of Edinburgh, before he went to Canada to teach and research in programming at University of Waterloo and [|University of Victoria]. Maarten van Emden is proponent of the [|declarative] [|logical] programming language Prolog, and worked with Donald Michie on various AI-issues. He wrote an [|Advice-taking] Prolog program for certain chess endgames. Along with Robert Kowalski, Van Emden developed the //fixpoint semantics// of [|Horn clauses]. || toc =Quotes=
 * Home * People * Maarten van Emden**
 * [[image:MaartenvanEmden.jpeg width="171" height="232"]] ||~  || **Maarten H. van Emden**,
 * Maarten van Emden ||~   ||^   ||

Maarten van Emden
From //I remember Donald Michie// :

||

Alejandro López-Ortiz
From //An Introduction to Computer Chess// :

=Selected Publications=
 * Maarten van Emden, Robert Kowalski (**1976**). //The Semantics of Predicate Logic as a Programming Language//. JACM Vol. 23, No. 4, [|pdf]
 * Maarten van Emden (**1977**). //Computations and Deductive Information Retrieval//. CS-77-16, University of Waterloo, [|pdf]
 * Maarten van Emden (**1977**). //Relational Equations, Grammars, and Programs//. CS-77-17, University of Waterloo, [|pdf]
 * Maarten van Emden (**1977**). //Programming with resolution logic//. [|Machine Intelligence Vol. 8]
 * Maarten van Emden (**1982**). //Chess End-game Advice: a Case Study in Computer Utilisation of Knowledge//. [|Machine Intelligence 10], pp. 477-498
 * Maarten van Emden (**1987**). //[|First-order Predicate Logic as a Common Basis for Relational and Functional Programming]//. [|LICS 1987]
 * [|William W. Edmonson] and Maarten H. van Emden (**2008**). //[|Interval Semantics for Standard Floating-Point Arithmetic]//. [|pdf]
 * Maarten van Emden (**2009**). //[|Elements of Programming]//. Third edition, published by Andromeda Research Associates, Ltd., ISBN: 978-0-9784993-0-3
 * Maarten van Emden, André Vellino (**2010**). //From [|Chinese Room] to Human Window//. ICGA Journal, Vol. 33, No. 3
 * Maarten van Emden, André Vellino (**2011**). //Understanding the Human Window//.  ICGA Journal, Vol. 34, No. 1, reaction on Jan Eric Larsson //Understanding the Turing Test//, published in the same issue.

=External Links=
 * [|Homepage Maarten van Emden]
 * [|A Programmers Place], Essays by Maarten van Emden
 * [|I remember Edsger Dijkstra (1930 – 2002) « A Programmers Place]
 * [|I remember Donald Michie (1923 – 2007) « A Programmers Place]
 * [|Maarten H. Van Emden] from Microsoft Academic Search

=References= =What links here?= include page="Maarten van Emden" component="backlinks" limit="60"
 * Up one level**