Conferences in DBLP
Andreas Krall Implementation techniques for Prolog. [Citation Graph (0, 0)][DBLP ] Conf ] Giancarlo Succi , Joy Marino , Alberto Baudino , Antonio Durante The Compilation of a Set-Based Logic Language for Generic Parallel Machines. [Citation Graph (0, 0)][DBLP ] Conf ] Otilia Werner , Adenauer C. Yamin , Jorge L. V. Barbosa , Cláudio F. R. Geyer OPERA Project: An Approach Towards Parallelism Exploitation on Logic Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Jens E. Wunderwald Logikprogrammieren mit frei wählbarer Auswertungsrichtung. [Citation Graph (0, 0)][DBLP ] Conf ] Khaled Bsaïes Discovering "Eureka Steps" in Transforming Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Fredrik Eklund , Andreas Kågedal Optimization of GAPLog Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Paolo Frigo , Massimo Marchiori Implementing Prolog Programs Free from Unification. [Citation Graph (0, 0)][DBLP ] Conf ] Urs Badertscher , Robert W. Marti , Ulrich Reimer Integrating Terminological and Deductive Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] T. H. Fung A Modified Abductive Framework. [Citation Graph (0, 0)][DBLP ] Conf ] Frieder Stolzenburg Logic Programming with Sets by Membership-Constraints. [Citation Graph (0, 0)][DBLP ] Conf ] David Pearce Some General Properies of Answer Set Inference for Extended Disjunctive Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] François Bry Logikprogrammierung ohne Modelltheorie? [Citation Graph (0, 0)][DBLP ] Conf ] Stefan Benzschawel Another Method for Compiling Datalog. [Citation Graph (0, 0)][DBLP ] Conf ] Stefan Decker , Christoph Lingenfelder Überprüfung von Integritätsbedingungen in deduktiven Datenbanken durch SLDNF-Beweisanalyse und -strukturierung. [Citation Graph (0, 0)][DBLP ] Conf ] Roman Gross , Robert W. Marti DeCoR a Deductive Constraint Database System. [Citation Graph (0, 0)][DBLP ] Conf ] Gerd Wagner Transforming Deductive into Active Databases. [Citation Graph (0, 0)][DBLP ] Conf ] Maria Vargas-Vera , David Stuart Robertson An Environment for Building Prolog Programs Based on Knowledge about their Construction. [Citation Graph (0, 0)][DBLP ] Conf ] Jorge L. V. Barbosa , Otilia Werner , Cláudio F. R. Geyer Automatic Granularity Analysis in Logic Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Stefan Brass , Jürgen Dix A Characterization of the Stable Semantics by Partial Evaluation. [Citation Graph (0, 0)][DBLP ] Conf ] Isabelle Blot , Irène Foucherot , François Jacquenet Incremental Generation of Parsers for Knowledge Manipulation in PROLOG. [Citation Graph (0, 0)][DBLP ] Conf ] Steffen Hölldobler , Yvonne Kalinke Ein massiv paralleles Modell für die Logikprogrammierung. [Citation Graph (0, 0)][DBLP ] Conf ] Gregor Meyer Zur Modellierung in der ordnungssortierten logischen Programmierung. [Citation Graph (0, 0)][DBLP ] Conf ] Dietmar Seipel A Dual Fixpoint Approach for Deriving the Disjunctive Well-Founded Semantics. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Nitsche , Ulrich Geske Logische Spezifikation von Steuerkonstrukten imperativer Programmiersprachen. [Citation Graph (0, 0)][DBLP ] Conf ] Paul Soper , Muhammad A. Pasha Logic Programming Techniques for Handling Navigational Problems of Hypermedia Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Bernhard Beckert , Joachim Posegga Logic Programming as a Bases for Lean Deduction: Achieving Maximal Efficiency from Minimal Means. [Citation Graph (0, 0)][DBLP ] Conf ] Rainer Staudte , Uwe Erdmenger Hilfsmattaufgaben als arithmetische Constraints. [Citation Graph (0, 0)][DBLP ] Conf ] Antonio Mendes da Silva Filho Prototyping Real-Time Systems Using Logic Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Thom W. Frühwirth Constraint Handling Rules (Extended Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Peter Barth , Alexander Bockmayr Global Consistency in CLP(PB). [Citation Graph (0, 0)][DBLP ] Conf ] Philippe Refalo Solving Real Linear Ask Constraints. [Citation Graph (0, 0)][DBLP ] Conf ] Robert A. Kowalski , Francesca Toni , Gerhard Wetzel Towards a Declarative and Efficient Glass-Box CLP Language. [Citation Graph (0, 0)][DBLP ] Conf ] Armin Wolf Erweiterte Modellierung mit linearen Constraints und deren Einbettung in bestehende constraintlogische Programmiersprachen. [Citation Graph (0, 0)][DBLP ] Conf ] Nada Lavrac Inductive Logic Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Nobuhiro Inuzuka Learning without Model-theoretic Improvements. [Citation Graph (0, 0)][DBLP ] Conf ] Ashesh Mahidadia , Claude Sammut , Paul Compton Helping Researchers To Construct Scientific Models: A Tool From Inductive Logic Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Lubos Popelínsky Towards Program Synthesis From A Samll Example Set. [Citation Graph (0, 0)][DBLP ] Conf ] 