Intellectics and Computational Logic : Papers in Honor of Wolfgang Bibel /
`Intellectics' seeks to understand the functions, structure and operation of the human intellect and to test artificial systems to see the extent to which they can substitute or complement such functions. The word itself was introduced in the early 1980s by Wolfgang Bibel to describe the united...
| Main Author: | Hölldobler, Steffen |
|---|---|
| Corporate Author: | SpringerLink (Online service) |
| Format: | eBook |
| Language: | English |
| Published: |
Dordrecht :
Springer Netherlands,
2000.
|
| Series: | Applied logic series ;
19. |
| Subjects: | |
| Online Access: | Connect to the full text of this electronic book |
Similar Items
Displaying Modal Logic /
by: Wansing, H. (Heinrich)
Published: (1998)
by: Wansing, H. (Heinrich)
Published: (1998)
The Logic of Mind /
by: Nelson, R. J.
Published: (1989)
by: Nelson, R. J.
Published: (1989)
Philosophical Logic and Artificial Intelligence /
by: Thomason, Richmond H.
Published: (1989)
by: Thomason, Richmond H.
Published: (1989)
Fuzzy Sets, Logics and Reasoning about Knowledge /
by: Dubois, Didier
Published: (1999)
by: Dubois, Didier
Published: (1999)
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)
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)
Defeasible Deontic Logic /
by: Nute, Donald
Published: (1997)
by: Nute, Donald
Published: (1997)
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)
Sheaves, Games, and Model Completions : a Categorial Approach to Nonclassical Propositional Logics /
by: Ghilardi, Silvio
Published: (2002)
by: Ghilardi, Silvio
Published: (2002)
Formal Aspects of Context /
by: Bonzon, Pierre
Published: (2000)
by: Bonzon, Pierre
Published: (2000)
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)
Agent-Based Defeasible Control in Dynamic Environments /
by: Meyer, John-Jules Ch
Published: (2002)
by: Meyer, John-Jules Ch
Published: (2002)
Reasoning with Actual and Potential Contradictions /
by: Besnard, Philippe
Published: (1998)
by: Besnard, Philippe
Published: (1998)
Foundations of Rational Agency /
by: Wooldridge, Michael
Published: (1999)
by: Wooldridge, Michael
Published: (1999)
Algebraic Foundations of Many-Valued Reasoning /
by: Cignoli, Roberto L. O.
Published: (2000)
by: Cignoli, Roberto L. O.
Published: (2000)
Abductive Reasoning and Learning /
by: Gabbay, Dov M.
Published: (2000)
by: Gabbay, Dov M.
Published: (2000)
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)
Logic, Meaning and Computation : Essays in Memory of Alonzo Church /
by: Anderson, C. Anthony
Published: (2001)
by: Anderson, C. Anthony
Published: (2001)
Abduction and Induction : Essays on their Relation and Integration /
by: Flach, Peter A.
Published: (2000)
by: Flach, Peter A.
Published: (2000)
Dynamic Worlds : From the Frame Problem to Knowledge Management /
by: Pareschi, Remo
Published: (1999)
by: Pareschi, Remo
Published: (1999)
Automated Deduction - A Basis for Applications : Volume III Applications /
by: Bibel, Wolfgang
Published: (1998)
by: Bibel, Wolfgang
Published: (1998)
Automated Deduction - A Basis for Applications : Volume II: Systems and Implementation Techniques /
by: Bibel, Wolfgang
Published: (1998)
by: Bibel, Wolfgang
Published: (1998)
Quantifiers: Logics, Models and Computation : Volume One: Surveys /
by: Krynicki, Michał
Published: (1995)
by: Krynicki, Michał
Published: (1995)
Quantifiers: Logics, Models and Computation : Volume Two: Contributions /
by: Krynicki, Michał
Published: (1995)
by: Krynicki, Michał
Published: (1995)
The Logic of Conditionals : An Application of Probability to Deductive Logic /
by: Adams, Ernest (Ernest W.)
Published: (1975)
by: Adams, Ernest (Ernest W.)
Published: (1975)
The Logic of Epistemology and the Epistemology of Logic : Selected Essays /
by: Hintikka, Jaakko
Published: (1988)
by: Hintikka, Jaakko
Published: (1988)
Logic and Foundations of Mathematics : Selected Contributed Papers of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995 /
by: Cantini, Andrea
Published: (1999)
by: Cantini, Andrea
Published: (1999)
Initiatives in Logic /
by: Srzednicki, Jan T. J.
Published: (1987)
by: Srzednicki, Jan T. J.
Published: (1987)
Formal Logic /
by: Lorenzen, Paul, 1915-1994
Published: (1965)
by: Lorenzen, Paul, 1915-1994
Published: (1965)
Tense Logic /
by: McArthur, Robert P.
Published: (1976)
by: McArthur, Robert P.
Published: (1976)
Logical Writings /
by: Herbrand, Jacques
Published: (1971)
by: Herbrand, Jacques
Published: (1971)
Pragmatic Logic /
by: Ajdukiewicz, Kazimierz
Published: (1974)
by: Ajdukiewicz, Kazimierz
Published: (1974)
Philosophical Logic /
by: Davis, J. W.
Published: (1969)
by: Davis, J. W.
Published: (1969)
The Logics of Preference : a Study of Prohairetic Logics in Twentieth Century Philosophy /
by: Moutafakis, Nicholas J.
Published: (1987)
by: Moutafakis, Nicholas J.
Published: (1987)
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)