Dov Gabbay – författare & böcker

Mathematical Problems from Applied Logic II

Logics for the XXIst Century

Inbunden, Engelska, 2007

1 086 kr

Skickas inom 10-15 vardagar

"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.Contributors include: Sergei Artemov, USA; John Case, USA; Sergei Goncharov, Russia, Judit X. Madarász, István Németi, and Gergely, Székely, Hungary, Anil Nerode, USA and Dimiter Vakarelov, Bulgaria.

Mathematical Problems from Applied Logic II

Logics for the XXIst Century

AvMichael Zakharyaschev,Sergei Goncharovm. fl.

E-bok

PDF, Engelska, 2007

1 416 kr

Läs direkt efter köp

"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.

Contributors include: Sergei Artemov, USA; John Case, USA; Sergei Goncharov, Russia, Judit X. Madarász, István Németi, and Gergely, Székely, Hungary, Anil Nerode, USA and Dimiter Vakarelov, Bulgaria.

Del 1 - Foundations of Artificial Intelligence

Handbook of Temporal Reasoning in Artificial Intelligence

AvDov Gabbay,Lluis Vilam. fl.

Inbunden, Engelska, 2005

3 397 kr

Skickas inom 5-8 vardagar

This collection represents the primary reference work for researchers and students in the area of Temporal Reasoning in Artificial Intelligence. Temporal reasoning has a vital role to play in many areas, particularly Artificial Intelligence. Yet, until now, there has been no single volume collecting together the breadth of work in this area. This collection brings together the leading researchers in a range of relevant areas and provides an coherent description of the breadth of activity concerning temporal reasoning in the filed of Artificial Intelligence.Key Features:- Broad range: foundations; techniques and applications- Leading researchers around the world have written the chapters- Covers many vital applications- Source book for Artificial Intelligence, temporal reasoning- Approaches provide foundation for many future software systems� Broad range: foundations; techniques and applications� Leading researchers around the world have written the chapters� Covers many vital applications� Source book for Artificial Intelligence, temporal reasoning� Approaches provide foundation for many future software systems

Mathematical Problems from Applied Logic II

Logics for the XXIst Century

AvDov Gabbay,Sergei Goncharovm. fl.

Häftad, Engelska, 2010

1 086 kr

Skickas inom 10-15 vardagar

"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.Contributors include: Sergei Artemov, USA; John Case, USA; Sergei Goncharov, Russia, Judit X. Madarász, István Németi, and Gergely, Székely, Hungary, Anil Nerode, USA and Dimiter Vakarelov, Bulgaria.