Conferences in DBLP
Kazunori Ueda , Masao Morita A New Implementation Technique for Flat GHC. [Citation Graph (0, 0)][DBLP ] Conf ] Yu Inamura , Satoshi Onishi A Detection Algorithm of Perpetual Suspension in KL1. [Citation Graph (0, 0)][DBLP ] Conf ] Seif Haridi , Sverker Janson Kernel Andorra Prolog and its Computation Model. [Citation Graph (0, 0)][DBLP ] Conf ] Mark Korsloot , Hans M. Mulder Sequential Architecture Models for Prolog: A Performance Comparison. [Citation Graph (0, 0)][DBLP ] Conf ] Arie Harsat , Ran Ginosar An Extended RISC Methodology and its Application to FCP. [Citation Graph (0, 0)][DBLP ] Conf ] Kenji Nishida , Yasunori Kimura , Akira Matsumoto , Atsuhiro Goto Evaluation of MRB Garbage Collection on Parallel Logic Programming Architectures. [Citation Graph (0, 0)][DBLP ] Conf ] Oded Shmueli , Shalom Tsur Incremental Re-evaluation of LDL Queries. [Citation Graph (0, 0)][DBLP ] Conf ] Oded Shmueli , Shalom Tsur Logical Diagnosis of LDL Programs. [Citation Graph (2, 0)][DBLP ] Conf ] Ulrike Griefahn , Stefan Lüttringhaus Top-Down Integrity Constraint Checking for Deductive Databases. [Citation Graph (0, 0)][DBLP ] Conf ] Vishv M. Malhotra An Algorithm for Optimal Back-Striding in Prolog. [Citation Graph (0, 0)][DBLP ] Conf ] Neng-Fa Zhou , Toshihisa Takagi , Kazuo Ushijima A Matching Tree Oriented Abstract Machine for Prolog. [Citation Graph (0, 0)][DBLP ] Conf ] Andrew Taylor LIPS on a MIPS: Results from a Prolog Compiler for a RISC. [Citation Graph (0, 0)][DBLP ] Conf ] Pascal Van Hentenryck Incremental Constraint Satisfaction in Logic Programming. [Citation Graph (1, 0)][DBLP ] Conf ] Jukka Paakki A Logic-Based Modification of Attribute Grammars for Practical Compiler Writing. [Citation Graph (0, 0)][DBLP ] Conf ] Kalyan Muthukumar , Manuel V. Hermenegildo The DCG, UDG, and MEL Methods for Automatic Compile-time Parallelization of Logic Programs for Independent And-parallelism. [Citation Graph (0, 0)][DBLP ] Conf ] Manuel V. Hermenegildo , Francesca Rossi Non-Strict Independent And-Parallelism. [Citation Graph (0, 0)][DBLP ] Conf ] Manuel V. Hermenegildo , K. J. Greene &-Prolog and its Performance: Exploiting Independent And-Parallelism. [Citation Graph (0, 0)][DBLP ] Conf ] David M. Meyer , John S. Conery Architected Failure Handling for AND-Parallel Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Roberto Giacobazzi , Laura Ricci Pipeline Optimizations in AND-Parallel Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Antonio Brogi AND-Parallelism without Shared Variables. [Citation Graph (0, 0)][DBLP ] Conf ] Pier Giorgio Bosco , C. Cecchi , Corrado Moiso , M. Porta , G. Sofi Logic and Functional Programmin on Distributed Memory Architectures. [Citation Graph (0, 0)][DBLP ] Conf ] T. J. Reynolds , Petros Kefalas OR-Parallel Prolog and Search Problems in AI Applications. [Citation Graph (0, 0)][DBLP ] Conf ] Arthur L. Delcher , Simon Kasif Efficient Parallel Term Matching and Anti-Unification. [Citation Graph (0, 0)][DBLP ] Conf ] Remo Pareschi , Dale Miller Extending Definite Clause Grammars with Scoping Constructs. [Citation Graph (0, 0)][DBLP ] Conf ] A. John Power , Leon Sterling A Notion of Map between Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Hajime Sawamura , Toshiro Minami , Kaoru Yocota , Kyoko Ohashi A Logic Programming Approach to Specifying Logics and Constructing Proofs. [Citation Graph (0, 0)][DBLP ] Conf ] Laura Giordano , Alberto Martelli Generalized Stable Models, Truth Maintenance and Conflict Resolution. [Citation Graph (0, 0)][DBLP ] Conf ] François Fages A New Fixpoint Semantics for General Logic Programs Compared with the Well-Founded and the Stable Model Semantics. [Citation Graph (0, 0)][DBLP ] Conf ] Teodor C. Przymusinski Extended Stable Semantics for Normal and Disjunctive Programs. [Citation Graph (2, 0)][DBLP ] Conf ] Luís Monteiro , António Porto A Transformational View of Inheritance in Logic Programming. [Citation Graph (1, 0)][DBLP ] Conf ] Jean-Marc Andreoli , Remo Pareschi Linear Objects in a Logic Processes with Built-in Inheritance. [Citation Graph (0, 0)][DBLP ] Conf ] Joshua S. Hodas , Dale Miller Representing Objects in a Logic Programming Langueage with Scoping Constructs. [Citation Graph (0, 0)][DBLP ] Conf ] Yeh-Heng Sheng HIFUNLOG : Logic Programming with Higher-order Relational Functions. [Citation Graph (0, 0)][DBLP ] Conf ] Mantis H. M. Cheng , Maarten H. van Emden , B. E. Richards On Warren's Method for Functional Programming in Logic. [Citation Graph (0, 0)][DBLP ] Conf ] François Bry Intensional Updates: Abduction via Deduction. [Citation Graph (9, 0)][DBLP ] Conf ] Michael Gelfond , Vladimir Lifschitz Logic Programs with Classical Negation. [Citation Graph (9, 0)][DBLP ] Conf ] Robert A. Kowalski , Fariba Sadri Logic Programs with Exceptions. [Citation Graph (7, 0)][DBLP ] Conf ] Krzysztof R. Apt , Marc Bezem Acyclic Programs. [Citation Graph (5, 0)][DBLP ] Conf ] Lutz Plümer Termination Proofs for Logic Programs Based on Predicate Inequalities. [Citation Graph (1, 0)][DBLP ] Conf ] Danny De Schreye , Kristof Verschaetse , Maurice Bruynooghe A Practical Technique for Detecting Non-terminating Queries for a Restricted Class of Horn Clauses, Using Directed, Weighted Graphs. [Citation Graph (0, 0)][DBLP ] Conf ] Kung-Kiu Lau , Steven David Prestwich Top-down Synthesis of Recursive Logic Procedures from First-order Logic Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Laurent Fribourg Extracting Logic Programs from Proofs that Use Extended Prolog Execution and Induction. [Citation Graph (0, 0)][DBLP ] Conf ] Kristof Verschaetse , Danny De Schreye , Maurice Bruynooghe Generation and Compilation of Efficient Computation Rules. [Citation Graph (0, 0)][DBLP ] Conf ] Dean Jacobs , Anno Langen , William H. Winsborough Multiple Specialization of Logic Programs with Run-Time Test. [Citation Graph (0, 0)][DBLP ] Conf ] John P. Gallagher , Maurice Bruynooghe The Derivation of an Algorithm for Program Specialisation. [Citation Graph (0, 0)][DBLP ] Conf ] Anne Mulkers , William H. Winsborough , Maurice Bruynooghe Analysis of Shared Data Structures for Compile-Time Garbage. [Citation Graph (0, 0)][DBLP ] Conf ] Raymond Reiter What Should a Database Know? [Citation Graph (2, 0)][DBLP ] Conf ] Alain Colmerauer Prolog III as it Actually Is. [Citation Graph (0, 0)][DBLP ] Conf ] Moshe Y. Vardi Global Optimization Problems for Database Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] David Harel How Hard Is It to Reason about Propositional Programs? [Citation Graph (0, 0)][DBLP ] Conf ] Vijay A. Saraswat The Paradigm of Concurrent Constraint Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Haim Gaifman Semantics of Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Catriel Beeri Logic Programming and Databases. [Citation Graph (0, 0)][DBLP ] Conf ] Dale Miller Higher-Order Logic Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Jacques Chassin de Kergommeaux Parallel Logic Programming Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Frank Pfenning Types in Logic Programming. [Citation Graph (0, 0)][DBLP ] Conf ] 