TY - BOOK ID - 4865000 TI - Introduction to Annotated Logics : Foundations for Paracomplete and Paraconsistent Reasoning AU - Abe, Jair Minoro. AU - Akama, Seiki. AU - Nakamatsu, Kazumi. PY - 2015 SN - 9783319179124 331917911X 9783319179117 3319179128 PB - Cham : Springer International Publishing : Imprint: Springer, DB - UniCat KW - Engineering. KW - Computational Intelligence. KW - Artificial Intelligence (incl. Robotics). KW - Logic Design. KW - Logic design. KW - Artificial intelligence. KW - Ingénierie KW - Structure logique KW - Intelligence artificielle KW - Engineering & Applied Sciences KW - Philosophy KW - Philosophy & Religion KW - Computer Science KW - Logic KW - Logic. KW - Argumentation KW - Deduction (Logic) KW - Deductive logic KW - Dialectic (Logic) KW - Logic, Deductive KW - Computational intelligence. KW - Intelligence, Computational KW - Artificial intelligence KW - Soft computing KW - AI (Artificial intelligence) KW - Artificial thinking KW - Electronic brains KW - Intellectronics KW - Intelligence, Artificial KW - Intelligent machines KW - Machine intelligence KW - Thinking, Artificial KW - Bionics KW - Cognitive science KW - Digital computer simulation KW - Electronic data processing KW - Logic machines KW - Machine theory KW - Self-organizing systems KW - Simulation methods KW - Fifth generation computers KW - Neural computers KW - Design, Logic KW - Design of logic systems KW - Digital electronics KW - Electronic circuit design KW - Logic circuits KW - Switching theory KW - Construction KW - Industrial arts KW - Technology KW - Intellect KW - Psychology KW - Science KW - Reasoning KW - Thought and thinking KW - Methodology KW - Artificial Intelligence. UR - https://www.unicat.be/uniCat?func=search&query=sysid:4865000 AB - This book is written as an introduction to annotated logics. It provides logical foundations for annotated logics, discusses some interesting applications of these logics and also includes the authors' contributions to annotated logics. The central idea of the book is to show how annotated logic can be applied as a tool to solve problems of technology and of applied science. The book will be of interest to pure and applied logicians, philosophers, and computer scientists as a monograph on a kind of paraconsistent logic. But, the layman will also take profit from its reading. ER -