03667nam a22006135i 4500
978-3-540-68702-3
DE-He213
20170515111447.0
cr nn 008mamaa
121227s1997 gw | s |||| 0|eng d
9783540687023
978-3-540-68702-3
10.1007/BFb0023798
doi
QA76.9.A73
QA76.9.S88
UYD
bicssc
COM032000
bisacsh
COM067000
bisacsh
003.3
23
Non-Monotonic Extensions of Logic Programming
[electronic resource] :
Second International Workshop, NMELP '96 Bad Honnef, Germany, September 5–6, 1996 Selected Papers /
edited by Jürgen Dix, Luís Moniz Pereira, Teodor C. Przymusinski.
Berlin, Heidelberg :
Springer Berlin Heidelberg,
1997.
XIII, 231 p.
online resource.
text
txt
rdacontent
computer
c
rdamedia
online resource
cr
rdacarrier
text file
PDF
rda
Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence,
0302-9743 ;
1216
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.
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.
Computer science.
Architecture, Computer.
Computer programming.
Programming languages (Electronic computers).
Mathematical logic.
Artificial intelligence.
Computer Science.
Computer System Implementation.
Programming Languages, Compilers, Interpreters.
Artificial Intelligence (incl. Robotics).
Mathematical Logic and Formal Languages.
Programming Techniques.
Dix, Jürgen.
editor.
Pereira, Luís Moniz.
editor.
Przymusinski, Teodor C.
editor.
SpringerLink (Online service)
Springer eBooks
Printed edition:
9783540628439
Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence,
0302-9743 ;
1216
http://dx.doi.org/10.1007/BFb0023798
ZDB-2-SCS
ZDB-2-LNC
ZDB-2-BAE
ddc
EB
Computer Science (Springer-11645)
14297
14297