Author(s)
Bibliographic Information
Applied logic series
Kluwer, c1996-
- Other Title
-
APLS
Search this Book/Journal
Note
Managing editor: Dov M. Gabbay. Co-editor: Jon Barwise. Editorial assistant: Jane Spurr. --from v. 13 (c1999)
Publisher varies: Springer
-
1
- Hybrid logic and its proof-theory
-
Torben Braüner
Springer c2011 Applied logic series v. 37
Available at 13 libraries
-
2
- Hybrid logic and its proof-theory
-
Torben Braüner
Springer 2010 Applied logic series v. 37
: pbk
Available at 1 libraries
-
3
- Analysis and synthesis of logics : how to cut and paste reasoning systems
-
by Walter Carnielli ... [et al.]
Springer c2010 Applied logic series v. 35
Available at 1 libraries
-
4
- Dynamic worlds : from the frame problem to knowledge management
-
edited by Remo Pareschi and Bertram Fronhöfer
Kluwer Academic c2010 Applied logic series v. 12
: pbk
Available at 1 libraries
-
5
- Proof theory for fuzzy logics
-
by George Metcalfe, Nicola Olivetti, Dov Gabbay
Springer c2009 Applied logic series v. 36
Available at 4 libraries
-
6
- Analysis and synthesis of logics : how to cut and paste reasoning systems
-
by Walter Carnielli ... [et al.]
Springer c2008 Applied logic series v. 35
: e-book
Available at 9 libraries
-
7
- Rigid flexibility : the logic of intelligence
-
by Pei Wang
Springer c2006 Applied logic series v. 34
Available at 3 libraries
-
8
- Reasoning robots : the art and science of programming robotic agents
-
by Michael Thielscher
Springer c2005 Applied logic series v. 33
: HB
Available at 7 libraries
-
9
- Automated model building
-
by Ricardo Caferra, Alexander Leitsch and Nicholas Peltier
Kluwer c2004 Applied logic series 31
Available at 3 libraries
-
10
- The death of argument : fallacies in agent based reasoning
-
by John Woods
Kluwer Academic c2004 Applied logic series v. 32
: HB
Available at 2 libraries
-
11
- Inference on the low level : an investigation into deduction, nonmonotonic reasoning, and the philosophy of cognition
-
by Hannes Leitgeb
Kluwer Academic c2004 Applied logic series v. 30
: HB
Available at 4 libraries
-
12
- A modern perspective on type theory : from its origins until today
-
by Fairouz Kamareddine, Twan Laan and Rob Nederpelt
Kluwer Academic c2004 Applied logic series v. 29
Available at 14 libraries
-
13
- Thirty five years of automating mathematics
-
edited by Fairouz D. Kamareddine
Kluwer Academic c2003 Applied logic series v. 28
Available at 3 libraries
-
14
- Foundations of bayesianism
-
edited by David Corfield and Jon Williamson
Kluwer c2002 Applied logic series v. 24
:pbk
Available at 1 libraries
-
15
- Logical and computational aspects of model-based reasoning
-
edited by Lorenzo Magnani, Nancy J. Nersessian and Claudio Pizzi
Kluwer Academic c2002 Applied logic series v. 25
: [hc] , : pbk
Available at 9 libraries
-
16
- An introduction to mathematical logic and type theory : to truth through proof
-
Peter B. Andrews
Kluwer Academic c2002 2nd ed. Applied logic series v. 27
Available at 20 libraries
-
17
- The semantics and proof theory of the logic of bunched implications
-
by David J. Pym
Kluwer Academic c2002 Applied logic series v. 26
Available at 13 libraries
-
18
- New essays in free logic in honour of Karel Lambert
-
edited by Edgar Morscher and Alexander Hieke
Kluwer Academic c2001 Applied logic series v. 23
Available at 8 libraries
-
19
- Foundations of bayesianism
-
edited by David Corfield and Jon Williamson
Kluwer c2001 Applied logic series v. 24
Available at 19 libraries
-
20
- Frontiers in belief revision
-
edited by Mary-Anne Williams and Hans Rott
Kluwer c2001 Applied logic series v. 22
Available at 9 libraries
