Search dblp for Publications

export results for "toc:db/conf/wlp/wlp97.bht:"

 download as .bib file

@inproceedings{DBLP:conf/wlp/AbdennadherS97,
  author       = {Slim Abdennadher and
                  Hans Schlenker},
  editor       = {Fran{\c{c}}ois Bry and
                  Burkhard Freitag and
                  Dietmar Seipel},
  title        = {{INTERDIP} - Ein Interaktiver Constraint-basierter Dienstplaner f{\"{u}}r
                  Krankenstationen},
  booktitle    = {Twelfth Workshop Logic Programming, {WLP} 1997, 17-19 September 1997,
                  M{\"{u}}nchen, Germany, Technical Report {PMS-FB-1997-10}},
  publisher    = {Ludwig Maximilians Universit{\"{a}}t M{\"{u}}nchen},
  year         = {1997},
  timestamp    = {Wed, 07 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wlp/AbdennadherS97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wlp/Boley97,
  author       = {Harold Boley},
  editor       = {Fran{\c{c}}ois Bry and
                  Burkhard Freitag and
                  Dietmar Seipel},
  title        = {Wissensbasen im World Wide Web: Eine Herausforderung f{\"{u}}r
                  die logische Programimerung},
  booktitle    = {Twelfth Workshop Logic Programming, {WLP} 1997, 17-19 September 1997,
                  M{\"{u}}nchen, Germany, Technical Report {PMS-FB-1997-10}},
  publisher    = {Ludwig Maximilians Universit{\"{a}}t M{\"{u}}nchen},
  year         = {1997},
  timestamp    = {Wed, 07 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wlp/Boley97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wlp/Boulanger97,
  author       = {Dmitri Boulanger},
  editor       = {Fran{\c{c}}ois Bry and
                  Burkhard Freitag and
                  Dietmar Seipel},
  title        = {Analyzing Declarative Semantics of Logic Programs},
  booktitle    = {Twelfth Workshop Logic Programming, {WLP} 1997, 17-19 September 1997,
                  M{\"{u}}nchen, Germany, Technical Report {PMS-FB-1997-10}},
  publisher    = {Ludwig Maximilians Universit{\"{a}}t M{\"{u}}nchen},
  year         = {1997},
  timestamp    = {Wed, 07 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wlp/Boulanger97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wlp/BoulangerFGGJNSW97,
  author       = {Dmitri Boulanger and
                  Andreas Fordan and
                  Ulrich Geske and
                  Hans{-}Joachim Goltz and
                  Ulrich John and
                  Alexander Nareyek and
                  Andr{\'{e}} Schiemann and
                  Armin Wolf},
  editor       = {Fran{\c{c}}ois Bry and
                  Burkhard Freitag and
                  Dietmar Seipel},
  title        = {Constraint-basierte Planung und Konfiguration (system description)},
  booktitle    = {Twelfth Workshop Logic Programming, {WLP} 1997, 17-19 September 1997,
                  M{\"{u}}nchen, Germany, Technical Report {PMS-FB-1997-10}},
  publisher    = {Ludwig Maximilians Universit{\"{a}}t M{\"{u}}nchen},
  year         = {1997},
  timestamp    = {Wed, 07 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wlp/BoulangerFGGJNSW97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wlp/CitrignoEFGKLMPS97,
  author       = {Simona Citrigno and
                  Thomas Eiter and
                  Wolfgang Faber and
                  Georg Gottlob and
                  Christoph Koch and
                  Nicola Leone and
                  Cristinel Mateis and
                  Gerald Pfeifer and
                  Francesco Scarcello},
  editor       = {Fran{\c{c}}ois Bry and
                  Burkhard Freitag and
                  Dietmar Seipel},
  title        = {The dlv System: Model Generator and Advanced Frontends (system description)},
  booktitle    = {Twelfth Workshop Logic Programming, {WLP} 1997, 17-19 September 1997,
                  M{\"{u}}nchen, Germany, Technical Report {PMS-FB-1997-10}},
  publisher    = {Ludwig Maximilians Universit{\"{a}}t M{\"{u}}nchen},
  year         = {1997},
  timestamp    = {Wed, 07 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wlp/CitrignoEFGKLMPS97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wlp/EglyT97,
  author       = {Uwe Egly and
                  Hans Tompits},
  editor       = {Fran{\c{c}}ois Bry and
                  Burkhard Freitag and
                  Dietmar Seipel},
  title        = {A Sequent Calculus for Intuitionistic Default Logic},
  booktitle    = {Twelfth Workshop Logic Programming, {WLP} 1997, 17-19 September 1997,
                  M{\"{u}}nchen, Germany, Technical Report {PMS-FB-1997-10}},
  publisher    = {Ludwig Maximilians Universit{\"{a}}t M{\"{u}}nchen},
  year         = {1997},
  timestamp    = {Wed, 07 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wlp/EglyT97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wlp/FuchsSS97,
  author       = {Norbert E. Fuchs and
                  Uta Schwertel and
                  Rolf Schwitter},
  editor       = {Fran{\c{c}}ois Bry and
                  Burkhard Freitag and
                  Dietmar Seipel},
  title        = {Attempto - Englisch als (formale) Spezifikationssprache (system description)},
  booktitle    = {Twelfth Workshop Logic Programming, {WLP} 1997, 17-19 September 1997,
                  M{\"{u}}nchen, Germany, Technical Report {PMS-FB-1997-10}},
  publisher    = {Ludwig Maximilians Universit{\"{a}}t M{\"{u}}nchen},
  year         = {1997},
  timestamp    = {Wed, 07 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wlp/FuchsSS97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wlp/Goltz97,
  author       = {Hans{-}Joachim Goltz},
  editor       = {Fran{\c{c}}ois Bry and
                  Burkhard Freitag and
                  Dietmar Seipel},
  title        = {Redundante Constraints und Heuristiken zum effizienten L{\"{o}}sen
                  von Problemen der Ablaufplanung mit {CHIP}},
  booktitle    = {Twelfth Workshop Logic Programming, {WLP} 1997, 17-19 September 1997,
                  M{\"{u}}nchen, Germany, Technical Report {PMS-FB-1997-10}},
  publisher    = {Ludwig Maximilians Universit{\"{a}}t M{\"{u}}nchen},
  year         = {1997},
  timestamp    = {Wed, 07 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wlp/Goltz97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wlp/Hanus97,
  author       = {Michael Hanus},
  editor       = {Fran{\c{c}}ois Bry and
                  Burkhard Freitag and
                  Dietmar Seipel},
  title        = {Curry: {A} Multi-Paradigm Declarative Language (system description)},
  booktitle    = {Twelfth Workshop Logic Programming, {WLP} 1997, 17-19 September 1997,
                  M{\"{u}}nchen, Germany, Technical Report {PMS-FB-1997-10}},
  publisher    = {Ludwig Maximilians Universit{\"{a}}t M{\"{u}}nchen},
  year         = {1997},
  timestamp    = {Wed, 07 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wlp/Hanus97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wlp/Ibens97,
  author       = {Ortrun Ibens},
  editor       = {Fran{\c{c}}ois Bry and
                  Burkhard Freitag and
                  Dietmar Seipel},
  title        = {The {SETHEO} System (system description)},
  booktitle    = {Twelfth Workshop Logic Programming, {WLP} 1997, 17-19 September 1997,
                  M{\"{u}}nchen, Germany, Technical Report {PMS-FB-1997-10}},
  publisher    = {Ludwig Maximilians Universit{\"{a}}t M{\"{u}}nchen},
  year         = {1997},
  timestamp    = {Wed, 07 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wlp/Ibens97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wlp/KandziaS97,
  author       = {Paul{-}Thomas Kandzia and
                  Christian Schlepphorst},
  editor       = {Fran{\c{c}}ois Bry and
                  Burkhard Freitag and
                  Dietmar Seipel},
  title        = {{FLORID} - {A} Prototype for F-Logic (system description)},
  booktitle    = {Twelfth Workshop Logic Programming, {WLP} 1997, 17-19 September 1997,
                  M{\"{u}}nchen, Germany, Technical Report {PMS-FB-1997-10}},
  publisher    = {Ludwig Maximilians Universit{\"{a}}t M{\"{u}}nchen},
  year         = {1997},
  timestamp    = {Wed, 07 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wlp/KandziaS97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wlp/KettnerE97,
  author       = {Mathias Kettner and
                  Norbert Eisinger},
  editor       = {Fran{\c{c}}ois Bry and
                  Burkhard Freitag and
                  Dietmar Seipel},
  title        = {Der Tableau-Browser {SNARKS} (system description)},
  booktitle    = {Twelfth Workshop Logic Programming, {WLP} 1997, 17-19 September 1997,
                  M{\"{u}}nchen, Germany, Technical Report {PMS-FB-1997-10}},
  publisher    = {Ludwig Maximilians Universit{\"{a}}t M{\"{u}}nchen},
  year         = {1997},
  timestamp    = {Wed, 07 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wlp/KettnerE97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wlp/Leuschel97,
  author       = {Michael Leuschel},
  editor       = {Fran{\c{c}}ois Bry and
                  Burkhard Freitag and
                  Dietmar Seipel},
  title        = {Extending Homeomorphic Embedding in the Context of Logic Programming},
  booktitle    = {Twelfth Workshop Logic Programming, {WLP} 1997, 17-19 September 1997,
                  M{\"{u}}nchen, Germany, Technical Report {PMS-FB-1997-10}},
  publisher    = {Ludwig Maximilians Universit{\"{a}}t M{\"{u}}nchen},
  year         = {1997},
  timestamp    = {Wed, 07 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wlp/Leuschel97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wlp/LeuschelS97,
  author       = {Michael Leuschel and
                  Danny De Schreye},
  editor       = {Fran{\c{c}}ois Bry and
                  Burkhard Freitag and
                  Dietmar Seipel},
  title        = {Constrained Partial Deduction},
  booktitle    = {Twelfth Workshop Logic Programming, {WLP} 1997, 17-19 September 1997,
                  M{\"{u}}nchen, Germany, Technical Report {PMS-FB-1997-10}},
  publisher    = {Ludwig Maximilians Universit{\"{a}}t M{\"{u}}nchen},
  year         = {1997},
  timestamp    = {Wed, 07 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wlp/LeuschelS97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wlp/MullerM97,
  author       = {Tobias M{\"{u}}ller and
                  Martin M{\"{u}}ller},
  editor       = {Fran{\c{c}}ois Bry and
                  Burkhard Freitag and
                  Dietmar Seipel},
  title        = {Finite Set Intervals in Oz},
  booktitle    = {Twelfth Workshop Logic Programming, {WLP} 1997, 17-19 September 1997,
                  M{\"{u}}nchen, Germany, Technical Report {PMS-FB-1997-10}},
  pages        = {17--19},
  publisher    = {Ludwig Maximilians Universit{\"{a}}t M{\"{u}}nchen},
  year         = {1997},
  timestamp    = {Thu, 21 Mar 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wlp/MullerM97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wlp/PigeotR97,
  author       = {Iris Pigeot and
                  Ursula Robers},
  editor       = {Fran{\c{c}}ois Bry and
                  Burkhard Freitag and
                  Dietmar Seipel},
  title        = {The Use of Inductive Logic Programming for the Developement of the
                  Statistical Software Tool {CORA} (system description)},
  booktitle    = {Twelfth Workshop Logic Programming, {WLP} 1997, 17-19 September 1997,
                  M{\"{u}}nchen, Germany, Technical Report {PMS-FB-1997-10}},
  publisher    = {Ludwig Maximilians Universit{\"{a}}t M{\"{u}}nchen},
  year         = {1997},
  timestamp    = {Wed, 07 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wlp/PigeotR97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wlp/SchiemannJGB97,
  author       = {Andr{\'{e}} Schiemann and
                  Ulrich John and
                  Ulrich Geske and
                  Dmitri Boulanger},
  editor       = {Fran{\c{c}}ois Bry and
                  Burkhard Freitag and
                  Dietmar Seipel},
  title        = {Realisierung und Anwendung von Constraint-Hierarchien f{\"{u}}r
                  die Konfiguration technischer Systeme in ConBaCon},
  booktitle    = {Twelfth Workshop Logic Programming, {WLP} 1997, 17-19 September 1997,
                  M{\"{u}}nchen, Germany, Technical Report {PMS-FB-1997-10}},
  publisher    = {Ludwig Maximilians Universit{\"{a}}t M{\"{u}}nchen},
  year         = {1997},
  timestamp    = {Wed, 07 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wlp/SchiemannJGB97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wlp/SchrammF97,
  author       = {Manfred Schramm and
                  Volker Fischer},
  editor       = {Fran{\c{c}}ois Bry and
                  Burkhard Freitag and
                  Dietmar Seipel},
  title        = {Probabilistic Reasoning with Maximum Entropy - The System {PIT} (system
                  description)},
  booktitle    = {Twelfth Workshop Logic Programming, {WLP} 1997, 17-19 September 1997,
                  M{\"{u}}nchen, Germany, Technical Report {PMS-FB-1997-10}},
  publisher    = {Ludwig Maximilians Universit{\"{a}}t M{\"{u}}nchen},
  year         = {1997},
  timestamp    = {Wed, 07 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wlp/SchrammF97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wlp/Seipel97,
  author       = {Dietmar Seipel},
  editor       = {Fran{\c{c}}ois Bry and
                  Burkhard Freitag and
                  Dietmar Seipel},
  title        = {DisLog - {A} Disjunctive Deductive Database Prototype (system description)},
  booktitle    = {Twelfth Workshop Logic Programming, {WLP} 1997, 17-19 September 1997,
                  M{\"{u}}nchen, Germany, Technical Report {PMS-FB-1997-10}},
  publisher    = {Ludwig Maximilians Universit{\"{a}}t M{\"{u}}nchen},
  year         = {1997},
  timestamp    = {Wed, 07 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wlp/Seipel97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wlp/Wetzel97,
  author       = {Gerhard Wetzel},
  editor       = {Fran{\c{c}}ois Bry and
                  Burkhard Freitag and
                  Dietmar Seipel},
  title        = {A Unifying Framework for Abductive and Constraint Logic Programming},
  booktitle    = {Twelfth Workshop Logic Programming, {WLP} 1997, 17-19 September 1997,
                  M{\"{u}}nchen, Germany, Technical Report {PMS-FB-1997-10}},
  publisher    = {Ludwig Maximilians Universit{\"{a}}t M{\"{u}}nchen},
  year         = {1997},
  timestamp    = {Wed, 07 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wlp/Wetzel97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wlp/Wolf97,
  author       = {Armin Wolf},
  editor       = {Fran{\c{c}}ois Bry and
                  Burkhard Freitag and
                  Dietmar Seipel},
  title        = {Adaptiv-inkrementelle Unifikation},
  booktitle    = {Twelfth Workshop Logic Programming, {WLP} 1997, 17-19 September 1997,
                  M{\"{u}}nchen, Germany, Technical Report {PMS-FB-1997-10}},
  publisher    = {Ludwig Maximilians Universit{\"{a}}t M{\"{u}}nchen},
  year         = {1997},
  timestamp    = {Wed, 07 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wlp/Wolf97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wlp/ZukowskiF97,
  author       = {Ulrich Zukowski and
                  Burkhard Freitag},
  editor       = {Fran{\c{c}}ois Bry and
                  Burkhard Freitag and
                  Dietmar Seipel},
  title        = {An Overview of the {LOLA} System (system description)},
  booktitle    = {Twelfth Workshop Logic Programming, {WLP} 1997, 17-19 September 1997,
                  M{\"{u}}nchen, Germany, Technical Report {PMS-FB-1997-10}},
  publisher    = {Ludwig Maximilians Universit{\"{a}}t M{\"{u}}nchen},
  year         = {1997},
  timestamp    = {Wed, 07 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wlp/ZukowskiF97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/wlp/1997,
  editor       = {Fran{\c{c}}ois Bry and
                  Burkhard Freitag and
                  Dietmar Seipel},
  title        = {Twelfth Workshop Logic Programming, {WLP} 1997, 17-19 September 1997,
                  M{\"{u}}nchen, Germany, Technical Report {PMS-FB-1997-10}},
  publisher    = {Ludwig Maximilians Universit{\"{a}}t M{\"{u}}nchen},
  year         = {1997},
  timestamp    = {Thu, 21 Mar 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wlp/1997.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.