Freedom and Enforcement in Action, Janusz Czelakowski

Автор: Gerard Sierksma; Diptesh Ghosh
Название: Networks in Action
ISBN: 1461425433 ISBN-13(EAN): 9781461425434
Издательство: Springer
Рейтинг:
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book aims to spark students` interest in modeling problems as networks. It contains a range of not-too-large network optimization problems that need to be analyzed and solved using the computer. All the exercises have been rigorously classroom-tested.

Автор: Mioara Mugur-Sch?chter; Alwyn van der Merwe
Название: Quantum Mechanics, Mathematics, Cognition and Action
ISBN: 904816219X ISBN-13(EAN): 9789048162192
Издательство: Springer
Рейтинг:
Цена: 27944.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The Centre pour la Synth se d'une pistemologie Formalis e, henceforth briefly named CeSEF, was founded in June 1994 by a small group of s- entists working in various disciplines, with the definite aim to synthesize a "formalized epistemology" founded on the methods identifiable within the foremost modern scientificdisciplines. Most of the founders were already authors of well-known works displaying a particular sensitivity to episte- logical questions. But the aim that united us was new. This aim along with the peculiar choice of its verbal expression are thoroughly discussed in the Introduction. In the present volume, we publish the first harvest of explorations and constructive proposals advanced in pursuit of our goal. The contributions are expressive also of the views of those who shared only our beginnings and 1 then left us; they equally reflect input from those who participated in our workshops but did not contribute to this volume. We are indebted to the Association Naturalia et Biologica for having supported with a donation the publication of this volume. The camera-ready form of this book we owe to the patient and met- ulous labor of Ms. Jackie Gratrix. The superb job she has done is herewith gratefully acknowledged. Mioara Mugur-Sch chter and Alwyn van der Merwe 1 Paul Bourgine and, quite specially, Bernard Walliser.

Автор: Janusz Czelakowski
Название: Freedom and Enforcement in Action
ISBN: 9402401334 ISBN-13(EAN): 9789402401332
Издательство: Springer
Рейтинг:
Цена: 13974.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание:

Action theory is the object of growing attention in a variety of scientific disciplines and this is the first volume to offer a synthetic view of the range of approaches possible in the topic. The volume focuses on the nexus of formal action theory with a startlingly diverse set of subjects, which range from logic, linguistics, artificial intelligence and automata theory to jurisprudence, deontology and economics. It covers semantic, mathematical and logical aspects of action, showing how the problem of action breaks the boundaries of traditional branches of logic located in syntactics and semantics and now lies on lies on the borderline between logical pragmatics and praxeology.

The chapters here focus on specialized tasks in formal action theory, beginning with a thorough description and formalization of the language of action and moving through material on the differing models of action theory to focus on probabilistic models, the relations of formal action theory to deontic logic and its key applications in algorithmic and programming theory. The coverage thus fills a notable lacuna in the literary corpus and offers solid formal underpinning in cognitive science by approaching the problem of cognition as a composite action of mind.

Автор: Gerard Comyn; Norbert E. Fuchs; Michael J. Ratclif
Название: Logic Programming in Action
ISBN: 3540559302 ISBN-13(EAN): 9783540559306
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The results of a summer school on logic programming, containing research papers that are organized into sections on constraint logic programming, deductive databases and expert systems, the processing of natural and formal languages, software engineering and computer education.