Search dblp for Publications

export results for "toc:db/conf/lpe/lpe95.bht:"

 download as .bib file

@inproceedings{DBLP:conf/lpe/AbeckerBHWS95,
  author       = {Andreas Abecker and
                  Harold Boley and
                  Knut Hinkelmann and
                  Holger Wache and
                  Franz Schmalhofer},
  editor       = {Markus P. J. Fromherz and
                  Marc Kirschenbaum and
                  Anthony J. Kusalik},
  title        = {An Environment for Exploring and Validating Declarative Knowledge},
  booktitle    = {Proceedings of the 7th Workshop on Logic Programming Environments,
                  {LPR} '95, in conjunction with {ILPS} '95, Portland, Oregon, USA,
                  December 8, 1995},
  year         = {1995},
  timestamp    = {Mon, 02 Dec 2013 17:40:45 +0100},
  biburl       = {https://dblp.org/rec/conf/lpe/AbeckerBHWS95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpe/BechinaS95,
  author       = {Aurelie Bechina and
                  Marios Siormanolakis},
  editor       = {Markus P. J. Fromherz and
                  Marc Kirschenbaum and
                  Anthony J. Kusalik},
  title        = {Man Machine Service Embedded in Logic Programming},
  booktitle    = {Proceedings of the 7th Workshop on Logic Programming Environments,
                  {LPR} '95, in conjunction with {ILPS} '95, Portland, Oregon, USA,
                  December 8, 1995},
  year         = {1995},
  timestamp    = {Mon, 02 Dec 2013 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lpe/BechinaS95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpe/CharlierR95,
  author       = {Baudouin Le Charlier and
                  Sabina Rossi},
  editor       = {Markus P. J. Fromherz and
                  Marc Kirschenbaum and
                  Anthony J. Kusalik},
  title        = {Entending the {FOLON} Environment for Automatically Deriving Totally
                  Correct Prolog Procedures from Logic Descriptions},
  booktitle    = {Proceedings of the 7th Workshop on Logic Programming Environments,
                  {LPR} '95, in conjunction with {ILPS} '95, Portland, Oregon, USA,
                  December 8, 1995},
  year         = {1995},
  timestamp    = {Mon, 02 Dec 2013 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lpe/CharlierR95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpe/DeransartK95,
  author       = {Pierre Deransart and
                  Henryk Jan Komorowski},
  editor       = {Markus P. J. Fromherz and
                  Marc Kirschenbaum and
                  Anthony J. Kusalik},
  title        = {Task Force on Logic Program Development (Compulog Project)},
  booktitle    = {Proceedings of the 7th Workshop on Logic Programming Environments,
                  {LPR} '95, in conjunction with {ILPS} '95, Portland, Oregon, USA,
                  December 8, 1995},
  year         = {1995},
  timestamp    = {Thu, 19 Mar 2015 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lpe/DeransartK95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpe/FenskeGL95,
  author       = {Rayk Fenske and
                  Ulrich Geske and
                  Mario Lenz},
  editor       = {Markus P. J. Fromherz and
                  Marc Kirschenbaum and
                  Anthony J. Kusalik},
  title        = {Generating Types Is Better than Programming Them},
  booktitle    = {Proceedings of the 7th Workshop on Logic Programming Environments,
                  {LPR} '95, in conjunction with {ILPS} '95, Portland, Oregon, USA,
                  December 8, 1995},
  year         = {1995},
  timestamp    = {Mon, 02 Dec 2013 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lpe/FenskeGL95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpe/FuchsS95,
  author       = {Norbert E. Fuchs and
                  Rolf Schwitter},
  editor       = {Markus P. J. Fromherz and
                  Marc Kirschenbaum and
                  Anthony J. Kusalik},
  title        = {Attempto: Controlled Natural Language for Requirements Specifications},
  booktitle    = {Proceedings of the 7th Workshop on Logic Programming Environments,
                  {LPR} '95, in conjunction with {ILPS} '95, Portland, Oregon, USA,
                  December 8, 1995},
  year         = {1995},
  timestamp    = {Mon, 02 Dec 2013 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lpe/FuchsS95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpe/Gurr95,
  author       = {Corin A. Gurr},
  editor       = {Markus P. J. Fromherz and
                  Marc Kirschenbaum and
                  Anthony J. Kusalik},
  title        = {Techniques-Based Programming Environment for G{\"{o}}del},
  booktitle    = {Proceedings of the 7th Workshop on Logic Programming Environments,
                  {LPR} '95, in conjunction with {ILPS} '95, Portland, Oregon, USA,
                  December 8, 1995},
  year         = {1995},
  timestamp    = {Mon, 02 Dec 2013 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lpe/Gurr95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpe/Leal95,
  author       = {Jos{\'{e}} Paulo Leal},
  editor       = {Markus P. J. Fromherz and
                  Marc Kirschenbaum and
                  Anthony J. Kusalik},
  title        = {Data Oriented {LP} with Magritte},
  booktitle    = {Proceedings of the 7th Workshop on Logic Programming Environments,
                  {LPR} '95, in conjunction with {ILPS} '95, Portland, Oregon, USA,
                  December 8, 1995},
  year         = {1995},
  timestamp    = {Mon, 02 Dec 2013 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lpe/Leal95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpe/Levy95,
  author       = {Michael R. Levy},
  editor       = {Markus P. J. Fromherz and
                  Marc Kirschenbaum and
                  Anthony J. Kusalik},
  title        = {Proposal for a Foreign Language Interface to Prolog},
  booktitle    = {Proceedings of the 7th Workshop on Logic Programming Environments,
                  {LPR} '95, in conjunction with {ILPS} '95, Portland, Oregon, USA,
                  December 8, 1995},
  year         = {1995},
  timestamp    = {Wed, 07 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpe/Levy95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpe/MichaylovO95,
  author       = {Spiro Michaylov and
                  Iv{\'{a}}n Ord{\'{o}}{\~{n}}ez},
  editor       = {Markus P. J. Fromherz and
                  Marc Kirschenbaum and
                  Anthony J. Kusalik},
  title        = {Time and Money: {A} Case Study in Systematic Development of Constraint
                  Logic Programs},
  booktitle    = {Proceedings of the 7th Workshop on Logic Programming Environments,
                  {LPR} '95, in conjunction with {ILPS} '95, Portland, Oregon, USA,
                  December 8, 1995},
  year         = {1995},
  timestamp    = {Mon, 02 Dec 2013 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lpe/MichaylovO95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpe/SchoenigD95,
  author       = {St{\'{e}}phane Schoenig and
                  Mireille Ducass{\'{e}}},
  editor       = {Markus P. J. Fromherz and
                  Marc Kirschenbaum and
                  Anthony J. Kusalik},
  title        = {Hybrid Backward Slicing Algorithm Producing Executable Slices for
                  Prolog},
  booktitle    = {Proceedings of the 7th Workshop on Logic Programming Environments,
                  {LPR} '95, in conjunction with {ILPS} '95, Portland, Oregon, USA,
                  December 8, 1995},
  year         = {1995},
  timestamp    = {Mon, 02 Dec 2013 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lpe/SchoenigD95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpe/VasconcelosF95,
  author       = {Wamberto Weber Vasconcelos and
                  Norbert E. Fuchs},
  editor       = {Markus P. J. Fromherz and
                  Marc Kirschenbaum and
                  Anthony J. Kusalik},
  title        = {Prolog Program Development via Enhanced Schema-based Transformations},
  booktitle    = {Proceedings of the 7th Workshop on Logic Programming Environments,
                  {LPR} '95, in conjunction with {ILPS} '95, Portland, Oregon, USA,
                  December 8, 1995},
  year         = {1995},
  timestamp    = {Mon, 02 Dec 2013 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lpe/VasconcelosF95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/lpe/1995,
  editor       = {Markus P. J. Fromherz and
                  Marc Kirschenbaum and
                  Anthony J. Kusalik},
  title        = {Proceedings of the 7th Workshop on Logic Programming Environments,
                  {LPR} '95, in conjunction with {ILPS} '95, Portland, Oregon, USA,
                  December 8, 1995},
  year         = {1995},
  timestamp    = {Mon, 02 Dec 2013 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lpe/1995.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.