Logical Foundations for Cognitive Agents, Hector J. Levesque; Fiora Pirri

Автор: Sergei Adian; Anil Nerode
Название: Logical Foundations of Computer Science
ISBN: 3540630457 ISBN-13(EAN): 9783540630456
Издательство: Springer
Рейтинг:
Цена: 81050.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This text constitutes the refereed proceedings of the 4th International Symposium on Logical Foundations of Computer Science, LFCS `97. It presents 42 revised refereed papers in which current issues of computer science logic are addressed.

Автор: Antoni Ligeza
Название: Logical Foundations for Rule-Based Systems
ISBN: 3642067093 ISBN-13(EAN): 9783642067099
Издательство: Springer
Рейтинг:
Цена: 174130.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Thinking in terms of facts and rules is perhaps one of the most common ways of approaching problem de?nition and problem solving both in everyday life and under more formal circumstances.

Автор: Fuchun Sun; Dewen Hu; Huaping Liu
Название: Foundations and Practical Applications of Cognitive Systems and Information Processing
ISBN: 364237834X ISBN-13(EAN): 9783642378348
Издательство: Springer
Рейтинг:
Цена: 232910.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Foundations of Cognitive Systems.- Information Processing.- Practical Applications.

Автор: Andreas Herzig; Emiliano Lorini
Название: The Cognitive Foundations of Group Attitudes and Social Interaction
ISBN: 3319217313 ISBN-13(EAN): 9783319217314
Издательство: Springer
Рейтинг:
Цена: 93160.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:

Chapter 1 "On the philosophy and logic of help" Emanuele Bottazzi and Nicolas Troquard (Lab of Applied Ontology, ISTC-CNR, Trento, Italy).- Chapter 2 "Healing social sciences' psycho-phobia - Founding social action and structure on mental representations" Cristiano Castelfranchi (ISTC-CNR, Rome).- Chapter 3 "Analytical decomposition of trust in terms of mental and social attitudes" Robert Demolombe (IRIT, Toulouse).- Chapter 4 "On modal logics of group belief" Benoit Gaudou, Andreas Herzig, Dominique Longin and Emiliano Lorini (IRIT, Toulouse).- Chapter 5 "Logic of promotion and demotion" Patrick Girard (The University of Auckland, NZ).- Chapter 6 "On the attitude of trust - a formal characterization of trust, distrust, and associated notions" Andrew I.J. Jones (Dept. of Informatics, King's College, London).- Chapter 7 "The topology of common belief" David Pearce and Levan Uridia (Universidad Politйcnica de Madrid; TSU Razmadze Mathematical Institute, Georgia).- Chapter 8 "Social emotions from the perspective of the computational belief-desire theory of emotion" Rainer Reisenzein (Dept. of Psychology, University of Greifswald).- Chapter 9 "Reasoning with Normative Systems" Giovanni Sartor (Dept. of Law, Eur. University Institute, Florence and Faculty of Law, Bologna).- Chapter 10 "An agent based model of Camorra: comparing punishment and norm-based policies in contrasting illegal activities".- Chapter 11 Barbara Sonzogni, Federico Cecconi, Giulia Andrighetti, Rosaria Conte (Dept. of Communication and Social Research at Sapienza University, Rome; Lab. of Agent-Based Simulation, ISTC-CNR, Rome; Eur. University Institute, Florence).

Автор: Andreas Herzig; Emiliano Lorini
Название: The Cognitive Foundations of Group Attitudes and Social Interaction
ISBN: 3319345516 ISBN-13(EAN): 9783319345512
Издательство: Springer
Рейтинг:
Цена: 93160.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:

Chapter 1 "On the philosophy and logic of help" Emanuele Bottazzi and Nicolas Troquard (Lab of Applied Ontology, ISTC-CNR, Trento, Italy).- Chapter 2 "Healing social sciences' psycho-phobia - Founding social action and structure on mental representations" Cristiano Castelfranchi (ISTC-CNR, Rome).- Chapter 3 "Analytical decomposition of trust in terms of mental and social attitudes" Robert Demolombe (IRIT, Toulouse).- Chapter 4 "On modal logics of group belief" Benoit Gaudou, Andreas Herzig, Dominique Longin and Emiliano Lorini (IRIT, Toulouse).- Chapter 5 "Logic of promotion and demotion" Patrick Girard (The University of Auckland, NZ).- Chapter 6 "On the attitude of trust - a formal characterization of trust, distrust, and associated notions" Andrew I.J. Jones (Dept. of Informatics, King's College, London).- Chapter 7 "The topology of common belief" David Pearce and Levan Uridia (Universidad Politйcnica de Madrid; TSU Razmadze Mathematical Institute, Georgia).- Chapter 8 "Social emotions from the perspective of the computational belief-desire theory of emotion" Rainer Reisenzein (Dept. of Psychology, University of Greifswald).- Chapter 9 "Reasoning with Normative Systems" Giovanni Sartor (Dept. of Law, Eur. University Institute, Florence and Faculty of Law, Bologna).- Chapter 10 "An agent based model of Camorra: comparing punishment and norm-based policies in contrasting illegal activities".- Chapter 11 Barbara Sonzogni, Federico Cecconi, Giulia Andrighetti, Rosaria Conte (Dept. of Communication and Social Research at Sapienza University, Rome; Lab. of Agent-Based Simulation, ISTC-CNR, Rome; Eur. University Institute, Florence).

Название: Logical Foundations of Mathematics and Computational Complex
ISBN: 3319001183 ISBN-13(EAN): 9783319001180
Издательство: Springer
Рейтинг:
Цена: 130430.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book covers a broad spectrum of results in logic and set theory relevant to the foundations, as well as, the results in computational complexity and the interdisciplinary area of proof complexity. It presents the ideas behind the theoretical concepts.

Автор: Cook
Название: Logical Foundations of Proof Complexity
ISBN: 1107694116 ISBN-13(EAN): 9781107694118
Издательство: Cambridge Academ
Рейтинг:
Цена: 61240.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book treats bounded arithmetic and propositional proof complexity from the point of view of computational complexity. The first seven chapters include the necessary logical background for the material and are suitable for a graduate course. The result is a uniform treatment of many systems in the literature.

Автор: Andr? Platzer
Название: Logical Foundations of Cyber-Physical Systems
ISBN: 3319635875 ISBN-13(EAN): 9783319635873
Издательство: Springer
Рейтинг:
Цена: 41920.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Cyberphysical systems (CPSs) combine cyber capabilities, such as computation or communication, with physical capabilities, such as motion or other physical processes.

Автор: Sergei Artemov; Anil Nerode
Название: Logical Foundations of Computer Science
ISBN: 3319276824 ISBN-13(EAN): 9783319276823
Издательство: Springer
Рейтинг:
Цена: 59630.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This bookconstitutes the refereed proceedings of the International Symposium on LogicalFoundations of Computer Science, LFCS 2016, held in Deerfield Beach, FL, USA inJanuary 2016. domain theory logics; logicalfoundations of database theory; intelligent and multiple-agent system logics; distributed system logics; system design logics;

Автор: Pavel Pudl?k
Название: Logical Foundations of Mathematics and Computational Complexity
ISBN: 3319342681 ISBN-13(EAN): 9783319342689
Издательство: Springer
Рейтинг:
Цена: 130430.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book covers a broad spectrum of results in logic and set theory relevant to the foundations, as well as, the results in computational complexity and the interdisciplinary area of proof complexity. It presents the ideas behind the theoretical concepts.

Автор: Anil Nerode; Mikhail Taitslin
Название: Logical Foundations of Computer Science - Tver `92
ISBN: 3540557075 ISBN-13(EAN): 9783540557074
Издательство: Springer
Рейтинг:
Цена: 93160.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The papers in this volume were selected for the Symposium Logic, held at Tver in July 1992. The text provides information on the state of computer science research in the former Soviet Union and presents important discoveries in the field of logical foundations of computer science.

Автор: Anil Nerode; Yu.V. Matiyasevich
Название: Logical Foundations of Computer Science
ISBN: 3540581405 ISBN-13(EAN): 9783540581406
Издательство: Springer
Рейтинг:
Цена: 65210.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume of conference proceedings reflects the interaction between mathematical logic and computer science. The contributors discuss linear logic, Horn clauses, model checking, lambda calculi, modal logic and problem complexity.