Maarten van Emden

Maarten van Emden
Van Emden in Victoria, British Columbia, in 2008
Born
Maarten Herman van Emden

(1937-12-31)December 31, 1937
Velp, Netherlands
DiedJanuary 4, 2023(2023-01-04) (aged 85)
Victoria, British Columbia, Canada
Citizenship
  • Netherlands
  • Canada
Alma materUniversity of Amsterdam
Known forLogic programming
Prolog
Artificial intelligence
Scientific career
FieldsComputer science
Logic
InstitutionsUniversity of Victoria
University of Waterloo
Thesis An analysis of complexity  (1971)
Doctoral advisorAdriaan van Wijngaarden

Maarten Herman van Emden (December 31, 1937 – January 4, 2023) was a Dutch-Canadian mathematician and computer scientist whose research in the foundations of logic programming and constraint logic programming was highly influential.

Early years

Van Emden was born in Velp, the Netherlands, and his early childhood was spent mostly in the Dutch East Indies. He did his national military service in 1959–1960, serving as pilot and commissioned officer. He attended national flight training school and worked for KLM as a pilot from 1960 to 1963.[1]

Education

Van Emden completed an MSc from the Delft University of Technology in 1966 and a PhD in computer science from the University of Amsterdam in 1971. His dissertation, titled “An Analysis of Complexity" was in Information theory and Data analysis. His thesis supervisor was Adriaan van Wijngaarden, who also supervised another notable Dutch computer scientist Edsger W. Dijkstra.[2]

Career

Van Emden spent 1971 to 1972 as a postdoctoral fellow at the IBM Thomas J. Watson Research Center and then joined the Machine Intelligence group at the University of Edinburgh as a research fellow under Donald Michie. In 1975, he immigrated to Canada to join the faculty at the University of Waterloo. He moved to the University of Victoria in 1987. His visiting fellow positions include University of Edinburgh in 1980, Imperial College (UK) in 1982–1983, and NWO (Netherlands) in 2000–2001.[citation needed]

In collaboration with Robert Kowalski, van Emden developed the fixpoint semantics of Horn clauses, which underpin the logical semantics of logic programming.[3] He further researched on software verification and correctness, and constraint satisfaction, along with interval arithmetic and interval propagation .[4] He wrote an advice-taking Prolog program for certain chess endgames.[5]

Between 2008 and 2019 van Emden wrote a collection of essays on the practice of programming and the history and philosophy of computing on a blog entitled A Programmer's Place.[6]

References

  1. ^ "Maarten Van Emden obituary (December 31, 1937 – January 04, 2023) – Victoria, BC – the Times Colonist". Legacy.com.
  2. ^ "Maarten van Emden - Chessprogramming wiki".
  3. ^ van Emden, M. and Kowalski, R., "The Semantics of Predicate Logic as a Programming Language", in Journal of the ACM, Vol. 23, No. 4, 1976, pp. 733–742.
  4. ^ Hickey, T.; Ju, Q.; van Emden, M.H. (2001). "Interval arithmetic: From principles to implementation". Journal of the ACM. 48 (5): 1038–1068. CiteSeerX 10.1.1.43.8001. doi:10.1145/502102.502106. S2CID 15105694.
  5. ^ Maarten van Emden (1982). Chess End-game Advice: a Case Study in Computer Utilisation of Knowledge. Machine Intelligence 10
  6. ^ https://vanemden.wordpress.com/

Read other articles:

Hip

Anatomical region between the torso and the legs, holding the buttocks and genital region For the cultural description of hip, see Buttocks. For other uses, see Hip (disambiguation). HipBones of the hip regionRight hip of a female humanDetailsIdentifiersLatincoxaGreekισχίοMeSHD006615TA98A01.2.08.005TA2316Anatomical terminology[edit on Wikidata] In vertebrate anatomy, the hip, or coxa[1](pl.: coxae) in medical terminology, refers to either an anatomical region or a joint on th...

 

Gender pay gap in the United States

Overview of the gender pay gap in the United States of America For broader coverage of this topic, see Gender pay gap. This article is part of a series onIncome in theUnited States of America Topics Household Personal Affluence Social class Income inequality gender pay gap racial pay gap Lists by income States (by inequality) Counties (highest / lowest) Locations (lowest) Metropolitan statistical areas Urban areas ZIP Code Tabulation Areas Ethnic groups  United States portalvte ...

 

Tivat Airport

Airport in Mrčevac, MontenegroTivat AirportAerodrom TivatАеродром ТиватIATA: TIVICAO: LYTVSummaryAirport typePublicOperatorAirports of MontenegroServesTivatLocationMrčevac, MontenegroElevation AMSL20 ft / 6 mCoordinates42°24′17″N 18°43′24″E / 42.40472°N 18.72333°E / 42.40472; 18.72333Websitemontenegroairports.comMapTIVLocation of airport in MontenegroRunways Direction Length Surface ft m 14/32 8,202 2,500 Asphalt Statistics (20...

United Nations Supervision Mission in Syria

United Nations peacekeeping mission in Syria United Nations Supervision Mission in SyriaAbbreviationUNSMISFormation21 April 2012HeadRobert Mood until dateBabacar GayeParent organizationUnited Nations Security Council The United Nations Supervision Mission in Syria (UNSMIS) was a United Nations peacekeeping mission in Syria, set up in 2012 as a result of United Nations Security Council Resolution 2043 in response to the Syrian Civil War.[1] It was commanded by Norwegian Major General R...

 

Final Fantasy IV: The After Years

2008 video gameFinal Fantasy IV: The After YearsGame logo designed by Yoshitaka AmanoDeveloper(s)Matrix SoftwarePublisher(s)Square EnixDirector(s)Toshio AkiyamaProducer(s)Takashi TokitaDesigner(s)Takashi TokitaArtist(s)Akira OguroWriter(s)Takashi TokitaIchiro TezukaComposer(s)Junya NakanoSeriesFinal FantasyPlatform(s)Mobile phone, Wii, PlayStation Portable, iOS, Android, Microsoft WindowsRelease 2008 OriginalFOMA 903i / 703iJP: February 18, 2008– December 24, 2008au Win BrewJP: May 15, 2008...

 

Internazionali Femminili di Palermo 2013

Internazionali Femminili di Palermo 2013 Sport Tennis Data 6 luglio – 14 luglio Edizione 26a Superficie Terra rossa Campioni Singolare Roberta Vinci Doppio Kristina Mladenovic / Katarzyna Piter 2012 2019 Gli Internazionali Femminili di Palermo 2013 (conosciuti anche come Snai Open) sono stati un torneo femminile di tennis giocato sulla terra rossa. È stata la 26ª edizione degli Internazionali Femminili di Palermo, che fa parte della categoria International nell'ambito del WTA Tour 2013. ...

Engalabi

Cet article est une ébauche concernant un instrument de musique et l’Ouganda. Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants. Homme portant un engalabi (Ouganda) L'engalabi est un instrument de percussion membranophone utilisé en Afrique centrale, notamment en Ouganda[1]. C'est un long tambour cylindrique muni d'une seule peau clouée sur le sommet par des chevilles en bois. Il est porté à l'épaule à l'a...

 

2019 Slovak presidential election

2019 Slovak presidential election ← 2014 16 March 2019 (first round)30 March 2019 (second round) 2024 → Turnout48.74% (first round) 5.35pp41.80% (second round) 8.67pp   Nominee Zuzana Čaputová Maroš Šefčovič Party PS Independent[a] Popular vote 1,056,582 752,403 Percentage 58.41% 41.59% First round results by district Second round results by district President before election Andrej Kiska Independent Elected President Zuzana Čaputová PS Politic...

 

B-tree

A self-balancing, tree-based data structure, that allows read/write access in logarithmic time Not to be confused with Binary tree or B+ tree. B-treeTypeTree (data structure)Invented1970[1]Invented byRudolf Bayer, Edward M. McCreightTime complexity in big O notationOperation Average Worst caseSearch O(log n) O(log n)Insert O(log n) O(log n)Delete O(log n) O(log n)Space complexitySpace O(n) O(n) In computer science, a B-tree is a self-balancing tree data structure that maintains sorted...

Justin R. Walker

For other people named Justin Walker, see Justin Walker (disambiguation). American federal judge (born 1982) Justin R. WalkerJudge of the United States Court of Appeals for the District of Columbia CircuitIncumbentAssumed office September 2, 2020Appointed byDonald TrumpPreceded byThomas B. GriffithJudge of the United States District Court for the Western District of KentuckyIn officeOctober 25, 2019 – September 2, 2020Appointed byDonald TrumpPreceded byJoseph H. McKinley Jr.Suc...

 

Six-Pack of Love

1992 studio album by Peter CaseSix-Pack of LoveStudio album by Peter CaseReleased1992GenreAlternative rock, alternative country, folk rockLength42:45LabelGeffen[1]ProducerMitchell Froom[2]Peter CasePeter Case chronology The Man with the Blue Post-Modern Fragmented Neo-Traditionalist Guitar(1989) Six-Pack of Love(1992) Sings Like Hell(1993) Six-Pack of Love is an album by American singer-songwriter Peter Case, released in 1992.[3] The song Dream About You reach...

 

Konrad I dari Jerman

Conrad ISegel KonradRaja Francia TimurBerkuasa10 November 911 – 23 Desember 918PendahuluLouis the ChildPenerusHenry the FowlerAdipati FranconiaBerkuasa27 Februari 906 – 23 Desember 918PendahuluConrad the ElderPenerusEberhard dari FranconiaInformasi pribadiKelahiranc. 881Kematian23 Desember 918Puri WeilburgPemakamanKatedral FuldaWangsaConradinesAyahConrad, Adipati ThuringiaIbuGlismutPasanganCunigunde dari SwabiaAgamaKatolik Roma Konrad I (bahasa Jerman: Konrad; s. 881 – 23 Desember 9...

Nigel Green

English actor (1924–1972) Nigel GreenBornNigel McGown Green(1924-10-15)15 October 1924Pretoria, South AfricaDied15 May 1972(1972-05-15) (aged 47)Brighton, Sussex, EnglandYears active1952–1972Spouse(s)Patricia Marmont (m. 1952; div.?)Pamela Gordon (?–1972; his death) (1 child)Children1 Nigel McGown Green (15 October 1924 – 15 May 1972) was an English character actor. Because of his strapping build, commanding height (6 ft 4 in or 1.93 m) and regime...

 

Heimdallargaldr

Heimdallr et ses neuf mères (1908) par W. G. Collingwood, où les neuf mère d'Heimdallr sont peintes comme des vagues Heimdallargaldr, aussi écrit Heimdalargaldr (vieux norrois « galdr d'Heimdallr »), est un poème en vieux norrois sur le dieu Heimdallr de la mythologie nordique. Le poème est mentionné dans deux livres de l'Edda de Snorri datant du XIIIe siècle (Gylfaginning et Skáldskaparmál) mais à part un fragment unique, deux lignes qui apparaissent dans le Gylfa...

 

Old Los Angeles

1948 film by Joseph Kane Old Los AngelesTheatrical release posterDirected byJoseph KaneScreenplay byGerald Drayson AdamsClements RipleyStory byClements RipleyProduced byJoseph KaneStarringWild Bill ElliottJohn CarrollCatherine McLeodJoseph SchildkrautAndy DevineEstelita RodriguezCinematographyWilliam BradfordEdited byRichard L. Van EngerMusic byErnest GoldProductioncompanyRepublic PicturesDistributed byRepublic PicturesRelease date April 25, 1948 (1948-04-25) (United States...

Uri Gilbert

American politician Uri Gilbert (1809–1888) Uri Gilbert (July 10, 1809–June 17, 1888) was an American carriage maker from Troy, New York, making both passenger and freight cars.[1] He was apprenticed at the age of 14 to learn the carriage-building trade. At the end of his apprenticeship he became partner with Oramus Eaton of the Eaton & Gilbert Company. He kept pace with technological advancements and expanded the business by the time Eaton retired and Gilbert establis...

 

Protestant theologies

Doctrines held by various Protestant traditions Part of a series onProtestantism Outline Concepts Anti-Protestantism Bible Criticism Culture Demographics Ecclesiology Liturgy Relations with Catholics Theologies Five Solas History Proto-Protestantism Bohemian Reformation Reformation Magisterial Radical Counter Martin Luther Ninety-five Theses Augsburg Confession Huldrych Zwingli John Calvin Arminianism Crypto-Protestantism Nonconformists Dissenters Puritans John Wesley Pietism Great Awakenings...

 

Praetorian prefecture of Illyricum

Administrative division of the Late Roman Empire (347 – 7th century) This article is about the Roman prefecture. For the Roman province, see Illyricum (Roman province). For other uses, see Illyricum. Praetorian prefecture of IllyricumPraefectura praetorio per IllyricumἘπαρχότης ἸλλυρικοῦPraet. prefecture of the East Roman Empire347–630'sThe praetorian prefecture of Illyricum (375–379)CapitalSirmium, later ThessalonicaHistorical eraLate antiquity• Established ...

Mao (singer-songwriter)

Italian singer-songwriter, composer, multi-instrumentalist, radio and television host and actor MaoBackground informationBirth nameMauro GurlinoBorn (1971-04-16) 16 April 1971 (age 53)Turin, ItalyGenres alternative rock pop rock Occupations singer-songwriter composer multi-instrumentalist radio and television host actor Instruments vocals guitar bass piano keyboard programming Years active1987–presentLabels Dracma Records Virgin Records Sony Music Mescal Incipit Records CortoCorto Memb...

 

Gottolengo

Gottolengocomune Gottolengo – Veduta LocalizzazioneStato Italia Regione Lombardia Provincia Brescia AmministrazioneSindacoDaniele Dancelli (lista civica) dal 13-6-2022 TerritorioCoordinate45°17′34.08″N 10°16′24.24″E45°17′34.08″N, 10°16′24.24″E (Gottolengo) Altitudine53 m s.l.m. Superficie29,28 km² Abitanti5 016[1] (30-11-2023) Densità171,31 ab./km² FrazioniSolaro Comuni confinantiGambara, Ghedi, Isorella, Leno, Pa...