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
-
21
- Formal aspects of context
-
edited by Pierre Bonzon, Marcos Cavalcanti and Rolf Nossum
Kluwer c2000 Applied logic series v. 20
Available at 16 libraries
-
22
- Goal-directed proof theory
-
by Dov M. Gabbay and Nicola Olivetti
Kluwer c2000 Applied logic series v. 21
Available at 10 libraries
-
23
- Intellectics and computational logic : papers in honor of Wolfgang Bibel
-
edited by Steffen Hölldobler
Kluwer Academic c2000 Applied logic series v. 19
Available at 9 libraries
-
24
- Labelled deduction
-
edited by David Basin ... [et al.]
Kluwer Academic c2000 Applied logic series v. 17
Available at 14 libraries
-
25
- Abduction and induction : essays on their relation and integration
-
edited by Peter A. Flach, Antonis C. Kakas
Kluwer c2000 Applied logic series v. 18
Available at 31 libraries
-
26
- Advances in temporal logic
-
edited by Howard Barringer ... [et al.]
Kluwer c2000 Applied logic series v. 16
Available at 15 libraries
-
27
- Fuzzy sets, logics and reasoning about knowledge
-
edited by Didier Dubois, Henri Prade and Erich Peter Klement
Kluwer Academic c1999 Applied logic series v. 15
Available at 19 libraries
-
28
- A textbook of belief dynamics : theory change and database updating
-
by Sven Ove Hansson
Kluwer Academic Publishers c1999 Student edition Applied logic series v. 11
: pbk.
Available at 9 libraries
-
29
- What is negation?
-
edited by Dov M. Gabbay and Heinrich Wansing
Kluwer Academic Publishers c1999 Applied logic series v. 13
Available at 31 libraries
-
30
- Foundations of rational agency
-
edited by Michael Wooldridge and Anand Rao
Kluwer Academic c1999 Applied logic series v. 14
Available at 17 libraries
-
31
- Dynamic worlds : from the frame problems to knowledge management
-
edited by Remo Pareschi and Bertram Fronhöfer
Kluwer Academic c1999 Applied logic series v. 12
Available at 16 libraries
-
32
- A textbook of belief dynamics : theory change and database updating
-
Sven Ove Hansson
Kluwer Academic c1999 Applied logic series v. 11
Available at 6 libraries
-
33
- Automated deduction : a basis for applications
-
edited by Wolfgang Bibel and Peter H. Schmitt
Kluwer Academic c1998 Applied logic series v.8-10
set , v.1 , v.2 , v.3
Available at 21 libraries
-
34
- Advances in intensional logic
-
edited by Maarten de Rijke
Kluwer Academic Publishers c1997 Applied logic series v. 7
Available at 22 libraries
-
35
- Proof theory and automated deduction
-
by Jean Goubault-Larrecq and Ian Mackie
Kluwer Academic c1997 Applied logic series v. 6
Available at 25 libraries
-
36
- Logic, language, and computation
-
edited by Seiki Akama
Kluwer Academic c1997 Applied logic series v. 5
: hc
Available at 18 libraries
-
37
- Multi-dimensional modal logic
-
by Maarten Marx and Yde Venema
Kluwer Academic c1997 Applied logic series v. 4
Available at 20 libraries
-
38
- Proof theory of modal logic
-
edited by Heinrich Wansing
Springer Science+Business Media c1996 Applied logic series v. 2
Available at 1 libraries
-
39
- Frontiers of combining systems : first international workshop, Munich, March 1996
-
edited by Franz Baader and Klaus U. Schulz
Kluwer Academic Publishers c1996 Applied logic series v. 3
Available at 6 libraries
-
40
- Fallacies arising from ambiguity
-
by Douglas Walton
Kluwer Academic c1996 Applied logic series v. 1
Available at 11 libraries