LEADER 03650nam  22006615  450 
001 9910143495803321
005 20200629194520.0
010   $a3-540-49872-9
024 7 $a10.1007/BFb0054787
035   $a(CKB)1000000000210971
035   $a(SSID)ssj0000324520
035   $a(PQKBManifestationID)11224800
035   $a(PQKBTitleCode)TC0000324520
035   $a(PQKBWorkID)10313144
035   $a(PQKB)10182517
035   $a(DE-He213)978-3-540-49872-8
035   $a(PPN)155212753
035   $a(EXLCZ)991000000000210971
100   $a20121227d1998      u|             0
101 0 $aeng
135   $aurnn#008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aLogic Programming and Knowledge Representation$b[electronic resource] $eThird International Workshop, LPKR'97, Port Jefferson, New York, USA, October 17, 1997, Selected Papers /$fedited by Luis Moniz Pereira, Teodor C. Przymusinski
205   $a1st ed. 1998.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d1998.
215   $a1 online resource (XII, 252 p.)
225 1 $aLecture Notes in Artificial Intelligence ;$v1471
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-540-64958-1 
327   $aKnowledge representation with logic programs -- Datalog with nested rules -- Partial evidential stable models for disjunctive deductive databases -- Disjunctive logic programming and autoepistemic logic -- A system for abductive learning of logic programs -- Refining action theories through abductive logic programming -- Abduction, argumentation and bi-disjunctive logic programs -- Reasoning with prioritized defaults -- Generalizing updates: From models to programs.
330   $aThis book presents the thoroughly refereed post-workshop proceedings of the Third International Workshop on Logic Programming and Knowledge Representation, LPKR'97, held in Port Jefferson, NY, USA, in October 1997. The eight revised full papers presented have undergone a two-round reviewing process; also included is a comprehensive introduction surveying the state of the art in the area. The volume is divided into topical sections on disjunctive semantics, abduction, priorities, and updates.
410  0$aLecture Notes in Artificial Intelligence ;$v1471
606   $aArchitecture, Computer
606   $aArtificial intelligence
606   $aMathematical logic
606   $aComputer programming
606   $aComputer System Implementation$3https://scigraph.springernature.com/ontologies/product-market-codes/I13057
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$aArtificial intelligence.
615  0$aMathematical logic.
615  0$aComputer programming.
615 14$aComputer System Implementation.
615 24$aArtificial Intelligence.
615 24$aMathematical Logic and Formal Languages.
615 24$aProgramming Techniques.
676   $a005.1/15
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$aLPKR'97
906   $aBOOK
912   $a9910143495803321
996   $aLogic Programming and Knowledge Representation$92126438
997   $aUNINA