WorldCat Identities

Kowalski, Robert

Overview
Works: 60 works in 235 publications in 5 languages and 2,713 library holdings
Genres: Conference papers and proceedings  History 
Roles: Author, Editor, Honoree, Dedicatee
Publication Timeline
.
Most widely held works by Robert Kowalski
Logic for problem solving by Robert Kowalski( Book )

44 editions published between 1974 and 2014 in 3 languages and held by 713 WorldCat member libraries worldwide

Representation in clausal form; Top-down and bottom-up clause proof procedures; Horn clause problem-solving; The procedural interpretation of horn clauses; Plan-formation and the frame problem; Global problem-solving strategies; Formalisation of provability
5th Conference on Automated Deduction, Les Arcs, France, July 8-11, 1980 by W Bibel( Book )

22 editions published in 1980 in 3 languages and held by 431 WorldCat member libraries worldwide

Computational logic : logic programming and beyond by Antonis C Kakas( Book )

25 editions published in 2002 in English and held by 371 WorldCat member libraries worldwide

Alan Robinson This set of essays pays tribute to Bob Kowalski on his 60th birthday, an anniversary which gives his friends and colleagues an excuse to celebrate his career as an original thinker, a charismatic communicator, and a forceful intellectual leader. The logic programming community hereby and herein conveys its respect and thanks to him for his pivotal role in creating and fostering the conceptual paradigm which is its raison d'Œtre. The diversity of interests covered here reflects the variety of Bob's concerns. Read on. It is an intellectual feast. Before you begin, permit me to send him a brief personal, but public, message: Bob, how right you were, and how wrong I was. I should explain. When Bob arrived in Edinburgh in 1967 resolution was as yet fairly new, having taken several years to become at all widely known. Research groups to investigate various aspects of resolution sprang up at several institutions, the one organized by Bernard Meltzer at Edinburgh University being among the first. For the half-dozen years that Bob was a leading member of Bernard's group, I was a frequent visitor to it, and I saw a lot of him. We had many discussions about logic, computation, and language
Computational logic and human thinking : how to be artificially intelligent by Robert Kowalski( Book )

15 editions published in 2011 in English and held by 330 WorldCat member libraries worldwide

"The practical benefits of computational logic need not be limited to mathematics and computing. As this book shows, ordinary people in their everyday lives can profit from the recent advances that have been developed for artificial intelligence. The book draws upon related developments in various fields from philosophy to psychology and law. It pays special attention to the integration of logic with decision theory, and the use of logic to improve the clarity and coherence of communication in natural languages such as English. This book is essential reading for teachers and researchers who may be out of touch with the latest developments in computational logic. It will also be useful in any undergraduate course that teaches practical thinking, problem solving or communication skills. Its informal presentation makes the book accessible to readers from any background, but optional, more formal, chapters are also included for those who are more technically oriented"--
CLI book : writing successful command line interfaces with node.js by Robert Kowalski( )

9 editions published between 2017 and 2018 in English and Undetermined and held by 206 WorldCat member libraries worldwide

Learn everything that makes command line clients such as Git and npm so successful, and how to compose the best on your own. This book is your concise step-by-step guide to writing command line clients with Node.js. You'll start by discovering what is needed for a successful command line client and develop a solid foundation for practical skill. Next you will build an application based on learned principles in Node.js. The sometimes-puzzling world of streaming is fully explained with practical examples, as well as unit testing and integration testing. Lastly you'll explore a full range of tips and tricks designed to make the daily life of a software maintainer easier. The Node.js ecosystem provides support for writing command line clients and has a thriving, very active community. With this book as your guide, you'll become a successful creator of your own command line clients. Make an impact in the areas you really care about using The CLI Book
TAPSOFT '87 : proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23-27, 1987 by Hartmut Ehrig( )

7 editions published in 1987 in English and held by 204 WorldCat member libraries worldwide

Logic programming : proceedings of the fifth international conference and symposium by International Conference on Logic Programming( Book )

15 editions published in 1988 in English and held by 177 WorldCat member libraries worldwide

Computational logic: logic programming and beyond : essays in honour of Robert A. Kowalski by Antonis C Kakas( Book )

13 editions published in 2002 in English and held by 38 WorldCat member libraries worldwide

TAPSOFT '87 Proceedings of the International' Joint Conference on Theory and Practice of Software Development Pisa, Italy, March 23-27, 1987 by Hartmut Ehrig( )

1 edition published in 1987 in English and held by 32 WorldCat member libraries worldwide

Computational logic( Book )

2 editions published in 2002 in English and held by 22 WorldCat member libraries worldwide

Logic programming : proceedings of the fifth international conference and symposium by International Conference on Logic Programming( Book )

7 editions published in 1988 in English and held by 20 WorldCat member libraries worldwide

The reasoned schemer by Daniel P Friedman( Book )

1 edition published in 2018 in English and held by 19 WorldCat member libraries worldwide

"The goal of The Reasoned Schemer is to help the functional programmer think logically and the logic programmer think functionally. The authors of The Reasoned Schemer believe that logic programming is a natural extension of functional programming, and they demonstrate this by extending the functional language Scheme with logical constructs - thereby combining the benefits of both styles. The extension encapsulates most of the ideas in the logic programming language Prolog." "The pedagogical method of The Reasoned Schemer is a series of questions and answers, which proceed with the characteristic humor that marked The Little Schemer and The Seasoned Schemer. Familiarity with a functional language or with the first eight chapters of The Little Schemer is assumed."
Tapsoft '87. Proceedings of the International Joint Conference on Theory by Hartmut Ehrig( )

5 editions published in 2007 in English and held by 11 WorldCat member libraries worldwide

Computational logic : logic programming and beyond; essays in honour of Robert A. Kowalski( )

1 edition published in 2002 in English and held by 8 WorldCat member libraries worldwide

Computational logic : logic programming and beyond; essays in honour of Robert A. Kowalski( )

1 edition published in 2002 in English and held by 8 WorldCat member libraries worldwide

Paradox in the contrivance of human development by Robert Kowalski( Book )

3 editions published in 2014 in English and held by 8 WorldCat member libraries worldwide

Douglas XSB2D-1 & BTD-1 destroyer by Robert Kowalski( Book )

2 editions published in 1995 in English and held by 7 WorldCat member libraries worldwide

Detailbeskrivelse af US Naval Fighters Douglas XSB2D-1 og BTD-1, Destroyer
Prolog as logic programming language by Robert Kowalski( Book )

3 editions published in 1981 in English and held by 6 WorldCat member libraries worldwide

Douglas XTB2D-1 Skypirate by Robert Kowalski( Book )

2 editions published in 1996 in English and held by 6 WorldCat member libraries worldwide

Beskrivelse af det amerikanske eksperimentel flåde-jagerfly Douglas XTB2D-1 Skypirate
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.65 (from 0.52 for CLI book : ... to 0.94 for Computatio ...)

WorldCat IdentitiesRelated Identities
Computational logic: logic programming and beyond : essays in honour of Robert A. Kowalski Computational logic Computational logic : logic programming and beyond; essays in honour of Robert A. Kowalski
Covers
Computational logic : logic programming and beyondComputational logic and human thinking : how to be artificially intelligentTAPSOFT '87 : proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23-27, 1987Computational logic: logic programming and beyond : essays in honour of Robert A. KowalskiComputational logicTAPSOFT '87. Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23-27 1987 Volume 2: Advanced Seminar on Foundations of Innovative Software Development II and CoTapsoft '87. Proceedings of the International Joint Conference on TheoryComputational logic : logic programming and beyond; essays in honour of Robert A. Kowalski
Alternative Names
Kowal.

Kowalski, Bob 1941-

Kowalski, R.

Kowalski, R. 1941-

Kowalski, R. A

Kowalski, R. A. 1941-

Kowalski, Robert

Kowalski, Robert A.

Kowalski, Robert A. 1941-

Kowalski, Robert Kowal.

Robert Kowalski americký počítačový vědec

Robert Kowalski Brits wiskundige

Robert Kowalski informaticien britannique

Robert Kowalski informático teórico del Reino Unido

Ковальски, Р

Роберт Ковальський

Роберт Энтони Ковальский

Робърт Ковалски

روبرت کوالسکی ریاضی‌دان، فیلسوف، مهندس، و دانشمند علوم کامپیوتر بریتانیایی

コワルスキ, R

ロバート・コワルスキー

罗伯特·科瓦尔斯基

Languages