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 |
Παρόμοια τεκμήρια
-
Algebraic and Logic Programming 6th International Joint Conference, ALP '97 - HOA '97, Southhampton, UK, September 3-5, 1997. Proceedings /
Έκδοση: (1997) -
Computer Science Logic 14th International Workshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21-26, 2000 Proceedings /
Έκδοση: (2000) -
Types for Proofs and Programs International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000. Selected Papers /
Έκδοση: (2002) -
Logic Programming and Automated Reasoning 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings /
Έκδοση: (1999) -
Logic Programming and Knowledge Representation Third International Workshop, LPKR'97, Port Jefferson, New York, USA, October 17, 1997, Selected Papers /
Έκδοση: (1998)