CMU Artificial Intelligence Repository
Home INFO Search FAQs Repository Root

LP: Logic Programming Bibliographies

lang/prolog/doc/bib/lp/
This directory contains BibTeX bibliographies of Logic Programming conferences and journals. BibTeX entries are included for the proceedings of the following conferences ALP: 90, 92 (Algebraic and LP) ALPUK: 91 (UK Conference on Logic and Programming) CADE: 90, 92 (Itl Conference on Automated Deduction) CTRS: 90, 92 (Conditional and Typed Rewriting Systems) EAIA: 90 (Portuguese Advanced School in AI) EPIA: 89, 91, 93 (Portuguese Conference on AI) FGC: 92 (ICOT: Fifth Generation Computer Systems) ICLP: 82, 84, 86-91, 93 (International Conference on LP) ILPS: 91, 93 (International LP Symposium) JICLP: 92 (Joint Itl Conference on LP) LICS: 86-91 (IEEE Symp. on Logic in Computer Science) LP: 88 (Logic Programming Conference) NACLP: 89-90 (North American Conference on LP) PEPM: 91, 93 (ACM SIGPLAN Symp. on Partial Evaluation) PLILP: 90-92 (Programming Language Impl. and LP) RTA: 89, 93 (Rewriting Techniques and Applications) SLP: 84-87, 91 (Symposium on LP) TACS: 91 (Theoretical Aspects of Computer Software) TAPSOFT: 93 (Theory and Practice of Software Dev.) UNIF: 89 (Itl Workshop on Unification) and journals FAC: 90 (Formal Aspects of Computing) IANDC: 82-92 (Information and Computation) JAR: 91-93 (Journal of Automated Reasoning) JLP: 85-93 (Journal of Logic Programming) JSC: 91-93 (Journal of Symbolic Computation) The bibliography can be searched using either WAIS or GOPHER. 1. To search the lp-proceedings using WAIS, use the lp-proceedings.src WAIS source, available from the directory of servers. 2. To search the lp-proceedings using GOPHER, point the client to gopher.fct.unl.pt, and follow the directories "Research/Bibliography/Logic Programming Proceedings". Searching should be easier than retrieving the entire package every time you want to locate a particular article.
Origin:   

   duck.dfki.uni-sb.de:/pub/lp-proceedings/  [134.96.188.92]

Version: patchlevel 14 (30-JUN-94) CD-ROM: Prime Time Freeware for AI, Issue 1-1 Contact: Ralf Scheidhauer DFKI Stuhlsatzenhausweg 3 D-66123 Saarbr"ucken, Germany Tel: +49 681 302-5313 Fax: +49 681 302-5341 Keywords: ALP, ALPUK, Authors!Scheidhauer, Automated Deduction, Bibliographies, CADE, CTRS, EAIA, EPIA, FGC, IANDC, ICLP, ICOT, ILPS, JAR, JICLP, JLP, JSC, LICS, LP, Logic, Logic Programming, NACLP, PEPM, PLILP, Prolog!Bibliographies, Prolog!Documents, RTA, SLP, Symbolic Computation, TACS, TAPSOFT, Theoretical Computer Science, UNIF, Unification References: ?
Last Web update on Mon Feb 13 10:34:13 1995
AI.Repository@cs.cmu.edu