|
Showing 1 - 25 of
34 matches in All Departments
This book presents contributions from world-renowned logicians,
discussing important topics of logic from the point of view of
their further development in light of requirements arising from
successful application in Computer Science and AI language.
Coverage includes: the logic of provability, computability theory
applied to biology, psychology, physics, chemistry, economics, and
other basic sciences; computability theory and computable models;
logic and space-time geometry; hybrid systems; logic and
region-based theory of space.
Mathematical Problems from Applied Logic II presents chapters from
selected, world renowned, logicians. Important topics of logic are
discussed from the point of view of their further development in
light of requirements arising from their successful application in
areas such as Computer Science and AI language. Fields covered
include: logic of provability, applications of computability theory
to biology, psychology, physics, chemistry, economics, and other
basic sciences; computability theory and computable models; logic
and space-time geometry; hybrid systems; logic and region-based
theory of space.
|
Qualitative and Quantitative Practical Reasoning - First International Joint Conference on Qualitative and Quantitative Practical Reasoning, ECSQARU-FAPR'97, Bad Honnef, Germany, June 9-12, 1997 Proceedings (Paperback, 1997 ed.)
Dov Gabbay, Rudolf Kruse, Andreas Nonnengart, Hans J. Ohlbach
|
R3,277
Discovery Miles 32 770
|
Ships in 10 - 15 working days
|
This book constitutes the refereed proceedings of the First
International Joint Conference on Qualitative and Quantitative
Practical Reasoning, ECSQARU-FAPR'97, held in Bad Honnef, Germany,
in June 1997.
The volume presents 33 revised full papers carefully selected for
inclusion in the book by the program committee as well as 12
invited contributions. Among the various aspects of human practical
reasoning addressed in the papers are nonmonotonic logics, default
reasoning, modal logics, belief function theory, Bayesian networks,
fuzzy logic, possibility theory, inference algorithms, dynamic
reasoning with partial models, and user modeling approaches.
The Handbook of Deontic Logic and Normative Systems presents a
detailed overview of the main lines of research on contemporary
deontic logic and related topics. Although building on decades of
previous work in the field, it is the first collection to take into
account the significant changes in the landscape of deontic logic
that have occurred in the past twenty years. These changes have
resulted largely, though not entirely, from the interaction of
deontic logic with a variety of other fields, including computer
science, legal theory, organizational theory, economics, and
linguistics. This first volume of the Handbook is divided into
three parts, containing nine chapters in all, each written by
leading experts in the field. The first part concentrates on
historical foundations. The second examines topics of central
interest in contemporary deontic logic. The third presents some new
logical frameworks that have now become part of the mainstream
literature. A second volume of the Handbook is currently in
preparation, and there may be a third after that.
The Handbook of Deontic Logic and Normative Systems presents a
detailed overview of the main lines of research on contemporary
deontic logic and related topics. Although building on decades of
previous work in the field, it is the first collection to take into
account the significant changes in the landscape of deontic logic
that have occurred in the past twenty years. These changes have
resulted largely, though not entirely, from the interaction of
deontic logic with a variety of other fields, including computer
science, legal theory, organizational theory, economics, and
linguistics. This first volume of the Handbook is divided into
three parts, containing nine chapters in all, each written by
leading experts in the field. The first part concentrates on
historical foundations. The second examines topics of central
interest in contemporary deontic logic. The third presents some new
logical frameworks that have now become part of the mainstream
literature. A second volume of the Handbook is currently in
preparation, and there may be a third after that.
The International Directory of Logicians is a listing of over 260
of the world's most foremost living logicians, representing the
most important and influential developments of our day. It provides
a compact summary of each entrant's eduction, professional
appointments, honours and awards, principal publications, as well
as a description of the nature and significance of his or her
contributions to logic, and a "vision statement" concerning logic's
future prospects. Logic here is understood in its broad sense,
encompassing all branches of mathematical logic, philosophical
logic and the history of logic. Inclusion in the Directory is by
invitation only, following a rigorous selection process guided by a
distinguished Advisory Board. The Directory is designed to meet the
needs of students and professional logicians alike. It is the most
informative single-volume record of logic's present state and will
serve as an invaluable historical reference for future generations
of scholarship.
|
|