/

Intensional Logics for Programming

Fariñas del Cerro, Luis Penttonen Martti
Innbundet / 1992 / Engelsk

Produktdetaljer

ISBN
9780198537755
Publisert
1992
Utgiver
Vendor
Clarendon Press
Vekt
510 gr
Høyde
241 mm
Bredde
162 mm
Dybde
18 mm
Aldersnivå
UP, P, 05, 06
Språk
Product language
Engelsk
Format
Product format
Innbundet
Antall sider
230

Redaktør
Fariñas del Cerro, Luis
Penttonen Martti

Intensional Logics for Programming

Fariñas del Cerro, Luis Penttonen Martti
Innbundet / 1992 / Engelsk
Fariñas del Cerro, Luis Penttonen Martti
Innbundet / 1992 / Engelsk
Nettpris:
412,-
Levering 7-20 dager
Sjekk lagerstatus i butikk

a very valuable source of information on the state of the art in the domain ... this book is a very nice survey and shows quite a few case studies of how non-classical logics can help in the study of logic programs and their semantics

Science of Computer Programming, 24 (1995) 97-103 pp 102 - 103

the book covers a wide "lacking" part in the new interaction area between logic, information technology and computation

Zbl. Math. 787

This volume is a collection of papers around the theme of extending the logic programming paradigm to the area of intensional logics. Intensional logics play a central role in AI and computing, as well as in the theoretical foundation of logic programming. Intensional logic programming is one of the current frontline research areas of computational logics. This not only helps the understanding of logic programs, but will have a significant impact on future developments of logic programming itself.
Les mer
Intensional logics provide a theoretical basis for establishing the foundations of programming. This volume discusses the use of intensional logics for the semantical analysis of logic programs and about programming in intensional logics. For example, modal logic, temporal logic and linear logic prove to be useful to understand logic programs.
Les mer
H.A. Blair, A.L. Brown, Jr., and V.S. Subrahmanian: Monotone logic programming; M.A. Orgun and W.W. Wadge: Theory and practice of temporal logic programming; M. Baudinet: A simple proof of the completeness of temporal logic programming; D.M. Gabbay: Metalevel features in the object level: modal and temporal logic programming III; D. Nute: Basic defeasible logic; S. Cerrito: Negation and linear completion; P. Balbiani: A promenade from provability to consistency.
Les mer
a very valuable source of information on the state of the art in the domain ... this book is a very nice survey and shows quite a few case studies of how non-classical logics can help in the study of logic programs and their semantics
Les mer
`a very valuable source of information on the state of the art in the domain ... this book is a very nice survey and shows quite a few case studies of how non-classical logics can help in the study of logic programs and their semantics' Science of Computer Programming, 24 (1995) 97-103 pp 102 - 103 `the book covers a wide "lacking" part in the new interaction area between logic, information technology and computation' Zbl. Math. 787
Les mer

Relaterte produkter

a very valuable source of information on the state of the art in the domain ... this book is a very nice survey and shows quite a few case studies of how non-classical logics can help in the study of logic programs and their semantics

Science of Computer Programming, 24 (1995) 97-103 pp 102 - 103

the book covers a wide "lacking" part in the new interaction area between logic, information technology and computation

Zbl. Math. 787

This volume is a collection of papers around the theme of extending the logic programming paradigm to the area of intensional logics. Intensional logics play a central role in AI and computing, as well as in the theoretical foundation of logic programming. Intensional logic programming is one of the current frontline research areas of computational logics. This not only helps the understanding of logic programs, but will have a significant impact on future developments of logic programming itself.
Les mer
Intensional logics provide a theoretical basis for establishing the foundations of programming. This volume discusses the use of intensional logics for the semantical analysis of logic programs and about programming in intensional logics. For example, modal logic, temporal logic and linear logic prove to be useful to understand logic programs.
Les mer
H.A. Blair, A.L. Brown, Jr., and V.S. Subrahmanian: Monotone logic programming; M.A. Orgun and W.W. Wadge: Theory and practice of temporal logic programming; M. Baudinet: A simple proof of the completeness of temporal logic programming; D.M. Gabbay: Metalevel features in the object level: modal and temporal logic programming III; D. Nute: Basic defeasible logic; S. Cerrito: Negation and linear completion; P. Balbiani: A promenade from provability to consistency.
Les mer
a very valuable source of information on the state of the art in the domain ... this book is a very nice survey and shows quite a few case studies of how non-classical logics can help in the study of logic programs and their semantics
Les mer
`a very valuable source of information on the state of the art in the domain ... this book is a very nice survey and shows quite a few case studies of how non-classical logics can help in the study of logic programs and their semantics' Science of Computer Programming, 24 (1995) 97-103 pp 102 - 103 `the book covers a wide "lacking" part in the new interaction area between logic, information technology and computation' Zbl. Math. 787
Les mer

Produktdetaljer

ISBN
9780198537755
Publisert
1992
Utgiver
Vendor
Clarendon Press
Vekt
510 gr
Høyde
241 mm
Bredde
162 mm
Dybde
18 mm
Aldersnivå
UP, P, 05, 06
Språk
Product language
Engelsk
Format
Product format
Innbundet
Antall sider
230

Redaktør
Fariñas del Cerro, Luis
Penttonen Martti

Relaterte produkter