Non-Monotonic Extensions of Logic Programming Second International Workshop NMELP '96, Bad Honnef, Germany September 5 - 6, 1996, Selected Papers /

This 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 r...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
Άλλοι συγγραφείς: Dix, Juergen (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Moniz Pereira, Luis (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Przymusinski, Teodor C. (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:English
Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1997.
Έκδοση:1st ed. 1997.
Σειρά:Lecture Notes in Artificial Intelligence ; 1216
Θέματα:
Διαθέσιμο Online:Full Text via HEAL-Link
LEADER 04069nam a2200601 4500
001 978-3-540-68702-3
003 DE-He213
005 20191028102829.0
007 cr nn 008mamaa
008 121227s1997 gw | s |||| 0|eng d
020 |a 9783540687023  |9 978-3-540-68702-3 
024 7 |a 10.1007/BFb0023798  |2 doi 
040 |d GrThAP 
050 4 |a QA76.9.A73 
050 4 |a QA76.9.S88 
072 7 |a UYD  |2 bicssc 
072 7 |a COM032000  |2 bisacsh 
072 7 |a UYD  |2 thema 
082 0 4 |a 003.3  |2 23 
245 1 0 |a Non-Monotonic Extensions of Logic Programming  |h [electronic resource] :  |b Second International Workshop NMELP '96, Bad Honnef, Germany September 5 - 6, 1996, Selected Papers /  |c edited by Juergen Dix, Luis Moniz Pereira, Teodor C. Przymusinski. 
250 |a 1st ed. 1997. 
264 1 |a Berlin, Heidelberg :  |b Springer Berlin Heidelberg :  |b Imprint: Springer,  |c 1997. 
300 |a XIII, 231 p.  |b online resource. 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
347 |a text file  |b PDF  |2 rda 
490 1 |a Lecture Notes in Artificial Intelligence ;  |v 1216 
505 0 |a Prolegomena 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 |a This 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 |a Architecture, Computer. 
650 0 |a Programming languages (Electronic computers). 
650 0 |a Artificial intelligence. 
650 0 |a Mathematical logic. 
650 0 |a Computer programming. 
650 1 4 |a Computer System Implementation.  |0 http://scigraph.springernature.com/things/product-market-codes/I13057 
650 2 4 |a Programming Languages, Compilers, Interpreters.  |0 http://scigraph.springernature.com/things/product-market-codes/I14037 
650 2 4 |a Artificial Intelligence.  |0 http://scigraph.springernature.com/things/product-market-codes/I21000 
650 2 4 |a Mathematical Logic and Formal Languages.  |0 http://scigraph.springernature.com/things/product-market-codes/I16048 
650 2 4 |a Programming Techniques.  |0 http://scigraph.springernature.com/things/product-market-codes/I14010 
700 1 |a Dix, Juergen.  |e editor.  |4 edt  |4 http://id.loc.gov/vocabulary/relators/edt 
700 1 |a Moniz Pereira, Luis.  |e editor.  |4 edt  |4 http://id.loc.gov/vocabulary/relators/edt 
700 1 |a Przymusinski, Teodor C.  |e editor.  |4 edt  |4 http://id.loc.gov/vocabulary/relators/edt 
710 2 |a SpringerLink (Online service) 
773 0 |t Springer eBooks 
776 0 8 |i Printed edition:  |z 9783662164006 
776 0 8 |i Printed edition:  |z 9783540628439 
830 0 |a Lecture Notes in Artificial Intelligence ;  |v 1216 
856 4 0 |u https://doi.org/10.1007/BFb0023798  |z Full Text via HEAL-Link 
912 |a ZDB-2-SCS 
912 |a ZDB-2-LNC 
912 |a ZDB-2-BAE 
950 |a Computer Science (Springer-11645)