LEADER 03850nam  22006375  450 
001 996466104603316
005 20200703042633.0
010   $a3-540-49168-6
024 7 $a10.1007/3-540-58976-7
035   $a(CKB)1000000000234236
035   $a(SSID)ssj0000323035
035   $a(PQKBManifestationID)11243995
035   $a(PQKBTitleCode)TC0000323035
035   $a(PQKBWorkID)10296388
035   $a(PQKB)10510923
035   $a(DE-He213)978-3-540-49168-2
035   $a(PPN)155204939
035   $a(EXLCZ)991000000000234236
100   $a20121227d1995      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aExecutable Modal and Temporal Logics$b[electronic resource] $eIJCAI '93 Workshop, Chambery, France, August 28, 1993. Proceedings /$fedited by Michael Fisher, Richard Owens
205   $a1st ed. 1995.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d1995.
215   $a1 online resource (VIII, 188 p.) 
225 1 $aLecture Notes in Artificial Intelligence ;$v897
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-540-58976-7 
327   $aAn introduction to executable modal and temporal logics -- Temporal logic programming with metric and past operators -- A combination of clausal and non clausal temporal logic programs -- Temporal logic and annotated constraint logic programming -- Efficiently executable temporal logic programs -- Towards a semantics for concurrent MetateM -- Constraint deduction in an interval-based temporal logic -- Towards first-order concurrent MetateM -- Solving air-traffic problems with ?possible worlds? -- Investigations into the application of deontic logic.
330   $aThis volume presents the thoroughly revised proceedings of the IJCAI '93 Workshop on Executable Modal and Temporal Logics held in Chambery, France in August 1993. The direct execution of logical statements, through languages such as PROLOG, has proved remarkably successful within CS and AI. In recent years a variety of nonclassical logics have been introduced and several executable forms of these logics have been applied to programming. This volume addresses a range of approaches to executable modal and temporal logics, not only from a logical point of view, but also from programming language and application standpoints; in addition, an introductory survey and an annotated bibliography are presented.
410  0$aLecture Notes in Artificial Intelligence ;$v897
606   $aArtificial intelligence
606   $aMathematical logic
606   $aComputer programming
606   $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000
606   $aMathematical Logic and Foundations$3https://scigraph.springernature.com/ontologies/product-market-codes/M24005
606   $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010
606   $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048
615  0$aArtificial intelligence.
615  0$aMathematical logic.
615  0$aComputer programming.
615 14$aArtificial Intelligence.
615 24$aMathematical Logic and Foundations.
615 24$aProgramming Techniques.
615 24$aMathematical Logic and Formal Languages.
676   $a005.13/1
702   $aFisher$b Michael$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aOwens$b Richard$4edt$4http://id.loc.gov/vocabulary/relators/edt
712 12$aInternational Joint Conference on Artificial Intelligence
906   $aBOOK
912   $a996466104603316
996   $aExecutable Modal and Temporal Logics$92830346
997   $aUNISA