LEADER 04466nam  22007215  450 
001 996465531703316
005 20200704233435.0
010   $a3-540-68702-5
024 7 $a10.1007/BFb0023798
035   $a(CKB)1000000000234627
035   $a(SSID)ssj0000325255
035   $a(PQKBManifestationID)11258844
035   $a(PQKBTitleCode)TC0000325255
035   $a(PQKBWorkID)10322505
035   $a(PQKB)11390496
035   $a(DE-He213)978-3-540-68702-3
035   $a(PPN)155205188
035   $a(EXLCZ)991000000000234627
100   $a20121227d1997      u|             0
101 0 $aeng
135   $aurnn#008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aNon-Monotonic Extensions of Logic Programming$b[electronic resource] $eSecond International Workshop NMELP '96, Bad Honnef, Germany September 5 - 6, 1996, Selected Papers /$fedited by Juergen Dix, Luis Moniz Pereira, Teodor C. Przymusinski
205   $a1st ed. 1997.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d1997.
215   $a1 online resource (XIII, 231 p.)
225 1 $aLecture Notes in Artificial Intelligence ;$v1216
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-540-62843-6 
327   $aProlegomena to logic programming for non-monotonic reasoning -- On logics and semantics for general logic programs -- A new logical characterisation of stable models and answer sets -- Aggregation and well-founded semantics+ -- Nonmonotonic reasoning by monotonic inferences with priority constraints -- Update-programms can update programs -- An abductive proof procedure for reasoning about actions in modal logic programming -- Update programs versus revision programs -- Transformation-based bottom-up computation of the well-founded model -- Computation of non-ground disjunctive well-founded semantics with constraint logic programming.
330   $aThis book constitutes the thoroughly refereed post-workshop proceedings of the 6th International Workshop on Non-Monotonic Extensions of Logic Programming, NMELP '96, held in Bad Honnef, Germany, in September 1996. The nine full papers presented in the volume in revised version were carefully reviewed and selected from a total of 18 submissions; the set of papers addresses theoretical, applicational and implementational issues and reflects the current state of the art in the area of non-monotonic extensions of logic programming. An introductory survey by the volume editors entitled "Prolegomena to Logic Programming for Non-Monotonic Reasoning" deserves special mentioning; it contains a bibliography listing 136 entries.
410  0$aLecture Notes in Artificial Intelligence ;$v1216
606   $aArchitecture, Computer
606   $aProgramming languages (Electronic computers)
606   $aArtificial intelligence
606   $aMathematical logic
606   $aComputer programming
606   $aComputer System Implementation$3https://scigraph.springernature.com/ontologies/product-market-codes/I13057
606   $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037
606   $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000
606   $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048
606   $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010
615  0$aArchitecture, Computer.
615  0$aProgramming languages (Electronic computers).
615  0$aArtificial intelligence.
615  0$aMathematical logic.
615  0$aComputer programming.
615 14$aComputer System Implementation.
615 24$aProgramming Languages, Compilers, Interpreters.
615 24$aArtificial Intelligence.
615 24$aMathematical Logic and Formal Languages.
615 24$aProgramming Techniques.
676   $a005.1/15
702   $aDix$b Juergen$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aMoniz Pereira$b Luis$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aPrzymusinski$b Teodor C$4edt$4http://id.loc.gov/vocabulary/relators/edt
712 12$aNMELP '96
906   $aBOOK
912   $a996465531703316
996   $aNon-monotonic extensions of logic programming$91488807
997   $aUNISA