The SCEAS System
Navigation Menu

Conferences in DBLP

Logic Programming Summer School (LPSS) (lpss)
1992 (conf/lpss/1992)

  1. Robert A. Kowalski
    Theory and Practice in Logic Programming. [Citation Graph (0, 0)][DBLP]
    Logic Programming Summer School, 1992, pp:1-2 [Conf]
  2. Thom W. Frühwirth, Alexander Herold, Volker Küchenhoff, Thierry Le Provost, Pierre Lim, Eric Monfroy, Mark Wallace
    Contraint Logic Programming - An Informal Introduction. [Citation Graph (0, 0)][DBLP]
    Logic Programming Summer School, 1992, pp:3-35 [Conf]
  3. Michel d'Andrea
    Scheduling and Optimisation in the Automobile Industry. [Citation Graph (0, 0)][DBLP]
    Logic Programming Summer School, 1992, pp:36-44 [Conf]
  4. Owen V. Evans
    Factory Scheduling Using Finite Domains. [Citation Graph (0, 0)][DBLP]
    Logic Programming Summer School, 1992, pp:45-53 [Conf]
  5. Pierre-Joseph Gailly, Wolfgang Krautter, Christophe Bisière, Sylvie Bescos
    The Prince Project and its Applications. [Citation Graph (0, 0)][DBLP]
    Logic Programming Summer School, 1992, pp:54-63 [Conf]
  6. Shalom Tsur
    A (Gentle) Introduction to Deductive Databases. [Citation Graph (0, 0)][DBLP]
    Logic Programming Summer School, 1992, pp:64-79 [Conf]
  7. Christoph Beierle
    Knowledge Based PPS Applications in PROTOS-L. [Citation Graph (0, 0)][DBLP]
    Logic Programming Summer School, 1992, pp:80-90 [Conf]
  8. Carlo Chiopris
    The SECReTS Banking Expert System from Phase 1 to Phase 2. [Citation Graph (0, 0)][DBLP]
    Logic Programming Summer School, 1992, pp:91-99 [Conf]
  9. John Fox
    Logic Engineering and Clinical Dilemmas. [Citation Graph (0, 0)][DBLP]
    Logic Programming Summer School, 1992, pp:100-108 [Conf]
  10. Edward H. Freeman
    A Knowledge-based Approach to Strategic Planning. [Citation Graph (0, 0)][DBLP]
    Logic Programming Summer School, 1992, pp:109-117 [Conf]
  11. Lutz Plümer
    Expert Systems in Mining. [Citation Graph (0, 0)][DBLP]
    Logic Programming Summer School, 1992, pp:118-126 [Conf]
  12. Michael Hess
    Natural and Formal Language Processing. [Citation Graph (0, 0)][DBLP]
    Logic Programming Summer School, 1992, pp:127-175 [Conf]
  13. Deborah A. Dahl
    PUNIT - Natural Language Interfaces. [Citation Graph (0, 0)][DBLP]
    Logic Programming Summer School, 1992, pp:176-185 [Conf]
  14. Thomas Grossi, Didier Bronisz, François Jean-Marie
    The ESTEAM-316 Dialogue Manager. [Citation Graph (0, 0)][DBLP]
    Logic Programming Summer School, 1992, pp:186-202 [Conf]
  15. Robert A. Kowalski
    Legislation as Logic Programs. [Citation Graph (0, 0)][DBLP]
    Logic Programming Summer School, 1992, pp:203-230 [Conf]
  16. Udo Pletat
    Knowledge Representation for Natural Language Processing. [Citation Graph (0, 0)][DBLP]
    Logic Programming Summer School, 1992, pp:231-241 [Conf]
  17. Peter B. Reintjes
    A Set of Tools for VHDL Design. [Citation Graph (0, 0)][DBLP]
    Logic Programming Summer School, 1992, pp:242-251 [Conf]
  18. Alan Bundy
    Tutorial Notes: Reasoning about Logic Programs. [Citation Graph (0, 0)][DBLP]
    Logic Programming Summer School, 1992, pp:252-277 [Conf]
  19. AbdelAli Ed-Dbali, Pierre Deransart
    Software Formal Specification by Logic Programming: The Example of Standard Prolog. [Citation Graph (0, 0)][DBLP]
    Logic Programming Summer School, 1992, pp:278-289 [Conf]
  20. Peter T. Breuer
    The Art of Computer Un-Programming: Reverse Engineering in Prolog. [Citation Graph (0, 0)][DBLP]
    Logic Programming Summer School, 1992, pp:290-302 [Conf]
  21. Mireille Ducassé
    Opium - An Advanced Debugging System. [Citation Graph (0, 0)][DBLP]
    Logic Programming Summer School, 1992, pp:303-312 [Conf]
  22. Fabio Baj, Michael Rosner
    Automatic Theorem Proving within the Portable AI Lab. [Citation Graph (0, 0)][DBLP]
    Logic Programming Summer School, 1992, pp:313-324 [Conf]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002