000 02917nam a22005295i 4500
001 978-3-540-49872-8
003 DE-He213
005 20160624102046.0
007 cr nn 008mamaa
008 121227s1998 gw | s |||| 0|eng d
020 _a9783540498728
_9978-3-540-49872-8
024 7 _a10.1007/BFb0054787
_2doi
050 4 _aQ334-342
050 4 _aTJ210.2-211.495
072 7 _aUYQ
_2bicssc
072 7 _aTJFM1
_2bicssc
072 7 _aCOM004000
_2bisacsh
082 0 4 _a006.3
_223
245 1 0 _aLogic Programming and Knowledge Representation
_h[electronic resource] :
_bThird International Workshop, LPKR '97 Port Jefferson, New York, USA, October 17, 1997 Selected Papers /
_cedited by Jürgen Dix, Luís Moniz Pereira, Teodor C. Przymusinski.
260 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg,
_c1998.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg,
_c1998.
300 _aXII, 252 p.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aLecture Notes in Computer Science,
_x0302-9743 ;
_v1471
505 0 _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.
520 _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.
650 0 _aComputer science.
650 0 _aArtificial intelligence.
650 1 4 _aComputer Science.
650 2 4 _aArtificial Intelligence (incl. Robotics).
650 2 4 _aMathematical Logic and Formal Languages.
650 2 4 _aProgramming Techniques.
700 1 _aDix, Jürgen.
_eeditor.
700 1 _aPereira, Luís Moniz.
_eeditor.
700 1 _aPrzymusinski, Teodor C.
_eeditor.
710 2 _aSpringerLink (Online service)
773 0 _tSpringer eBooks
776 0 8 _iPrinted edition:
_z9783540649588
786 _dSpringer
830 0 _aLecture Notes in Computer Science,
_x0302-9743 ;
_v1471
856 4 0 _uhttp://dx.doi.org/10.1007/BFb0054787
942 _2EBK6898
_cEBK
999 _c36192
_d36192