Conferences in DBLP
Yannick Cras Using Constraint Logic Programming in Services: A Few Short Tales. [Citation Graph (0, 0)][DBLP ] Conf ] Neil D. Jones Abstract Interpretation and Partial Evaluation in Functional and Logic Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Georg Gottlob Complexity and Expressive Power of Disjunctive Logic Programming. [Citation Graph (0, 0)][DBLP ] Conf ] John W. Lloyd Combining Functional and Logic Programming Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Hudson Turner Signed Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Kenneth A. Ross A Syntactic Stratification Condition Using Constraints. [Citation Graph (1, 0)][DBLP ] Conf ] Bernard Malfon Characterization of Some Semantics for Logic Programs with Negation and Applications to Program Validation. [Citation Graph (0, 0)][DBLP ] Conf ] C. K. Chiu , Jimmy Ho-Man Lee Towards Practical Interval Constraint Solving in Logic Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Frédéric Benhamou , David A. McAllester , Pascal Van Hentenryck CLP(Intervals) Revisited. [Citation Graph (0, 0)][DBLP ] Conf ] Jean-Louis Imbert Redundancy, Variable Elimination and Linear Disequations. [Citation Graph (0, 0)][DBLP ] Conf ] Baudouin Le Charlier , Sabina Rossi , Pascal Van Hentenryck An Abstract Interpretation Framework which Accurately Handles Prolog Search-Rule and the Cut. [Citation Graph (0, 0)][DBLP ] Conf ] Marco Comini , Giorgio Levi An Algebraic Theory of Observables. [Citation Graph (0, 0)][DBLP ] Conf ] David Toman , Jan Chomicki , David S. Rogers Datalog with Integer Periodicity Constraints. [Citation Graph (6, 0)][DBLP ] Conf ] Raghu Ramakrishnan , Kenneth A. Ross , Divesh Srivastava , S. Sudarshan Efficient Incremental Evaluation of Queries with Aggregation. [Citation Graph (4, 0)][DBLP ] Conf ] Terrance Swift , David Scott Warren Analysis of SLG-WAM Evaluation of Definite Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Jia-Huai You , Robert Cartwright Tractable Argumentation Semantics via Iterative Belief Revision. [Citation Graph (0, 0)][DBLP ] Conf ] Laks V. S. Lakshmanan , Fereidoon Sadri Probabilistic Deductive Databases. [Citation Graph (3, 0)][DBLP ] Conf ] Paul Broome , James Lipton Combinatory Logic Programming: Computing in Relation Calculi. [Citation Graph (0, 0)][DBLP ] Conf ] Inês de Castro Dutra Strategies for Scheduling And- and Or-Parallel Work in Parallel Logic Programming Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Saumya K. Debray , Mudita Jain A Simple Program Transformation for Parallelism. [Citation Graph (0, 0)][DBLP ] Conf ] Francisco Bueno , Maria J. García de la Banda , Manuel V. Hermenegildo Effectiveness of Global Analysis in Strict Independence-Based Automatic Parallelization. [Citation Graph (0, 0)][DBLP ] Conf ] Carmen Gervet Conjunto: Constraint Logic Programming with Finite Set Domains. [Citation Graph (1, 0)][DBLP ] Conf ] Andreas Podelski , Peter Van Roy The Beauty and the Beast Algorithm: Quasi-Linear Incremental Tests of Entailment and Disentailment over Trees. [Citation Graph (0, 0)][DBLP ] Conf ] Roberto Giacobazzi Abductive Analysis of Modular Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Massimo Marchiori Localizations of Unification Freedom through Matching Directions. [Citation Graph (0, 0)][DBLP ] Conf ] Alain Hui-Bon-Hoa Intuitionistic Implication and Resolution. [Citation Graph (0, 0)][DBLP ] Conf ] José Júlio Alferes , Carlos Viegas Damásio , Luís Moniz Pereira SLX - A Top-down Derivation Procedure for Programs with Explicit Negation. [Citation Graph (0, 0)][DBLP ] Conf ] David A. Rosenblueth , Julio C. Peralta LR Inference: Inference Systems for Fixed-Mode Logic Programs, Based on LR Parsing. [Citation Graph (0, 0)][DBLP ] Conf ] C. Braem , Baudouin Le Charlier , S. Modart , Pascal Van Hentenryck Cardinality Analysis of Prolog. [Citation Graph (0, 0)][DBLP ] Conf ] Kjell Post Mutally Exclusive Rules in Logic Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Saumya K. Debray , David Gudeman , Peter A. Bigot Detection and Optimization of Suspension-free Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Christian Schulte , Gert Smolka Encapsulated Search for Higher-order Concurrent Constraint Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Björn Carlson , Seif Haridi , Sverker Janson AKL(FD) - A Concurrent Language for FD Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Robert A. Kowalski , Fariba Sadri The Situation Calculus and Event Calculus Compared. [Citation Graph (1, 0)][DBLP ] Conf ] Jonas Barklund , Pierangelo Dell'Acqua , Stefania Costantini , Gaetano Aurelio Lanzarone SLD - Resolution with Reflection. [Citation Graph (0, 0)][DBLP ] Conf ] Kim Marriott , Peter J. Stuckey Approximating Interaction between Linear Arithmetic Constraints. [Citation Graph (0, 0)][DBLP ] Conf ] Spiro Michaylov , Bill Pippin Optimizing Compilation of Linear Arithmetic in a Class of Constraint Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas Lindgren A Continuation-Passing Style for Prolog. [Citation Graph (0, 0)][DBLP ] Conf ] R. Ramesh , Weidong Chen A Portable Method of Integrating SLG Resolution into Prolog Systems. [Citation Graph (2, 0)][DBLP ] Conf ] Terrance Swift , David Scott Warren An Abstract Machine for SLG Resolution: Definite Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Gilberto Filé , Francesco Ranzato Improving Abstract Interpretations by Systematic Lifting to the Powerset. [Citation Graph (0, 0)][DBLP ] Conf ] Gregory W. Bond , Bernie Pagurek Declarative Error Diagnosis as Consistency-Based Diagnosis. [Citation Graph (0, 0)][DBLP ] Conf ] Pascal Brisset Avoiding Dynamic Type Checking in a Polymorphic Logic Programming Language. [Citation Graph (0, 0)][DBLP ] Conf ] Iliano Cervesato , Luca Chittaro , Angelo Montanari Modal Event Calculus. [Citation Graph (0, 0)][DBLP ] Conf ] Andrew Davison , Elizabeth Haywood Parsing with PTN. [Citation Graph (0, 0)][DBLP ] Conf ] Michael I. Dekhtyar , Alexander Ja. Dikovsky On Stable Behaviour of Dynamic Deductive Data Bases. [Citation Graph (0, 0)][DBLP ] Conf ] Jean Jourdan , François Fages , Didier Rozzonelli , Alain Demeure Data Alignment and Task Scheduling On Parallel Machines Using Concurrent Constraint Model-based Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Jonathan M. Lever Constraint Logic Programming for Planning. [Citation Graph (0, 0)][DBLP ] Conf ] Miguel-Angel Oros , Paul Y. Gloess Inferring Inheritance from Datalog Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Arcot Rajasekar Constraint Logic Programming on Strings: Theory and Applications. [Citation Graph (0, 0)][DBLP ] Conf ] Konstantinos F. Sagonas , David Scott Warren A Portable Compiler for Integrating HiLog into Prolog Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Dongxing Tang , Enrico Pontelli , Gopal Gupta , Manuel Carro Last Parallel Call Optimization and Fast Backtracking in And-parallel Logic Programming Systems. [Citation Graph (0, 0)][DBLP ] Conf ] L. Thorne McCarty , Leon A. Shklar A PROLOG Interpreter for First-Order Intuitionistic Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Li-Yan Yuan , Jia-Huai You A Simple but Effective Program Revision Method. [Citation Graph (0, 0)][DBLP ] Conf ] 