熱門搜尋
分類(單選) |
顯示所有篩選
|
---|---|
配送方式(可複選) | |
其他(可複選) |
搜尋結果共 106 筆, 頁數 1 / 2
呈現:
A New Perspective on Nonmonotonic Logics
In this book the authors present new results on interpolation for nonmonotonic logics, abstract (fun... more |
|||
A New Perspective on Nonmonotonic Logics
In this book the authors present new results on interpolation for nonmonotonic logics, abstract (fun... more |
|||
Reactive Kripke Semantics
|
|||
Handbook of Philosophical Logic
This second edition of the Handbook of Philosophical Logic reflects great changes in the landscape o... more |
|||
The Functional Interpretation of Logical Deduction
This comprehensive book provides an adequate framework to establish various calculi of logical infer... more |
|||
Handbook of Philosophical Logic
suchquestionsforcenturies(unrestrictedbythecapabilitiesofanyhard- ware). Theprinciplesgoverningthein... more |
|||
Handbook of Philosophical Logic
It is with great pleasure that we are presenting to the community the second edition of this extraor... more |
|||
Handbook of the History of Logic: Sets and Extensions in the Twentieth Century
Set theory is an autonomous and sophisticated field of mathematics that is extremely successful at a... more |
|||
Logical Tools for Handling Change in Agent-Based Systems
Agents act on the basis of their beliefs and these beliefs change as they interact with other agents... more |
|||
Handbook of Philosophical Logic
such questions for centuries (unrestricted by the capabilities of any hard- ware). The principles go... more |
|||
Handbook of Philosophical Logic
It is with great pleasure that we are presenting to the community the second edition of this extraor... more |
|||
Handbook of Philosophical Logic
It is with great pleasure that we are presenting to the community the second edition of this extraor... more |
|||
Conditionals and Modularity in General Logics
Introduction; Basic Definitions; Towards a Uniform Picture of Conditionals; Monotone and Antitone Se... more |
|||
Inductive Logic
Inductive Logic is number ten in the 11-volume Handbook of the History of Logic. While there are man... more |
|||
Goal-Directed Proof Theory
Goal Directed Proof Theory presents a uniform and coherent methodology for automated deduction in no... more |
|||
Analysis and Synthesis of Logics: How to Cut and Paste Reasoning Systems
Starting with simple examples showing the relevance of cutting and pasting logics, the monograph dev... more |
|||
Neural-Symbolic Cognitive Reasoning
Humans are often extraordinary at performing practical reasoning. There are cases where the human co... more |
|||
Proof Theory for Fuzzy Logics
The Semantic Basis.- Hilbert Systems.- Gentzen Systems.- Syntactic Eliminations.- Fundamental Logics... more |
|||
Approaches to Legal Rationality
Introduction.- Abstracts.- Part I The Specificity of Legal Reasoning.- Part II Legal Reasoning and P... more |
|||
The International Directory of Logicians: Who’s Who in Logic
The International Directory of Logicians is a listing of over 260 of the world s most foremost livin... more |
|||
Logic, Epistemology, and the Unity of Science
The first volume in this new series explores, through extensive co-operation, new ways of achieving ... more |
|||
Neural-Symbolic Cognitive Reasoning
Humans are often extraordinary at performing practical reasoning. There are cases where the human co... more |
|||
Second-Order Quantifier Elimination: Foundations, Computational Aspects and Applications
In recent years there has been an increasing use of logical methods and significant new developments... more |
|||
Handbook of the History of Logic: Mediaeval and Renaissance Logic
Starting at the very beginning with Aristotle’s founding contributions, logic has been graced by sev... more |
|||
Analysis and Synthesis of Logics: How to Cut and Paste Reasoning Systems
Starting with simple examples showing the relevance of cutting and pasting logics, the monograph dev... more |
|||
Handbook of the History of Logic: British Logic in the Nineteenth Century
The present volume of the Handbook of the History of Logic is designed to establish 19th century Bri... more |
|||
A New Approach to Quantum Logic
structures under investigation are that of an M-algebra and that of a holistic logic. In a sense to be made precise the latter...... more |
|||
Handbook of Quantum Logic and Quantum Structures: Quantum Structures
Since its inception in the famous 1936 paper by Birkhoff and von Neumann entitled "The logic of quan... more |
|||
General Philosophy of Science: Focal Issues
Scientists use concepts and principles that are partly specific for their subject matter, but they a... more |
|||
Handbook of the History of Logic: The Many Valued and Non-monotonic Turn in Logic
The present volume of the Handbook of the History of Logic brings together two of the most important... more |
|||
Mathematical Problems from Applied Logic II: Logics for the Xxist Century
"Mathematical Problems from Applied Logic II" presents chapters from selected, world renowned, logic... more |
|||
Handbook of the History of Logic: Logic And the Modalities in the Twentieth Century
Logic and the Modalities in the Twentieth Century is an indispensable research tool for anyone inter... more |
|||
Mathematical Problems from Applied Logic I: Logics for the XXIst Century
Mathematical Problems from Applied Logic I presents chapters from selected, world renowned, logician... more |
|||
Handbook of Philosophical Logic
) for their continuing support for the Handbook. Dov Gabbay King s College London 10 Logic IT Natural Program Arti?cial in...... more |
|||
Handbook Of Philosophical Logic
Publishers (now Springer) for their continuing support for the Handbook. Dov Gabbay King s College London x PREFACE TO THE SECOND...... more |
|||
Interpolation And Definability: Modal And Intuitionistic Logic
Intuitionism (Second Edition), J.M. Dunn and G. Hardegree’s Algebraic Methods in Philosophical Logic, H. Rott’s Change Choice and...... more |
|||
The Reach of Abduction, Insight And Trial: A Practical Logic of Cognitive Systems
The present work is a continuation of the authors’ acclaimed multi-volume APractical Logic of Cognit... more |
|||
Handbook Of Temporal Reasoning In Artificial Intelligence
This collection represents the primary reference work for researchers and students in the area of Te... more |
|||
Logic, Epistemology, And The Unity Of Science
The first volume in this new series explores, through extensive co-operation, new ways of achieving ... more |
|||
Handbook of Philosophical Logic
It is with great pleasure that we are presenting to the community the second edition of this extraor... more |
|||
Handbook of the History of Logic: Greek, Indian and Arabian Logic
Greek, Indian and Arabic Logic marks the initial appearance of the multi-volume Handbook of the Hist... more |
|||
Handbook of Philosophical Logic
It is with great pleasure that we are presenting to the community the second edition of this extraor... more |
|||
Many-Dimensional Modal Logics: Theory and Applications
Modal logics, originally conceived in philosophy, have recently found many applications in computer ... more |
|||
Handbook of Philosophical Logic
It is with great pleasure that we are presenting to the community the second edition of this extraor... more |
|||
Handbook of Philosophical Logic
suchquestionsforcenturies(unrestrictedbythecapabilitiesofanyhard- ware). Theprinciplesgoverningthein... more |
|||
Neural-Symbolic Learning System: Foundations and Applications
Computing Science and Artificial Intelligence are concerned with producing devices that help and/or ... more |
|||
Handbook of Philosophical Logic
It is with great pleasure that we are presenting to the community the second edition of this extraor... more |
|||
Handbook of Philosophical Logic
It is with great pleasure that we are presenting to the community the second edition of this extraor... more |
|||
Handbook of Philosophical Logic
It is with great pleasure that we are presenting to the community the second edition of this extraor... more |
|||
Handbook of Philosophical Logic
It is with great pleasure that we are presenting to the community the second edition of this extraor... more |
|||
Handbook of Philosophical Logic
It is with great pleasure that we are presenting to the community the second edition of this extraor... more |
|||
Handbook of Philosophical Logic
It is with great pleasure that we are presenting to the community the second edition of this extraor... more |
|||
Handbook of Logic in Computer Science: Logic and Algebraic Methods
Logic is now widely recognized as one of the foundational disciplines of computing, and its applicat... more |
|||
Dynamic Syntax: The Flow of Language Understanding
This ground-breaking volume sets out an original model of the dynamics of language processing, which... more |
|||
Goal-Directed Proof Theory
|
|||
Temporal Logic: Mathematical Foundations and Computational Aspects
This is the second volume in a series of well-respected works in temporal science and is by the same... more |
|||
Logic, Language and Reasoning: Essays in Honour of Dov Gabbay
Preface. I am a logic’; D. Gabbay. Research Themes of Dov Gabbay. Proofs, Labels and Dynamics in Natural Language; J...... more |
|||
Handbook of Tableau Methods
Recent years have been blessed with an abundance of logical systems, arising from a multitude of app... more |
|||
What Is Negation?
The notion of negation is one of the central logical notions. It has been studied since antiquity an... more |
|||
Fibring Logics
Modern applications of logic in mathematics, computer science, and linguistics require combined syst... more |