Conferences in DBLP
Alain Colmerauer Solving the Multiplication Constraint in Several Approximation Spaces. [Citation Graph (0, 0)][DBLP ] Conf ] Robert A. Kowalski Is Logic Really Dead or Only Just Sleeping? [Citation Graph (0, 0)][DBLP ] Conf ] Patrick Cousot Design of Syntactic Program Transformations by Abstract Interpretation of Semantic Transformations. [Citation Graph (0, 0)][DBLP ] Conf ] Ashish Gupta X-tegration - Some Cross-Enterprise Thoughts. [Citation Graph (0, 0)][DBLP ] Conf ] Jan Wielemaker Building Real-Life Applications with Prolog. [Citation Graph (0, 0)][DBLP ] Conf ] Eric Villemonte de la Clergerie Natural Language Tabular Parsing. [Citation Graph (0, 0)][DBLP ] Conf ] Kazunori Ueda A Close Look at Constraint-Based Concurrency. [Citation Graph (0, 0)][DBLP ] Conf ] V. S. Subrahmanian Probabilistic Databases and Logic Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Luís Fernando Castro , Vítor Santos Costa Understanding Memory Management in Prolog Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Karen Villaverde , Enrico Pontelli , Hai-Feng Guo , Gopal Gupta PALS: An Or-Parallel Implementation of Prolog on Beowulf Architectures. [Citation Graph (0, 0)][DBLP ] Conf ] Ricardo Rocha , Fernando M. A. Silva , Vítor Santos Costa On a Tabling Engine That Can Exploit Or-Parallelism. [Citation Graph (0, 0)][DBLP ] Conf ] Nicolas Beldiceanu , Mats Carlsson Revisiting the Cardinality Operator and Introducing the Cardinality-Path Constraint Family. [Citation Graph (0, 0)][DBLP ] Conf ] Christian Holzbaur , Maria J. García de la Banda , David Jeffery , Peter J. Stuckey Optimizing Compilation of Constraint Handling Rules. [Citation Graph (0, 0)][DBLP ] Conf ] Maria J. García de la Banda , David Jeffery , Kim Marriott , Nicholas Nethercote , Peter J. Stuckey , Christian Holzbaur Building Constraint Solvers with HAL. [Citation Graph (0, 0)][DBLP ] Conf ] Nancy Mazur , Peter Ross , Gerda Janssens , Maurice Bruynooghe Practical Aspects for a Working Compile Time Garbage Collection System for Mercury. [Citation Graph (0, 0)][DBLP ] Conf ] Jacob M. Howe , Andy King Positive Boolean Functions as Multiheaded Clauses. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Codish , Samir Genaim , Harald Søndergaard , Peter J. Stuckey Higher-Precision Groundness Analysis. [Citation Graph (0, 0)][DBLP ] Conf ] Hai-Feng Guo , C. R. Ramakrishnan , I. V. Ramakrishnan Speculative Beats Conservative Justification. [Citation Graph (0, 0)][DBLP ] Conf ] Samik Basu , Madhavan Mukund , C. R. Ramakrishnan , I. V. Ramakrishnan , Rakesh M. Verma Local and Symbolic Bisimulation Using Tabled Constraint Logic Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Hai-Feng Guo , Gopal Gupta A Simple Scheme for Implementing Tabled Logic Programming Systems Based on Dynamic Reordering of Alternatives. [Citation Graph (0, 0)][DBLP ] Conf ] Zbigniew Lonc , Miroslaw Truszczynski Fixed-Parameter Complexity of Semantics for Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Marc Denecker , Nikolay Pelov , Maurice Bruynooghe Ultimate Well-Founded and Stable Semantics for Logic Programs with Aggregates. [Citation Graph (0, 0)][DBLP ] Conf ] K. Narayan Kumar , C. R. Ramakrishnan , Scott A. Smolka Alternating Fixed Points in Boolean Equation Systems as Preferred Stable Models. [Citation Graph (0, 0)][DBLP ] Conf ] Esra Erdem , Vladimir Lifschitz Fages' Theorem for Programs with Nested Expressions. [Citation Graph (0, 0)][DBLP ] Conf ] Fernando Orejas , Edelmira Pasarella , Elvira Pino Semantics of Normal Logic Programs with Embedded Implications. [Citation Graph (0, 0)][DBLP ] Conf ] Jesús Medina , Manuel Ojeda-Aciego , Peter Vojtás A Multi-adjoint Logic Approach to Abductive Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] Wlodzimierz Drabent , Miroslawa Milkowska Proving Correctness and Completeness of Normal Programs - A Declarative Approach. [Citation Graph (0, 0)][DBLP ] Conf ] Ken Kaneiwa , Satoshi Tojo An Order-Sorted Resolution with Implicitly Negative Sorts. [Citation Graph (0, 0)][DBLP ] Conf ] Mutsunori Banbara , Kyoung-Sun Kang , Takaharu Hirai , Naoyuki Tamura Logic Programming in a Fragment of Intuitionistic Temporal Linear Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Jesús Manuel Almendros-Jiménez , Antonio Becerra-Terón , Jaime Sánchez-Hernández A Computational Model for Functional Logic Deductive Databases. [Citation Graph (0, 0)][DBLP ] Conf ] Gianluigi Greco , Sergio Greco , Ester Zumpano A Logic Programming Approach to the Integration, Repairing and Querying of Inconsistent Databases. [Citation Graph (0, 0)][DBLP ] Conf ] 