Dynamic Worlds by Remo Pareschi
Reasoning is an integral part of intelligent systems in fields like databases, logic programming, robotics, knowledge engineering, human/computer interfaces, programming environments, etc.-
Logic, Language and Computation
-
Labelled Deduction
-
Multi-Dimensional Modal Logic
-
Frontiers of Combining Systems
-
Thirty Five Years of Automating Mathematics
-
Foundations of Bayesianism
-
Rigid Flexibility
-
Reasoning Robots
-
A Modern Perspective on Type Theory
-
Hybrid Logic and its Proof-Theory
-
Proof Theory for Fuzzy Logics
-
Foundations of Rational Agency
-
Goal-Directed Proof Theory
-
A Textbook of Belief Dynamics
-
New Essays in Free Logic
-
The Semantics and Proof Theory of the Logic of Bunched Implications
-
Proof Theory of Modal Logic
-
Frontiers in Belief Revision
-
Advances in Intensional Logic
-
Inference on the Low Level
-
Fuzzy Sets, Logics and Reasoning about Knowledge
-
Automated Model Building
-
The Death of Argument
-
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
-
An Introduction to Mathematical Logic and Type Theory
-
Advances in Temporal Logic
-
What is Negation?
-
Abduction and Induction
-
Intellectics and Computational Logic
-
Formal Aspects of Context
-
Logical and Computational Aspects of Model-Based Reasoning
-
Analysis and Synthesis of Logics
| SKU | Unavailable |
| ISBN 13 | 9789048151592 |
| ISBN 10 | 9048151597 |
| Title | Dynamic Worlds |
| Author | Remo Pareschi |
| Series | Applied Logic Series |
| Condition | Unavailable |
| Binding Type | Paperback |
| Publisher | Springer |
| Year published | 2010-12-15 |
| Number of pages | 283 |
| Cover note | Book picture is for illustrative purposes only, actual binding, cover or edition may vary. |
| Note | Unavailable |