Intensional Logics for Programming
Specificaties
Gebonden, 230 blz.
|
Engels
|
e druk, 1992
ISBN13: 9780198537755
Rubricering
Onderdeel van serie
Studies in Logic and Computation
Verwachte levertijd ongeveer 11 werkdagen
Samenvatting
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.
Specificaties
ISBN13:9780198537755
Taal:Engels
Bindwijze:Gebonden
Aantal pagina's:230
Hoofdrubriek:Wetenschap en techniek, Computer en informatica
Inhoudsopgave
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.