Conferences in DBLP
Robin Milner The Pi Calculus and Its Applications (Keynote Address). [Citation Graph (0, 0)][DBLP ] Conf ] Ken McAloon Disjunctive Linear Programming: At the Intersection of Operations Research and Logic Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Nada Lavrac Inductive Logic Programming for Relational Knowledge Discovery. [Citation Graph (0, 0)][DBLP ] Conf ] Philippe Devienne , Jean-Marc Talbot , Sophie Tison Co-definite Set Constraints with Membership Expressions. [Citation Graph (0, 0)][DBLP ] Conf ] Agostino Dovier , Carla Piazza , Gianfranco Rossi , Enrico Pontelli On the Representation and Management of Finite Sets in CLP Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Philippe Refalo Meta-linear Constraints in Constraint Logic Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Neng-Fa Zhou A High-Level Intermediate Language and the Algorithms for Compiling Finite-Domain Constraints. [Citation Graph (0, 0)][DBLP ] Conf ] Kish Shen , Vítor Santos Costa , Andy King Distance: A New Metric for Controlling Granularity for Parallel Execution. [Citation Graph (0, 0)][DBLP ] Conf ] Nuno Fonseca , Vítor Santos Costa , Inês de Castro Dutra VisAll: A Universal Tool to Visualise Parallel Execution of Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Iliano Cervesato Proof-Theoretic Foundation of Compilation in Logic Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Frédéric Malésieux , Olivier Ridoux , Patrice Boizumault Abstract Compilation of lambda-Prolog. [Citation Graph (0, 0)][DBLP ] Conf ] Joshua S. Hodas , K. M. Watkins , Naoyuki Tamura , Kyoung-Sun Kang Efficient Implementation of a Linear Logic Programming Language. [Citation Graph (0, 0)][DBLP ] Conf ] Grigoris Antoniou , David Billington , Michael J. Maher Normal Forms for Defeasible Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Jia-Huai You , Li-Yan Yuan , Randy Goebel Regular Extension Semantics and Disjunctive Eshghi Kowalski Procedure. [Citation Graph (0, 0)][DBLP ] Conf ] Sandro Etalle , Femke van Raamsdonk Beyond Success and Failure. [Citation Graph (0, 0)][DBLP ] Conf ] Philippe Devienne , Anne Parrain , Patrick Taillibert , S. Varennes Source-to-source Prolog Program Compression. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Leuschel Program Specialisation and Abstract Interpretation Reconciled. [Citation Graph (0, 0)][DBLP ] Conf ] Stefaan Decorte , Danny De Schreye Termination Analysis: Some Practical Properties of the Norm and Level Mapping Space. [Citation Graph (0, 0)][DBLP ] Conf ] Michael I. Dekhtyar , Alexander Ja. Dikovsky , Nicolas Spyratos On Logically Justified Updates. [Citation Graph (0, 0)][DBLP ] Conf ] João Alexandre Leite , Luís Moniz Pereira Iterated Logic Program Updates. [Citation Graph (0, 0)][DBLP ] Conf ] Wim Vanhoof , Bern Martens , Danny De Schreye , Karel De Vlaminck Specialising the Other Way Arond. [Citation Graph (0, 0)][DBLP ] Conf ] Sergio Greco , Carlo Zaniolo Greedy Algorithms in Datalog with Choice and Negation. [Citation Graph (0, 0)][DBLP ] Conf ] Prasad Rao , C. R. Ramakrishnan , I. V. Ramakrishnan On the Optimality of Scheduling Strategies in Subsumption-based Tabled Resolution. [Citation Graph (0, 0)][DBLP ] Conf ] Rachid Echahed , Jean-Christophe Janodet Admissible Graph Rewriting and Narrowing. [Citation Graph (0, 0)][DBLP ] Conf ] Antonis C. Kakas , A. Michael Applications of Abductive Logic Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Hélène Collavizza , François Delobel , Michel Rueher Relationships between Partial Consistencies over Continuous Domains. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Hanus , Frank Steiner Controlling Search in Funtional Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Eric Monfroy A Solver Collaboration in BALI. [Citation Graph (0, 0)][DBLP ] Conf ] Alvaro Ruiz-Andino , José J. Ruz Integration of CLP and Stochastic Optimisation Strategies. [Citation Graph (0, 0)][DBLP ] Conf ] François Fages , Massimo Paltrinieri A Generic Type System for CLP(chi). [Citation Graph (0, 0)][DBLP ] Conf ] Nicos Angelopoulos , Alessandra Di Pierro , Herbert Wiklicky Implementing Randomised Algorithms in Constraint Logic Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Gopal Gupta Horn Logic Denotations. [Citation Graph (0, 0)][DBLP ] Conf ] Andreas Fordan , Roland H. C. Yap Towards Early Projection in CLP(R). [Citation Graph (0, 0)][DBLP ] Conf ] 