Philosophical Logic and Artificial Intelligence /
| Main Author: | Thomason, Richmond H. |
|---|---|
| Corporate Author: | SpringerLink (Online service) |
| Format: | eBook |
| Language: | English |
| Published: |
Dordrecht :
Springer Netherlands,
1989.
|
| Subjects: | |
| Online Access: | Connect to the full text of this electronic book |
Similar Items
Philosophical Dimensions of Logic and Science : Selected Contributed Papers from the 11th International Congress of Logic, Methodology, and Philosophy of Science, Kraków, 1999 /
by: Rojszczak, Artur
Published: (2003)
by: Rojszczak, Artur
Published: (2003)
Displaying Modal Logic /
by: Wansing, H. (Heinrich)
Published: (1998)
by: Wansing, H. (Heinrich)
Published: (1998)
The Logic of Time : A Model-Theoretic Investigation into the Varieties of Temporal Ontology and Temporal Discourse /
by: Benthem, Johan
Published: (1991)
by: Benthem, Johan
Published: (1991)
The Logic of Time : a Model-Theoretic Investigation into the Varieties of Temporal Ontology and Temporal Discourse /
by: Benthem, J. F. A. K.
Published: (1982)
by: Benthem, J. F. A. K.
Published: (1982)
Intellectics and Computational Logic : Papers in Honor of Wolfgang Bibel /
by: Hölldobler, Steffen
Published: (2000)
by: Hölldobler, Steffen
Published: (2000)
The Logic of Mind /
by: Nelson, R. J.
Published: (1989)
by: Nelson, R. J.
Published: (1989)
Fuzzy Sets, Logics and Reasoning about Knowledge /
by: Dubois, Didier
Published: (1999)
by: Dubois, Didier
Published: (1999)
Defeasible Deontic Logic /
by: Nute, Donald
Published: (1997)
by: Nute, Donald
Published: (1997)
Handbook of Philosophical Logic : Volume III: Alternatives in Classical Logic /
by: Gabbay, D.
Published: (1986)
by: Gabbay, D.
Published: (1986)
Dynamic Worlds : From the Frame Problem to Knowledge Management /
by: Pareschi, Remo
Published: (1999)
by: Pareschi, Remo
Published: (1999)
Philosophical Logic /
by: Davis, J. W.
Published: (1969)
by: Davis, J. W.
Published: (1969)
Sheaves, Games, and Model Completions : a Categorial Approach to Nonclassical Propositional Logics /
by: Ghilardi, Silvio
Published: (2002)
by: Ghilardi, Silvio
Published: (2002)
Argument, Inference and Dialectic : Collected Papers on Informal Logic with an Introduction by Hans V. Hansen /
by: Pinto, Robert C.
Published: (2001)
by: Pinto, Robert C.
Published: (2001)
Algebraic Foundations of Many-Valued Reasoning /
by: Cignoli, Roberto L. O.
Published: (2000)
by: Cignoli, Roberto L. O.
Published: (2000)
Philosophical Logic and Logical Philosophy : Essays in Honour of Vladimir A. Smirnov /
by: Bystrov, P. I.
Published: (1996)
by: Bystrov, P. I.
Published: (1996)
Topics in Philosophical Logic /
by: Rescher, Nicholas
Published: (1968)
by: Rescher, Nicholas
Published: (1968)
Agent-Based Defeasible Control in Dynamic Environments /
by: Meyer, John-Jules Ch
Published: (2002)
by: Meyer, John-Jules Ch
Published: (2002)
Formal Aspects of Context /
by: Bonzon, Pierre
Published: (2000)
by: Bonzon, Pierre
Published: (2000)
Reasoning with Actual and Potential Contradictions /
by: Besnard, Philippe
Published: (1998)
by: Besnard, Philippe
Published: (1998)
Handbook of Defeasible Reasoning and Uncertainty Management Systems : Algorithms for Uncertainty and Defeasible Reasoning /
by: Kohlas, Jürg
Published: (2000)
by: Kohlas, Jürg
Published: (2000)
Handbook of Philosophical Logic : Volume II: Extensions of Classical Logic /
by: Gabbay, D.
Published: (1984)
by: Gabbay, D.
Published: (1984)
Handbook of Philosophical Logic : Volume I: Elements of Classical Logic /
by: Gabbay, D.
Published: (1983)
by: Gabbay, D.
Published: (1983)
Philosophical Problems in Logic : Some Recent Developments /
by: Lambert, Karel
Published: (1970)
by: Lambert, Karel
Published: (1970)
Abduction and Induction : Essays on their Relation and Integration /
by: Flach, Peter A.
Published: (2000)
by: Flach, Peter A.
Published: (2000)
Directions in Relevant Logic /
by: Norman, Jean
Published: (1989)
by: Norman, Jean
Published: (1989)
Handbook of Philosophical Logic : Volume IV: Topics in the Philosophy of Language /
by: Gabbay, D.
Published: (1989)
by: Gabbay, D.
Published: (1989)
Aspects of Philosophical Logic : Some Logical Forays into Central Notions of Linguistics and Philosophy /
by: Mönnich, Uwe
Published: (1981)
by: Mönnich, Uwe
Published: (1981)
Foundations of Rational Agency /
by: Wooldridge, Michael
Published: (1999)
by: Wooldridge, Michael
Published: (1999)
Labelled Non-Classical Logics /
by: Viganò, Luca
Published: (2000)
by: Viganò, Luca
Published: (2000)
The Semantics and Proof Theory of the Logic of Bunched Implications /
by: Pym, David J.
Published: (2002)
by: Pym, David J.
Published: (2002)
Dynamics and Management of Reasoning Processes /
by: Meyer, John-Jules Ch
Published: (2001)
by: Meyer, John-Jules Ch
Published: (2001)
Handbook of Tableau Methods /
by: D'Agostino, Marcello
Published: (1999)
by: D'Agostino, Marcello
Published: (1999)
Belief Change /
by: Dubois, Didier
Published: (1998)
by: Dubois, Didier
Published: (1998)
The Foundational Debate : Complexity and Constructivity in Mathematics and Physics /
by: DePauli-Schimanovich, Werner
Published: (1995)
by: DePauli-Schimanovich, Werner
Published: (1995)
Abductive Reasoning and Learning /
by: Gabbay, Dov M.
Published: (2000)
by: Gabbay, Dov M.
Published: (2000)
New Essays in Free Logic : In Honour of Karel Lambert /
by: Morscher, Edgar
Published: (2001)
by: Morscher, Edgar
Published: (2001)
Philosophical logic and artificial intelligence /
Published: (1989)
Published: (1989)
First-Order Modal Logic /
by: Fitting, Melvin
Published: (1998)
by: Fitting, Melvin
Published: (1998)
Multi-Dimensional Modal Logic /
by: Marx, Maarten
Published: (1997)
by: Marx, Maarten
Published: (1997)
Automated Deduction - A Basis for Applications : Volume III Applications /
by: Bibel, Wolfgang
Published: (1998)
by: Bibel, Wolfgang
Published: (1998)