MPG.eBooks - Search Results

Cover Image

1

Analysis and Synthesis of Logics : How to Cut and Paste Reasoning Systems

by Carnielli, Walter, Coniglio, Marcelo, Gabbay, Dov M., Gouveia, Paula
Published 2008

Springer Netherlands

Cover Image

2

Reactive Kripke Semantics

by Gabbay, Dov M.
Published 2013

Springer Berlin Heidelberg

Cover Image

3

Neural-Symbolic Learning Systems : Foundations and Applications

by d'Avila Garcez, Artur S., Broda, Krysia B., Gabbay, Dov M.
Published 2002

Springer London

Cover Image

4

Logic, Epistemology, and the Unity of Science

Published 2004

Springer Netherlands

Cover Image

5

The many valued and non-monotonic turn in logic

by Gabbay, Dov M.
Published 2007

North Holland

Cover Image

6

Greek, Indian, and Arabic logic

by Gabbay, Dov M.
Published 2004

Elsevier

Cover Image

7

The rise of modern logic : from Leibniz to Frege

by Gabbay, Dov M.
Published 2004

Elsevier

Cover Image

8

Logic and the modalities in the twentieth century

by Gabbay, Dov M.
Published 2006

Elsevier North Holland

Cover Image

9

Handbook of the history of logic, Volume 2: Mediaeval and renaissance logic

by Gabbay, Dov M.
Published 2008

North Holland

Cover Image

10

Temporal Logic : First International Conference, ICTL '94, Bonn, Germany, July 11 - 14, 1994. Proceedings

Published 1994

Springer Berlin Heidelberg

Cover Image

11

Practical Reasoning : International Conference on Formal and Applied Practical Reasoning, FAPR'96, Bonn, Germany, June (3-7), 1996. Proceedings.

Published 1996

Springer Berlin Heidelberg

Cover Image

12

Handbook of Philosophical Logic

Published 2001

Springer Netherlands

Cover Image

13

What is Negation?

Published 1999

Springer Netherlands

Cover Image

14

Goal-Directed Proof Theory

by Gabbay, Dov M., Olivetti, N.
Published 2000

Springer Netherlands

Cover Image

15

Abductive Reasoning and Learning

Published 2000

Springer Netherlands

Cover Image

16

Quantified Representation of Uncertainty and Imprecision

Published 1998

Springer Netherlands

Cover Image

17

Handbook of Defeasible Reasoning and Uncertainty Management Systems : Algorithms for Uncertainty and Defeasible Reasoning

Published 2000

Springer Netherlands

Cover Image

18

Reasoning with Actual and Potential Contradictions

Published 1998

Springer Netherlands

Cover Image

19

Handbook of Tableau Methods

Published 1999

Springer Netherlands

Cover Image

20

Handbook of Philosophical Logic : Volume 10

Published 2003

Springer Netherlands

1
2
3