Conferences in DBLP
John Launchbury , Simon L. Peyton Jones Lazy Funtional State Threads: An Abstract. [Citation Graph (0, 0)][DBLP ] Conf ] Sverker Janson Implementation of Andorra-based Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Kung-Kiu Lau , Geraint A. Wiggins A Tutorial on Synthesis of Logic Programs from Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Evelina Lamma , Paola Mello Modularity in Logic Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Antonis C. Kakas , Paolo Mancarella Abduction and Abductive Logic Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Vladimir Lifschitz , Hudson Turner Splitting a Logic Program. [Citation Graph (1, 0)][DBLP ] Conf ] Norman McCain , Hudson Turner Language Independence and Language Tolerance in Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Jürgen Stuber Computing Stable Models by Program Transformation. [Citation Graph (0, 0)][DBLP ] Conf ] Krzysztof R. Apt , Maurizio Gabbrielli Declarative Interpretations Reconsidered. [Citation Graph (0, 0)][DBLP ] Conf ] Gopal Gupta , Manuel V. Hermenegildo , Enrico Pontelli , Vítor Santos Costa ACE: And/Or-parallel Copying-based Execution of Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Remco Moolenaar , Bart Demoen Hybrid Tree Search in the Andorra Model. [Citation Graph (0, 0)][DBLP ] Conf ] Shyam Mudambi , Joachim Schimpf Parallel CLP on Heterogeneous Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Lourdes Araujo , José J. Ruz PDP: Prolog Distributed Processor for Independent AND\OR Parallel Execution of Prolog. [Citation Graph (0, 0)][DBLP ] Conf ] Neng-Fa Zhou On the Scheme of Passing Arguments in Stack Frames for Prolog. [Citation Graph (0, 0)][DBLP ] Conf ] Peter A. Bigot , David Gudeman , Saumya K. Debray Output Value Placement in Moded Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Ralph Clarke Haygood Native Code Compilation in SICStus Prolog. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Thielscher Representing Actions in Equational Logic Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Kristof Van Belleghem , Marc Denecker , Danny De Schreye Representing Continuous Change in the Abductive Event Calculus. [Citation Graph (0, 0)][DBLP ] Conf ] Alessio Guglielmi Concurrency and Plan Generation in a Logic Programming Language with a Sequential Operator. [Citation Graph (0, 0)][DBLP ] Conf ] Sonia M. Leach , James J. Lu Computing Annotated Logic Programs. [Citation Graph (1, 0)][DBLP ] Conf ] Dov M. Gabbay , Laura Giordano , Alberto Martelli , Nicola Olivetti Conditonal Logic Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Jürgen Dix , Georg Gottlob , V. Wiktor Marek Causal Models of Disjunctive Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Jürgen Dix , Martin Müller An Axiomatic Approach to Semantics of Disjunctive Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Jennifer Burg , Sheau-Dong Lang , Charles E. Hughes Finding Conflict Sets and Backtrack Points in CLP(R). [Citation Graph (0, 0)][DBLP ] Conf ] Björn Carlson , Mats Carlsson , Daniel Diaz Entailment of Finite Domain Constraints. [Citation Graph (0, 0)][DBLP ] Conf ] Antoine Rauzy Notes on the Design of an Open Boolean Solver. [Citation Graph (0, 0)][DBLP ] Conf ] Yves Caseau , François Laburthe Improved CLP Scheduling with Task Intervals. [Citation Graph (0, 0)][DBLP ] Conf ] Yuejun Jiang Ambivalent Logic as the Semantic Basis of Metalogic Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Uday S. Reddy Higher-order Aspects of Logic Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Luís Caires , Luís Monteiro Higher-Order Polymorphic Unification for Logic Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Marcel Holsheimer , Rolf A. de By , Hassan Aït-Kaci A Database Interface for Complex Objects. [Citation Graph (0, 0)][DBLP ] Conf ] Hendrik Decker , Matilde Celma A Slick Procedure for Integrity Checking in Deductive Databases. [Citation Graph (0, 0)][DBLP ] Conf ] Eric Villemonte de la Clergerie , Bernard Lang LPDA: Another look at Tabulation in Logic Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Chiaki Sakama , Katsumi Inoue On the Equivalence between Disjunctive and Abductive Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Antonis C. Kakas , Paolo Mancarella , Phan Minh Dung The Acceptability Semantics for Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Annalisa Bossi , Massimo Fabris , Maria Chiara Meo A Bottom-up Semantics for Constructive Negation. [Citation Graph (0, 0)][DBLP ] Conf ] Juan José Moreno-Navarro Default Rules: An Extension of Constructive Negation for Narrowing-based Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Andy King , Paul Soper Depth-k Sharing and Freeness. [Citation Graph (0, 0)][DBLP ] Conf ] Veroniek Dumortier , Gerda Janssens Towards a Practical Full Mode Inference System for CLP(H, N). [Citation Graph (0, 0)][DBLP ] Conf ] Dino Pedreschi A Proof Method for Runtime Properties of Prolog Programs. [Citation Graph (0, 0)][DBLP ] Conf ] John P. Gallagher , D. Andre de Waal Fast and Precise Regular Approximations of Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Hélène Kirchner , Christophe Ringeissen Constraint Solving by Narrowing in Combined Algebraic Domains. [Citation Graph (0, 0)][DBLP ] Conf ] François Barthélemy A Grammatical Approach to DCG Parsing. [Citation Graph (0, 0)][DBLP ] Conf ] Paola Bruscoli , Agostino Dovier , Enrico Pontelli , Gianfranco Rossi Compiling Intensional Sets in CLP. [Citation Graph (0, 0)][DBLP ] Conf ] Kung-Kiu Lau , Mario Ornaghi , Sten-Åke Tärnlund The Halting Problem for Deductive Synthesis of Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Kouichi Kumon , Keiji Hirata A New Transformation based on Process-Message Duality for Concurrent Logic Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Dmitri Boulanger , Danny De Schreye Compiling Control Revisited: A New Approach based upon Abstract Interpretation. [Citation Graph (0, 0)][DBLP ] Conf ] Maurizio Proietti , Alberto Pettorossi Completeness of Some Transformation Strategies for Avoiding Unnecessary Logical Variables. [Citation Graph (0, 0)][DBLP ] Conf ] Carmen Gervet Conjunto: Constraint Propagation over Set Constraints with Finite Set Domain Variables. [Citation Graph (0, 0)][DBLP ] Conf ] Marion Mircheva Logic Programs with Refutation Rules. [Citation Graph (0, 0)][DBLP ] Conf ] Henning Christiansen Efficient and Complete Demo Predicates for Definite Clause Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Stephan Diel Towards a Verified OR-Parallel WAM. [Citation Graph (0, 0)][DBLP ] Conf ] Paulo Jorge de Sousa Azevedo , Marek J. Sergot Recomputation-Free Lemmatization by Program Transformation. [Citation Graph (0, 0)][DBLP ] Conf ] David A. Basin IsaWhelk Interpreted in Isabelle. [Citation Graph (0, 0)][DBLP ] Conf ] Jonas Barklund , Pierangelo Dell'Acqua , Stefania Costantini , Gaetano Aurelio Lanzarone Reflection through Constraint Satisfaction. [Citation Graph (0, 0)][DBLP ] Conf ] Jean-Marie Jacquet , Luís Monteiro PP-clauses: A Means for Handling Resources. [Citation Graph (0, 0)][DBLP ] Conf ] Esther D. Silcrat Logic, Algebra and Static Analysis in DM Systems, the IE Way. [Citation Graph (0, 0)][DBLP ] Conf ] Peter T. Breuer , Luis Sánchez , Carlos Delgado Kloos Proving Hardware Designs. [Citation Graph (0, 0)][DBLP ] Conf ] Andreas Kågedal A Dataflow Analysis Method for Ground Prolog. [Citation Graph (0, 0)][DBLP ] Conf ] Roman R. Zapatrin Logic Programming as Quantum Measurement. [Citation Graph (0, 0)][DBLP ] Conf ] 