Handbook of Philosophical Logic
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

(FIVE YEARS 0)

1402030916

Handbook of Philosophical Logic ◽

10.1007/1-4020-3092-4_3 ◽

2005 ◽

pp. 175-278 ◽

Cited By ~ 7

Author(s):

David Makinson

Handbook of Philosophical Logic ◽

10.1007/1-4020-3092-4_1 ◽

2005 ◽

pp. 1-85 ◽

Cited By ~ 2

Author(s):

Gerhard Brewka ◽

Jürgen Dix

Keyword(s):

Knowledge Representation ◽

Logic Programs

Handbook of Philosophical Logic ◽

10.1007/1-4020-3092-4_2 ◽

2005 ◽

pp. 87-173

Author(s):

Alexander Leitsch ◽

Christian Fermüller

Keyword(s):

Resolution Principle