000 03771nam a22006255i 4500
001 978-3-540-68702-3
003 DE-He213
005 20240423132532.0
007 cr nn 008mamaa
008 121227s1997 gw | s |||| 0|eng d
020 _a9783540687023
_9978-3-540-68702-3
024 7 _a10.1007/BFb0023798
_2doi
050 4 _aQA76.9.S88
072 7 _aUYD
_2bicssc
072 7 _aCOM011000
_2bisacsh
072 7 _aUYD
_2thema
082 0 4 _a004.2
_223
245 1 0 _aNon-Monotonic Extensions of Logic Programming
_h[electronic resource] :
_bSecond International Workshop NMELP '96, Bad Honnef, Germany September 5 - 6, 1996, Selected Papers /
_cedited by Juergen Dix, Luis Moniz Pereira, Teodor C. Przymusinski.
250 _a1st ed. 1997.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg :
_bImprint: Springer,
_c1997.
300 _aXIII, 231 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 Artificial Intelligence,
_x2945-9141 ;
_v1216
505 0 _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.
520 _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.
650 0 _aComputer systems.
650 0 _aCompilers (Computer programs).
650 0 _aArtificial intelligence.
650 0 _aMachine theory.
650 0 _aComputer programming.
650 1 4 _aComputer System Implementation.
650 2 4 _aCompilers and Interpreters.
650 2 4 _aArtificial Intelligence.
650 2 4 _aFormal Languages and Automata Theory.
650 2 4 _aProgramming Techniques.
700 1 _aDix, Juergen.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
700 1 _aMoniz Pereira, Luis.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
700 1 _aPrzymusinski, Teodor C.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
710 2 _aSpringerLink (Online service)
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783540628439
776 0 8 _iPrinted edition:
_z9783662164006
830 0 _aLecture Notes in Artificial Intelligence,
_x2945-9141 ;
_v1216
856 4 0 _uhttps://doi.org/10.1007/BFb0023798
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
912 _aZDB-2-BAE
942 _cSPRINGER
999 _c188834
_d188834