A Portrait of a Scientist as a Computational Logician | SpringerLink
Skip to main content
Springer Nature Link
Log in

A Portrait of a Scientist as a Computational Logician

  • Chapter
  • First Online:
Computational Logic: Logic Programming and Beyond

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 2407))

  • 711 Accesses

Abstract

Throughout his prolific scientific career, Robert (Bob) Kowalski was motivated by his desire to reshape logic from an abstract mathematical discipline into a working tool for problem solving. This led him towards a wide exploration of logic in computer science, artificial intelligence, cognitive science, and law.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

Author information

Authors and Affiliations

  1. Department of Computer Science, K.U.Leuven, Belgium

    Maurice Bruynooghe

  2. Departamento de Informatica, Universidade Nova de Lisboa, Portugal

    Luís Moniz Pereira

  3. German Research Center for Artificial Intelligence (DFKI), Saarland University, Saarbruecken, Germany

    Jörg H. Siekmann

  4. Department of Computer Science, University of Victoria, Victoria, British Columbia, Canada

    Maarten van Emden

Authors
  1. Maurice Bruynooghe
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Luís Moniz Pereira
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Jörg H. Siekmann
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Maarten van Emden
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computer Science, University of Cyprus, 75 Kallipoleos St., 1678, Nicosia, Cyprus

    Antonis C. Kakas

  2. Department of Computing, Imperial College of Science, Technology and Medicine, 180 Queen’s Gate, London, SW7 2BZ, UK

    Fariba Sadri

Rights and permissions

Reprints and permissions

Copyright information

© 2002 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Bruynooghe, M., Pereira, L.M., Siekmann, J.H., van Emden, M. (2002). A Portrait of a Scientist as a Computational Logician. In: Kakas, A.C., Sadri, F. (eds) Computational Logic: Logic Programming and Beyond. Lecture Notes in Computer Science(), vol 2407. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45628-7_1

Download citation

  • DOI: https://doi.org/10.1007/3-540-45628-7_1

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-43959-2

  • Online ISBN: 978-3-540-45628-5

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics