Search dblp for Publications

export results for "toc:db/conf/lpss/lpss92.bht:"

 download as .bib file

@inproceedings{DBLP:conf/lpss/BajR92,
  author       = {Fabio Baj and
                  Michael Rosner},
  editor       = {G{\'{e}}rard Comyn and
                  Norbert E. Fuchs and
                  Michael Ratcliffe},
  title        = {Automatic Theorem Proving within the Portable {AI} Lab},
  booktitle    = {Logic Programming in Action, Second International Logic Programming
                  Summer School, {LPSS} '92, Zurich, Switzerland, September 7-11, 1992,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {636},
  pages        = {313--324},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-55930-2\_22},
  doi          = {10.1007/3-540-55930-2\_22},
  timestamp    = {Tue, 14 May 2019 10:00:51 +0200},
  biburl       = {https://dblp.org/rec/conf/lpss/BajR92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpss/Beierle92,
  author       = {Christoph Beierle},
  editor       = {G{\'{e}}rard Comyn and
                  Norbert E. Fuchs and
                  Michael Ratcliffe},
  title        = {Knowledge Based {PPS} Applications in {PROTOS-L}},
  booktitle    = {Logic Programming in Action, Second International Logic Programming
                  Summer School, {LPSS} '92, Zurich, Switzerland, September 7-11, 1992,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {636},
  pages        = {80--90},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-55930-2\_7},
  doi          = {10.1007/3-540-55930-2\_7},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpss/Beierle92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpss/Breuer92,
  author       = {Peter T. Breuer},
  editor       = {G{\'{e}}rard Comyn and
                  Norbert E. Fuchs and
                  Michael Ratcliffe},
  title        = {The Art of Computer Un-Programming: Reverse Engineering in Prolog},
  booktitle    = {Logic Programming in Action, Second International Logic Programming
                  Summer School, {LPSS} '92, Zurich, Switzerland, September 7-11, 1992,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {636},
  pages        = {290--302},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-55930-2\_20},
  doi          = {10.1007/3-540-55930-2\_20},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpss/Breuer92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpss/Bundy92,
  author       = {Alan Bundy},
  editor       = {G{\'{e}}rard Comyn and
                  Norbert E. Fuchs and
                  Michael Ratcliffe},
  title        = {Tutorial Notes: Reasoning about Logic Programs},
  booktitle    = {Logic Programming in Action, Second International Logic Programming
                  Summer School, {LPSS} '92, Zurich, Switzerland, September 7-11, 1992,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {636},
  pages        = {252--277},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-55930-2\_18},
  doi          = {10.1007/3-540-55930-2\_18},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpss/Bundy92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpss/Chiopris92,
  author       = {Carlo Chiopris},
  editor       = {G{\'{e}}rard Comyn and
                  Norbert E. Fuchs and
                  Michael Ratcliffe},
  title        = {The SECReTS Banking Expert System from Phase 1 to Phase 2},
  booktitle    = {Logic Programming in Action, Second International Logic Programming
                  Summer School, {LPSS} '92, Zurich, Switzerland, September 7-11, 1992,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {636},
  pages        = {91--99},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-55930-2\_8},
  doi          = {10.1007/3-540-55930-2\_8},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpss/Chiopris92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpss/Dahl92,
  author       = {Deborah A. Dahl},
  editor       = {G{\'{e}}rard Comyn and
                  Norbert E. Fuchs and
                  Michael Ratcliffe},
  title        = {{PUNIT} - Natural Language Interfaces},
  booktitle    = {Logic Programming in Action, Second International Logic Programming
                  Summer School, {LPSS} '92, Zurich, Switzerland, September 7-11, 1992,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {636},
  pages        = {176--185},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-55930-2\_13},
  doi          = {10.1007/3-540-55930-2\_13},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpss/Dahl92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpss/Ducasse92,
  author       = {Mireille Ducass{\'{e}}},
  editor       = {G{\'{e}}rard Comyn and
                  Norbert E. Fuchs and
                  Michael Ratcliffe},
  title        = {Opium - An Advanced Debugging System},
  booktitle    = {Logic Programming in Action, Second International Logic Programming
                  Summer School, {LPSS} '92, Zurich, Switzerland, September 7-11, 1992,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {636},
  pages        = {303--312},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-55930-2\_21},
  doi          = {10.1007/3-540-55930-2\_21},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpss/Ducasse92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpss/Ed-DbaliD92,
  author       = {AbdelAli Ed{-}Dbali and
                  Pierre Deransart},
  editor       = {G{\'{e}}rard Comyn and
                  Norbert E. Fuchs and
                  Michael Ratcliffe},
  title        = {Software Formal Specification by Logic Programming: The Example of
                  Standard Prolog},
  booktitle    = {Logic Programming in Action, Second International Logic Programming
                  Summer School, {LPSS} '92, Zurich, Switzerland, September 7-11, 1992,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {636},
  pages        = {278--289},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-55930-2\_19},
  doi          = {10.1007/3-540-55930-2\_19},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpss/Ed-DbaliD92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpss/Evans92,
  author       = {Owen V. Evans},
  editor       = {G{\'{e}}rard Comyn and
                  Norbert E. Fuchs and
                  Michael Ratcliffe},
  title        = {Factory Scheduling Using Finite Domains},
  booktitle    = {Logic Programming in Action, Second International Logic Programming
                  Summer School, {LPSS} '92, Zurich, Switzerland, September 7-11, 1992,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {636},
  pages        = {45--53},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-55930-2\_4},
  doi          = {10.1007/3-540-55930-2\_4},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpss/Evans92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpss/Fox92,
  author       = {John Fox},
  editor       = {G{\'{e}}rard Comyn and
                  Norbert E. Fuchs and
                  Michael Ratcliffe},
  title        = {Logic Engineering and Clinical Dilemmas},
  booktitle    = {Logic Programming in Action, Second International Logic Programming
                  Summer School, {LPSS} '92, Zurich, Switzerland, September 7-11, 1992,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {636},
  pages        = {100--108},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-55930-2\_9},
  doi          = {10.1007/3-540-55930-2\_9},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpss/Fox92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpss/Freeman92,
  author       = {Edward H. Freeman},
  editor       = {G{\'{e}}rard Comyn and
                  Norbert E. Fuchs and
                  Michael Ratcliffe},
  title        = {A Knowledge-based Approach to Strategic Planning},
  booktitle    = {Logic Programming in Action, Second International Logic Programming
                  Summer School, {LPSS} '92, Zurich, Switzerland, September 7-11, 1992,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {636},
  pages        = {109--117},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-55930-2\_10},
  doi          = {10.1007/3-540-55930-2\_10},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpss/Freeman92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpss/FruhwirthHKPLMW92,
  author       = {Thom W. Fr{\"{u}}hwirth and
                  Alexander Herold and
                  Volker K{\"{u}}chenhoff and
                  Thierry Le Provost and
                  Pierre Lim and
                  {\'{E}}ric Monfroy and
                  Mark Wallace},
  editor       = {G{\'{e}}rard Comyn and
                  Norbert E. Fuchs and
                  Michael Ratcliffe},
  title        = {Contraint Logic Programming - An Informal Introduction},
  booktitle    = {Logic Programming in Action, Second International Logic Programming
                  Summer School, {LPSS} '92, Zurich, Switzerland, September 7-11, 1992,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {636},
  pages        = {3--35},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-55930-2\_2},
  doi          = {10.1007/3-540-55930-2\_2},
  timestamp    = {Tue, 23 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lpss/FruhwirthHKPLMW92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpss/GaillyKBB92,
  author       = {Pierre{-}Joseph Gailly and
                  Wolfgang Krautter and
                  Christophe Bisi{\`{e}}re and
                  Sylvie Bescos},
  editor       = {G{\'{e}}rard Comyn and
                  Norbert E. Fuchs and
                  Michael Ratcliffe},
  title        = {The Prince Project and its Applications},
  booktitle    = {Logic Programming in Action, Second International Logic Programming
                  Summer School, {LPSS} '92, Zurich, Switzerland, September 7-11, 1992,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {636},
  pages        = {54--63},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-55930-2\_5},
  doi          = {10.1007/3-540-55930-2\_5},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpss/GaillyKBB92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpss/GrossiBJ92,
  author       = {Thomas Grossi and
                  Didier Bronisz and
                  Fran{\c{c}}ois Jean{-}Marie},
  editor       = {G{\'{e}}rard Comyn and
                  Norbert E. Fuchs and
                  Michael Ratcliffe},
  title        = {The {ESTEAM-316} Dialogue Manager},
  booktitle    = {Logic Programming in Action, Second International Logic Programming
                  Summer School, {LPSS} '92, Zurich, Switzerland, September 7-11, 1992,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {636},
  pages        = {186--202},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-55930-2\_14},
  doi          = {10.1007/3-540-55930-2\_14},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpss/GrossiBJ92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpss/Hess92,
  author       = {Michael Hess},
  editor       = {G{\'{e}}rard Comyn and
                  Norbert E. Fuchs and
                  Michael Ratcliffe},
  title        = {Natural and Formal Language Processing},
  booktitle    = {Logic Programming in Action, Second International Logic Programming
                  Summer School, {LPSS} '92, Zurich, Switzerland, September 7-11, 1992,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {636},
  pages        = {127--175},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-55930-2\_12},
  doi          = {10.1007/3-540-55930-2\_12},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpss/Hess92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpss/Kowalski92,
  author       = {Robert A. Kowalski},
  editor       = {G{\'{e}}rard Comyn and
                  Norbert E. Fuchs and
                  Michael Ratcliffe},
  title        = {Theory and Practice in Logic Programming},
  booktitle    = {Logic Programming in Action, Second International Logic Programming
                  Summer School, {LPSS} '92, Zurich, Switzerland, September 7-11, 1992,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {636},
  pages        = {1--2},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-55930-2\_1},
  doi          = {10.1007/3-540-55930-2\_1},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpss/Kowalski92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpss/Kowalski92a,
  author       = {Robert A. Kowalski},
  editor       = {G{\'{e}}rard Comyn and
                  Norbert E. Fuchs and
                  Michael Ratcliffe},
  title        = {Legislation as Logic Programs},
  booktitle    = {Logic Programming in Action, Second International Logic Programming
                  Summer School, {LPSS} '92, Zurich, Switzerland, September 7-11, 1992,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {636},
  pages        = {203--230},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-55930-2\_15},
  doi          = {10.1007/3-540-55930-2\_15},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpss/Kowalski92a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpss/Pletat92,
  author       = {Udo Pletat},
  editor       = {G{\'{e}}rard Comyn and
                  Norbert E. Fuchs and
                  Michael Ratcliffe},
  title        = {Knowledge Representation for Natural Language Processing},
  booktitle    = {Logic Programming in Action, Second International Logic Programming
                  Summer School, {LPSS} '92, Zurich, Switzerland, September 7-11, 1992,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {636},
  pages        = {231--241},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-55930-2\_16},
  doi          = {10.1007/3-540-55930-2\_16},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpss/Pletat92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpss/Plumer92,
  author       = {Lutz Pl{\"{u}}mer},
  editor       = {G{\'{e}}rard Comyn and
                  Norbert E. Fuchs and
                  Michael Ratcliffe},
  title        = {Expert Systems in Mining},
  booktitle    = {Logic Programming in Action, Second International Logic Programming
                  Summer School, {LPSS} '92, Zurich, Switzerland, September 7-11, 1992,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {636},
  pages        = {118--126},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-55930-2\_11},
  doi          = {10.1007/3-540-55930-2\_11},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpss/Plumer92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpss/Reintjes92,
  author       = {Peter B. Reintjes},
  editor       = {G{\'{e}}rard Comyn and
                  Norbert E. Fuchs and
                  Michael Ratcliffe},
  title        = {A Set of Tools for {VHDL} Design},
  booktitle    = {Logic Programming in Action, Second International Logic Programming
                  Summer School, {LPSS} '92, Zurich, Switzerland, September 7-11, 1992,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {636},
  pages        = {242--251},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-55930-2\_17},
  doi          = {10.1007/3-540-55930-2\_17},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpss/Reintjes92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpss/Tsur92,
  author       = {Shalom Tsur},
  editor       = {G{\'{e}}rard Comyn and
                  Norbert E. Fuchs and
                  Michael Ratcliffe},
  title        = {A (Gentle) Introduction to Deductive Databases},
  booktitle    = {Logic Programming in Action, Second International Logic Programming
                  Summer School, {LPSS} '92, Zurich, Switzerland, September 7-11, 1992,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {636},
  pages        = {64--79},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-55930-2\_6},
  doi          = {10.1007/3-540-55930-2\_6},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpss/Tsur92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpss/dAndrea92,
  author       = {Michel d'Andrea},
  editor       = {G{\'{e}}rard Comyn and
                  Norbert E. Fuchs and
                  Michael Ratcliffe},
  title        = {Scheduling and Optimisation in the Automobile Industry},
  booktitle    = {Logic Programming in Action, Second International Logic Programming
                  Summer School, {LPSS} '92, Zurich, Switzerland, September 7-11, 1992,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {636},
  pages        = {36--44},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-55930-2\_3},
  doi          = {10.1007/3-540-55930-2\_3},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpss/dAndrea92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/lpss/1992,
  editor       = {G{\'{e}}rard Comyn and
                  Norbert E. Fuchs and
                  Michael Ratcliffe},
  title        = {Logic Programming in Action, Second International Logic Programming
                  Summer School, {LPSS} '92, Zurich, Switzerland, September 7-11, 1992,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {636},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-55930-2},
  doi          = {10.1007/3-540-55930-2},
  isbn         = {3-540-55930-2},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpss/1992.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.