Studies in Logic and Computation – serie
Visar alla böcker i serien Studies in Logic and Computation. Handla med fri frakt och snabb leverans.
6 produkter
Logical Reasoning with Diagrams
Av Gerard Allwein, Jon Barwise m. fl.
Inbunden, 1996
2902 kr
Lägg i varukorg
One effect of information technology is the increasing need to present information visually. The trend raises intriguing questions. What is the logical status of reasoning that employs visualization? What are the cognitive advantages and pitfalls of this reasoning? What kinds of tools can be …
Intensional Logics for Programming
Av Luis Fariñas del Cerro, Martti Penttonen
Inbunden, 1992
477 kr
Lägg i varukorg
This volume is a collection of papers around the theme of extending the logic programming paradigm to the area of intensional logics. Intensional logics play a central role in AI and computing, as well as in the theoretical foundation of logic programming. Intensional logic programming is one of …
Substructural Logics
Av Dosen Schroeder-Heister, Kosta Dosen m. fl.
Inbunden, 1993
2215 kr
Lägg i varukorg
Substructural logics are nonclassical logics, which arose in response to problems in foundations of mathematics and logic, theoretical computer science, mathematical linguistics, and category theory. They include intuitionistic logic, relevant logic, BCK logic, linear logic, and Lambek's calculus …
Nonstandard Queries and Nonstandard Answers
Av Imielinski Demolombe, Tomasz Imielinski m. fl.
Inbunden, 1994
2031 kr
Lägg i varukorg
Future Data and Knowledge Base Systems will require new functionalities: richer data modelling capabilities, more powerful query languages, and new concepts of query answers. Future query languages will include functionalities such as hypothetical reasoning, abductive reasoning, modal reasoning, …
What is a Logical System?
Av D. M. Gabbay
Inbunden, 1994
3406 kr
Lägg i varukorg
This extraordinary collection of papers addresses a fundamental question of logic and computation. "What is a logical system?". With contributions from many world famous researchers, it presents a wide spectrum of views on the problem, reflecting mainstream current approaches to logic and how it is …
Conditionals: From Philosophy to Computer Science
Av G. Crocco, Luis Fariñas del Cerro m. fl.
Inbunden, 1995
1316 kr
Lägg i varukorg
Understanding the role of deduction in human reasoning has been an important activity in philosophy, logic, and more recetnly artificial intelligence. The basic patter of this kind of reasoning can be represented by conditional expressions of the form `if...then.' There are various kinds of …
