Conferences in DBLP
Jean-Francois Puget Constraint Programming (Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Frédéric Mesnard Inferring Left-terminating Classes of Queries for Constraint Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Philippe Refalo , Pascal Van Hentenryck CLP(Rlin) Revised. [Citation Graph (0, 0)][DBLP ] Conf ] Andrew D. Kelly , Andrew D. Macdonald , Kim Marriott , Peter J. Stuckey , Roland H. C. Yap Effectiveness of Optimizing Compilation for CLP(R). [Citation Graph (0, 0)][DBLP ] Conf ] Matteo Baldoni , Laura Giordano , Alberto Martelli A Framework for a Modal Logic Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Michele Bugliesi , Giorgio Delzanno , Luigi Liquori , Maurizio Martelli A Linear Logic Calculus Objects. [Citation Graph (0, 0)][DBLP ] Conf ] Chiaki Sakama , Katsumi Inoue Representing Priorities in Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Neng-Fa Zhou A Novel Implementation Method of Delay. [Citation Graph (0, 0)][DBLP ] Conf ] Prasad Rao , C. R. Ramakrishnan , I. V. Ramakrishnan A Thread in Time Saves Tabling Time. [Citation Graph (0, 0)][DBLP ] Conf ] Ulrich Neumerkel Interprocedural Register Allocation for the WAM based on Source to Source Transformations. [Citation Graph (0, 0)][DBLP ] Conf ] Anthony J. Bonner , Michael Kifer Concurrency and Communication in Transaction Logic. [Citation Graph (4, 0)][DBLP ] Conf ] Hendrik Decker An Extension of SLD by Abduction and Integrity Maintenance for View Updating in Deductive Databases. [Citation Graph (1, 0)][DBLP ] Conf ] Marc Denecker , Kristof Van Belleghem , Guy Duchatelet , Frank Piessens , Danny De Schreye A Realistic Experiment in Knowledge Representation in Open Event Calculus: Protocol Specification. [Citation Graph (0, 0)][DBLP ] Conf ] Lee Naish A Declarative View of Modes. [Citation Graph (0, 0)][DBLP ] Conf ] Jichang Tan , I-Peng Lin Type Synthesis for Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Kenta Cho , Kazunori Ueda Diagnosing Non-Well-Moded Concurrent Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Andreas Hamfelt , Jørgen Fischer Nilsson Declarative Logic Programming with Primitive Recursive Relations on Lists. [Citation Graph (0, 0)][DBLP ] Conf ] Olivier Ridoux Engineering Transformations of Attributed Grammars in LambdaProlog. [Citation Graph (0, 0)][DBLP ] Conf ] Gilles Dowek , Thérèse Hardin , Claude Kirchner , Frank Pfenning Unification via Explicit Substitutions: The Case of Higher-Order Patterns. [Citation Graph (0, 0)][DBLP ] Conf ] Konstantinos F. Sagonas , Terrance Swift , David Scott Warren An Abstract Machine for Computing the Well-Founded Semantics. [Citation Graph (0, 0)][DBLP ] Conf ] Ilkka Niemelä , Patrik Simons Efficient Implementation of the Well-founded and Stable Model Semantics. [Citation Graph (0, 0)][DBLP ] Conf ] Ulrich Zukowski , Burkhard Freitag Adding Flexibility to Query Evaluation for Modularly Stratified Databases. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Leuschel , Danny De Schreye , D. Andre de Waal A Conceptual Embedding of Folding into Partial Deduction: Towards a Maximal Integration. [Citation Graph (0, 0)][DBLP ] Conf ] Moreno Falaschi , Patrick Hicks , William H. Winsborough Demand Transformation Analysis for Concurrent Constraint Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Gilberto Filé , Francesco Ranzato Complementation of Abstract Domains made Easy. [Citation Graph (0, 0)][DBLP ] Conf ] Yves Caseau , François Laburthe Cumulative Scheduling with Task Intervals. [Citation Graph (0, 0)][DBLP ] Conf ] Olivier Lhomme , Arnaud Gotlieb , Michel Rueher , Patrick Taillibert Boosting the Interval Narrowing Algorithm. [Citation Graph (0, 0)][DBLP ] Conf ] M. R. K. Krishna Rao Completeness Results for Basic Narrowing in Non-Copying Implementations. [Citation Graph (0, 0)][DBLP ] Conf ] Pawel Cholewinski , Miroslaw Truszczynski Extremal Problems in Logic Programming and Stable Model Computation. [Citation Graph (0, 0)][DBLP ] Conf ] Shekhar Pradhan Logic Programs with Contested Information. [Citation Graph (0, 0)][DBLP ] Conf ] Stefania Costantini , Gaetano Aurelio Lanzarone , Giuseppe Magliocco Asserting Lemmas in the Stable Model Semantics. [Citation Graph (0, 0)][DBLP ] Conf ] François Bry A Compositional Semantics for Logic Programs and Deductive Databases. [Citation Graph (0, 0)][DBLP ] Conf ] Sandro Etalle , Frank Teusink A Compositional Semantics for Normal Open Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Thielscher A Nonmonotonic Disputation-Based Semantics and Proof Procedure for Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Anthony J. Kusalik , Steven David Prestwich Visualizing Parallel Logic Program Execution for Performance Tuning. [Citation Graph (0, 0)][DBLP ] Conf ] Kish Shen Initial Results of the Parallel Implementation of DASWAM. [Citation Graph (0, 0)][DBLP ] Conf ] Stefan Lüttringhaus-Kappel , Dirk Schulz Applications of Efficient Lazy Set Expression (Poster Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Wolfram Burgard , Armin B. Cremers , Dieter Fox , Angelica Maria Kappel , Stefan Lüttringhaus-Kappel Logic Programming Tools Applied to Fire Detection in Hard-coal Mines (Poster Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Thomas H. Kolbe Recognition of 3D Objects in Aerial Images on Generic Models (Poster Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Mireille Ducassé , Jacques Noyé Tracing Prolog without a Tracer (Poster Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Gerhard Wetzel , Robert A. Kowalski , Francesca Toni PROCALOG - Programming with Constraints and Abducibles in Logic (Poster Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Rolf Schwitter , Norbert E. Fuchs Attempto Controlled English (ACE) A Seemingly Informal Bridgehead in Formal Territory (Poster Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Andreas Fordan , Ulrich Geske , Alexander Nareyek Optimizing Constraint-Intensive Problems Using Early Projection (Poster Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Juliana Freire , Terrance Swift , David Scott Warren Logic Programming and Databases Integrated at Last? (Poster Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Alberto Pettorossi , Maurizio Proietti , Sophie Renault How to Extend Partial Deduction to Derive the KMP String-Matching Algorithm from a Naive Specification (Poster Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Pierre Deransart , Patrick Parot , Roberto da Silva Bigonha , José de Siqueira A Hypertext Based Environment to Write Literate Logic Programs (Poster Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Liem Ngo Probabilistic Disjunctive Deductive Databases (Poster Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Enrico Pontelli , Gopal Gupta Dependent And-Parallelism Revisited (Poster Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Michael Jampel , Jean-Marie Jacquet , David Gilbert A General Framework for Integrating HCLP and PCSP (Poster Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] H. Lewis Chau Specification of Complex Systems with Definite Clause Grammar (Poster Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Naoyuki Tamura , Yukio Kaneda Resource Management Method for a Compiler System of a Linear Logic Programming Language (Poster Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Chandrabose Aravindan , Peter Baumgartner , Jürgen Dix , Ulrich Furbach , Gerd Neugebauer , Ilkka Niemelä , Dorothea Schäfer , Frieder Stolzenburg On Merging Theorem Proving and Logic Programming Paradigms (Poster Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Sven-Erik Bornscheuer Generating Rational Models (Poster Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Michael Dobrohoczki , Anthony J. Kusalik , Eric Neufeld Colour Tagging for Prolog Visualization (Poster Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Ulrich Neumerkel GUPU: A Prolog Course Environment and its Programming Methodology (Poster Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] 