Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/conf/wlp/wlp97.bht:"
@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} }
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.