Logic Programming and Knowledge Representation Third International Workshop, LPKR'97, Port Jefferson, New York, USA, October 17, 1997, Selected Papers /
This 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 pro...
| Corporate Author: | SpringerLink (Online service) |
|---|---|
| Other Authors: | Moniz Pereira, Luis (Editor, http://id.loc.gov/vocabulary/relators/edt), Przymusinski, Teodor C. (Editor, http://id.loc.gov/vocabulary/relators/edt) |
| Format: | Electronic eBook |
| Language: | English |
| Published: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
1998.
|
| Edition: | 1st ed. 1998. |
| Series: | Lecture Notes in Artificial Intelligence ;
1471 |
| Subjects: | |
| Online Access: | Full Text via HEAL-Link |
Similar Items
-
Logic Programming and Automated Reasoning 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings /
Published: (1999) -
Computer Science Logic 11th International Workshop, CSL'97, Annual Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997, Selected Papers /
Published: (1998) -
Algebraic and Logic Programming 6th International Joint Conference, ALP '97 - HOA '97, Southhampton, UK, September 3-5, 1997. Proceedings /
Published: (1997) -
Computer Science Logic 10th International Workshop, CSL '96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21 - 27, 1996, Selected Papers /
Published: (1997) -
Automated Reasoning with Analytic Tableaux and Related Methods International Conference, TABLEAUX'97, Pont-a-Mousson, France, May 13-16, 1997 Proceedings /
Published: (1997)