Computational Logic and Human Thinking
Latest Publications

TOTAL DOCUMENTS

28

(FIVE YEARS 0)

H-INDEX

1

(FIVE YEARS 0)

Published By Cambridge University Press

9780511984747

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

The louse and the Mars explorer

Computational Logic and Human Thinking ◽

10.1017/cbo9780511984747.010 ◽

2011 ◽

pp. 92-106

Author(s):

Robert Kowalski

Search

Computational Logic and Human Thinking ◽

10.1017/cbo9780511984747.007 ◽

2011 ◽

pp. 50-59

Author(s):

Robert Kowalski

The syntax of logical form

Computational Logic and Human Thinking ◽

10.1017/cbo9780511984747.022 ◽

2011 ◽

pp. 231-246

Author(s):

Robert Kowalski

Keyword(s):

Logical Form

Maintenance goals as the driving force of life

Computational Logic and Human Thinking ◽

10.1017/cbo9780511984747.011 ◽

2011 ◽

pp. 107-124

Author(s):

Robert Kowalski

Keyword(s):

Driving Force ◽

Maintenance Goals

Conclusions of the book

Computational Logic and Human Thinking ◽

10.1017/cbo9780511984747.021 ◽

2011 ◽

pp. 227-230

Author(s):

Robert Kowalski

Meta-logic

Computational Logic and Human Thinking ◽

10.1017/cbo9780511984747.020 ◽

2011 ◽

pp. 213-226 ◽

Cited By ~ 1

Author(s):

Robert Kowalski

Logic and objects

Computational Logic and Human Thinking ◽

10.1017/cbo9780511984747.017 ◽

2011 ◽

pp. 179-187

Author(s):

Robert Kowalski

Logic on the Underground

Computational Logic and Human Thinking ◽

10.1017/cbo9780511984747.004 ◽

2011 ◽

pp. 9-23

Author(s):

Robert Kowalski

The logic of abductive logic programming

Computational Logic and Human Thinking ◽

10.1017/cbo9780511984747.027 ◽

2011 ◽

pp. 280-295 ◽

Cited By ~ 1

Author(s):

Robert Kowalski

Keyword(s):

Logic Programming ◽

Abductive Logic ◽

Abductive Logic Programming

The resolution rule

Computational Logic and Human Thinking ◽

10.1017/cbo9780511984747.026 ◽

2011 ◽

pp. 269-279

Author(s):

Robert Kowalski

Keyword(s):

Resolution Rule