Conferences in DBLP
François Bry , Ulrich Geske , Dietmar Seipel Preface. [Citation Graph (0, 0)][DBLP ] Conf ] Slim Abdennadher , Thom W. Frühwirth Definition von angepaßten Constraint-Solvern mit Constraint-Handling-Rules. [Citation Graph (0, 0)][DBLP ] Conf ] David Pearce Equilibrium Logic: An Extension of Answer Set Programming for Nonmonotonic Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] Harold Boley Beziehungen zwischen Logikprogrammierung und XML. [Citation Graph (0, 0)][DBLP ] Conf ] Frank Puppe Übersicht über heuristische, fallbasierte und modellbasierte Problemlösungsmethoden in der Diagnostik. [Citation Graph (0, 0)][DBLP ] Conf ] Ulrich John Rekonfiguration komplexer industrieller Produkte mittels constraint-logischer Programmierung. [Citation Graph (0, 0)][DBLP ] Conf ] Hans Schlenker Reduce-To-The-Max: ein schneller Algorithmus für Multi-Ressourcen-Probleme. [Citation Graph (0, 0)][DBLP ] Conf ] Markus Hannebauer , Ines Münch Fransforming object-oriented domain models into declarative CLP expressions. [Citation Graph (0, 0)][DBLP ] Conf ] Hans-Joachim Goltz Über Methoden des constrainbasierten Lösens von Problemen der Stundenplanung. [Citation Graph (0, 0)][DBLP ] Conf ] Georg Ringwelski , Armin Wolf , Ulrich Geske Implementierung von built-in Constraints für endliche Wertebereiche in Minerva. [Citation Graph (0, 0)][DBLP ] Conf ] Annalisa Di Deo , Dmitri Boulanger Using Objects to Build Constraint Databases. [Citation Graph (0, 0)][DBLP ] Conf ] Clemens Beckstein , Manfred Rahneberg On the Complexity of Generalized Horn Clause Intuionistic Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas Eiter , Wolfgang Faber , Nicola Leone , Gerald Pfeifer , Axel Polleres Using the dlv System for Planning and Diagnostic Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] Frank Steiner , Michael Hanus Type-based Nondeterminism Checking in Functional Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Hanus TkCurry: A Declarative Approach to GUI Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Steffen Hölldobler Challenge problems for the integration of logic and connectionist systems. [Citation Graph (0, 0)][DBLP ] Conf ] Pierre E. Bonzon Deliberate Agent Reconcile Reactive and Goal-Oriented Agents. [Citation Graph (0, 0)][DBLP ] Conf ] Marija Kulas Debugging Prolog Using Annotations. [Citation Graph (0, 0)][DBLP ] Conf ] Gabriella Kókai New Missing Solution Method for Trace Trees. [Citation Graph (0, 0)][DBLP ] Conf ] Norbert E. Fuchs Attempto Controlled English. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Hanus PACS: The Portland Aachen Curry System. [Citation Graph (0, 0)][DBLP ] Conf ] Uwe Egly , Thomas Eiter , Hans Tompits , Stefan Woltran Implementing Default Reasoning Using Quantified Boolean Formulae. [Citation Graph (0, 0)][DBLP ] Conf ] Slim Abdennadher , Matthias Saft , Sebastian Will Constraintbasierte Raumplanung für Universitäten. [Citation Graph (0, 0)][DBLP ] Conf ] Gabriella Kókai CAPP: Statische Codeanalyse von PROLOG Programmen. [Citation Graph (0, 0)][DBLP ] Conf ] Stefan Kral , Frédéric Mesnard , Ulrich Neumerkel Slicing zur Fehlersuche in Logikprogrammen. [Citation Graph (0, 0)][DBLP ] Conf ] 