Conferences in DBLP
Slim Abdennadher , Hans Schlenker INTERDIP - Ein Interaktiver Constraint-basierter Dienstplaner für Krankenstationen. [Citation Graph (0, 0)][DBLP ] Conf ] Uwe Egly , Hans Tompits A Sequent Calculus for Intuitionistic Default Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Norbert E. Fuchs , Uta Schwertel , Rolf Schwitter Attempto - Englisch als (formale) Spezifikationssprache (system description). [Citation Graph (0, 0)][DBLP ] Conf ] Iris Pigeot , Ursula Robers The Use of Inductive Logic Programming for the Developement of the Statistical Software Tool CORA (system description). [Citation Graph (0, 0)][DBLP ] Conf ] André Schiemann , Ulrich John , Ulrich Geske , Dmitri Boulanger Realisierung und Anwendung von Constraint-Hierarchien für die Konfiguration technischer Systeme in ConBaCon. [Citation Graph (0, 0)][DBLP ] Conf ] Manfred Schramm , Volker Fischer Probabilistic Reasoning with Maximum Entropy - The System PIT (system description). [Citation Graph (0, 0)][DBLP ] Conf ] Dietmar Seipel DisLog - A Disjunctive Deductive Database Prototype (system description). [Citation Graph (0, 0)][DBLP ] Conf ] Gerhard Wetzel A Unifying Framework for Abductive and Constraint Logic Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Armin Wolf Adaptiv-inkrementelle Unifikation. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Leuschel , Danny De Schreye Constrained Partial Deduction. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Leuschel Extending Homeomorphic Embedding in the Context of Logic Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Simona Citrigno , Thomas Eiter , Wolfgang Faber , Georg Gottlob , Christoph Koch , Nicola Leone , Cristinel Mateis , Gerald Pfeifer , Francesco Scarcello The dlv System: Model Generator and Advanced Frontends (system description). [Citation Graph (0, 0)][DBLP ] Conf ] Michael Hanus Curry: A Multi-Paradigm Declarative Language (system description). [Citation Graph (0, 0)][DBLP ] Conf ] Harold Boley Wissensbasen im World Wide Web: Eine Herausforderung für die logische Programimerung. [Citation Graph (0, 0)][DBLP ] Conf ] Ortrun Ibens The SETHEO System (system description). [Citation Graph (0, 0)][DBLP ] Conf ] Dmitri Boulanger Analyzing Declarative Semantics of Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Dmitri Boulanger , Andreas Fordan , Ulrich Geske , Hans-Joachim Goltz , Ulrich John , Alexander Nareyek , André Schiemann , Armin Wolf Constraint-basierte Planung und Konfiguration (system description). [Citation Graph (0, 0)][DBLP ] Conf ] Paul-Thomas Kandzia , Christian Schlepphorst FLORID - A Prototype for F-Logic (system description). [Citation Graph (0, 0)][DBLP ] Conf ] Mathias Kettner , Norbert Eisinger Der Tableau-Browser SNARKS (system description). [Citation Graph (0, 0)][DBLP ] Conf ] Hans-Joachim Goltz Redundante Constraints und Heuristiken zum effizienten Lösen von Problemen der Ablaufplanung mit CHIP. [Citation Graph (0, 0)][DBLP ] Conf ] Ulrich Zukowski , Burkhard Freitag An Overview of the LOLA System (system description). [Citation Graph (0, 0)][DBLP ] Conf ] Tobias Müller , Martin Müller Finite Set Intervals in Oz. [Citation Graph (0, 0)][DBLP ] Conf ] 