Conferences in DBLP
Pier Giorgio Bosco , C. Cecchi , Corrado Moiso Exploiting the Full Power of Logic Plus Functional Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Carl McCrosky , Anthony J. Kusalik Improving First-Class Array Expressions Using Prolog. [Citation Graph (0, 0)][DBLP ] Conf ] Toramatsu Shintani A Fast Prolog-Based Production System KORE/IE. [Citation Graph (1, 0)][DBLP ] Conf ] Mehmet Dincbas , Helmut Simonis , Pascal Van Hentenryck Solving a Cutting-Stock Problem in Constraint Logic Programming. [Citation Graph (1, 0)][DBLP ] Conf ] Tien Huynh , Catherine Lassez A CLP(R) Options Trading Analysis System. [Citation Graph (0, 0)][DBLP ] Conf ] Peter B. Reintjes A VLSI Design Environment in PROLOG. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas W. G. Docker SAME - A Structured Analysis Tool and its Implementation in Prolog. [Citation Graph (0, 0)][DBLP ] Conf ] Kevin Steer Testing Data Flow Diagrams with PARLOG. [Citation Graph (0, 0)][DBLP ] Conf ] David Chan Constructive Negation Based on the Completed Database. [Citation Graph (2, 0)][DBLP ] Conf ] Norman Y. Foo , Anand S. Rao , Andrew Taylor , Adrian Walker Deduced Relevant Types and Constructive Negation. [Citation Graph (0, 0)][DBLP ] Conf ] Raghu Ramakrishnan Magic Templates: A Spellbinding Approach to Logic Programs. [Citation Graph (24, 0)][DBLP ] Conf ] I. Attila , Paul Franchi-Zannettacci Unification-Free Execution of TYPOL Programs by Semantic Attribute Evaluation. [Citation Graph (0, 0)][DBLP ] Conf ] David B. Kemp , Rodney W. Topor Completeness of a Top-Down Query Evaluation Procedure for Stratified Databases. [Citation Graph (6, 0)][DBLP ] Conf ] Hirohisa Seki , Hidenori Itoh A Query Evaluation Method for Stratified Programs Under the Extended CWA. [Citation Graph (7, 0)][DBLP ] Conf ] R. Trehan , P. F. Wilk A Parallel Chart Parser for the Committed Choice Non-Deterministic Logic Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Harvey Abramson Metarules and an Approach to Conjunction in Definite Clause Translation Grammars: Some Aspects of Grammatical Metaprogramming. [Citation Graph (1, 0)][DBLP ] Conf ] Verónica Dahl Representing Linguistic Knowledge through Logic Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Lynette Hirschman , William C. Hopkins , Robert C. Smith OR-Parallel Speed-Up in Natural Language Processing: A Case Study. [Citation Graph (0, 0)][DBLP ] Conf ] Jean H. Gallier , Tomás Isakowitz Rewriting in Order-sorted Equational Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Joseph L. Zachary A Pragmatic Approach to Equational Logic Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Staffan Bonnier , Jan Maluszynski Towards a Clean Amalgamation of Logic Programs with External Procedures. [Citation Graph (0, 0)][DBLP ] Conf ] Steffen Hölldobler From Paramodulation to Narrowing. [Citation Graph (0, 0)][DBLP ] Conf ] A. Bruffaerts , E. Henin Proof Trees for Negation as Failure: Yet Another Prolog Meta-Interpreter. [Citation Graph (3, 0)][DBLP ] Conf ] Patrizia Coscia , Paola Franceschi , Giorgio Levi , Giuseppe Sardu , Luigia Torre Meta-Level Definition and Compilation of Inference Engines in the Epsilon Logic Programming Environment. [Citation Graph (0, 0)][DBLP ] Conf ] Chor Sang Kwok , Marek J. Sergot Implicit Definition of Logic Programs. [Citation Graph (1, 0)][DBLP ] Conf ] Leon Sterling , Arun Lakhotia Composing Prolog Meta-Interpreters. [Citation Graph (0, 0)][DBLP ] Conf ] Weidong Chen , David Scott Warren Objects as Intensions. [Citation Graph (1, 0)][DBLP ] Conf ] John S. Conery Logical Objects. [Citation Graph (1, 0)][DBLP ] Conf ] Jonas Barklund , Nils Hagner , Malik Wafin Condition Graphs. [Citation Graph (1, 0)][DBLP ] Conf ] Christian Codognet , Philippe Codognet , Gilberto Filé Yet Another Intelligent Backtracking Method. [Citation Graph (0, 0)][DBLP ] Conf ] Sei-ichi Kondoh , Takashi Chikayama Macro Processing in Prolog. [Citation Graph (0, 0)][DBLP ] Conf ] Luís Moniz Pereira , Miguel Calejo A Framework for Prolog Debugging. [Citation Graph (0, 0)][DBLP ] Conf ] Dave Plummer Coda: An Extended Debugger for PROLOG. [Citation Graph (0, 0)][DBLP ] Conf ] Yossi Lichtenstein , Ehud Y. Shapiro Abstract Algorithmic Debugging. [Citation Graph (0, 0)][DBLP ] Conf ] Mike Brayshaw , Marc Eisenstadt Adding Data and Procedure Abstraction to the Transparent Prolog Machine TPM. [Citation Graph (0, 0)][DBLP ] Conf ] Michael M. Gorlick , Carl Kesselman Gauge: A Workbench for the Performance Analysis of Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Kave Eshghi Abductive Planning with Event Calculus. [Citation Graph (0, 0)][DBLP ] Conf ] Paul J. Voda Types of Trilogy. [Citation Graph (0, 0)][DBLP ] Conf ] Maarten H. van Emden Conditional Answers for Polymorphic Type Inference. [Citation Graph (0, 0)][DBLP ] Conf ] Jiyang Xu , David Scott Warren A Type Inference System for Prolog. [Citation Graph (3, 0)][DBLP ] Conf ] Douglas Stott Parker Jr. , Richard R. Muntz A Theory of Directed Logic Programs and Streams. [Citation Graph (0, 0)][DBLP ] Conf ] Graeme S. Port A Simple Approach to Finding the Cause of Non-Unifiability. [Citation Graph (0, 0)][DBLP ] Conf ] Maurice Bruynooghe , Gerda Janssens An Instance of Abstract Interpretation Integrating Type and Mode Inferencing. [Citation Graph (1, 0)][DBLP ] Conf ] Richard Warren , Manuel V. Hermenegildo , Saumya K. Debray On the Practicality of Global Flow Analysis of Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Annika Wærn An Implementation Technique for the Abstract Interpretation of Prolog. [Citation Graph (0, 0)][DBLP ] Conf ] Saumya K. Debray Static Analysis of Parallel Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Kim Marriott , Harald Søndergaard Bottom-up Abstract Interpretation of Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] William H. Winsborough , Annika Wærn Transparent And-Parallelism in the Presence of Shared Free Variables. [Citation Graph (0, 0)][DBLP ] Conf ] Krzysztof R. Apt , Howard A. Blair Arithmetic Classification of Perfect Models of Stratified Programs. [Citation Graph (1, 0)][DBLP ] Conf ] S. Kaplan Algorithmic Complexity of Logic Programs. [Citation Graph (1, 0)][DBLP ] Conf ] Bruce T. Smith , Donald W. Loveland A Simple Near-Horn Prolog Interpreter. [Citation Graph (0, 0)][DBLP ] Conf ] Gopalan Nadathur , Dale Miller An Overview of Lambda-PROLOG. [Citation Graph (0, 0)][DBLP ] Conf ] Jorge Lobo , Jack Minker , Arcot Rajasekar Weak Completion Theory for Non-Horn Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Bharat Jayaraman , Anil Nair Subset-Logic Programming: Application and Implementation. [Citation Graph (0, 0)][DBLP ] Conf ] M. A. Nait Abdallah Heuristic Logic and the Process of Discovery. [Citation Graph (0, 0)][DBLP ] Conf ] Charles Elkan , David A. McAllester Automated Inductive Reasoning about Logic Programs. [Citation Graph (1, 0)][DBLP ] Conf ] Laurent Fribourg Equivalence-Preserving Transformations of Inductive Properties of Prolog Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Kim Marriott , Lee Naish , Jean-Louis Lassez Most Specific Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Hiroshi Fujita , Akira Okumura , Koichi Furukawa Partial Evaluation of GHC Programs Based on the UR-set with Constraints. [Citation Graph (0, 0)][DBLP ] Conf ] John Hannan , Dale Miller Uses of Higher-Order Unification for Implementing Program Transformers. [Citation Graph (0, 0)][DBLP ] Conf ] Aïda Batarekh , V. S. Subrahmanian Semantical Equivalences of (Non-Classical) Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Kenneth Kunen Some Remarks on the Completed Database. [Citation Graph (3, 0)][DBLP ] Conf ] Moreno Falaschi , Giorgio Levi , Maurizio Martelli , Catuscia Palamidessi A New Declarative Semantics for Logic Languages. [Citation Graph (2, 0)][DBLP ] Conf ] Paolo Mancarella , Dino Pedreschi An Algebra of Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Stan Raatz , Jean H. Gallier A Relational Semantics for Logic Programming. [Citation Graph (0, 0)][DBLP ] Conf ] V. S. Subrahmanian Intuitive Semantics for Quantitative Rule Sets. [Citation Graph (0, 0)][DBLP ] Conf ] Melvin Fitting , Marion Ben-Jacob Stratified and Three-valued Logic Programming Semantics. [Citation Graph (6, 0)][DBLP ] Conf ] Michael Gelfond , Vladimir Lifschitz The Stable Model Semantics for Logic Programming. [Citation Graph (58, 0)][DBLP ] Conf ] Teodor C. Przymusinski Perfect Model Semantics. [Citation Graph (7, 0)][DBLP ] Conf ] Yves Moinard Pointwise Circumscription is Equivalent to Predicate Completion (Sometimes). [Citation Graph (0, 0)][DBLP ] Conf ] Halina Przymusinska , Teodor C. Przymusinski Weakly Perfect Model Semantics for Logic Programs. [Citation Graph (10, 0)][DBLP ] Conf ] Yow-Jian Lin , Vipin Kumar AND-Parallel Execution of Logic Programs on a Shared Memory Multiprocessor: A Summary of Results. [Citation Graph (0, 0)][DBLP ] Conf ] Zoltan Somogyi , Kotagiri Ramamohanarao , Jayen Vaghani A Stream AND-Parallel Execution Algorithm with Backtracking. [Citation Graph (0, 0)][DBLP ] Conf ] Prasenjit Biswas , Shyh-Chang Su , David Y. Y. Yun A Scalable Abstract Machine Model to Support Limited-OR (LOR) / Restricted-AND Parallelism (RAP) in Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] K. W. Ng , Ho-fung Leung The Competition Model for Parallel Execution of Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Prabhakaran Raman , Eugene W. Stark Fully Distributed, AND/OR-Parallel Execution of Logic Problems. [Citation Graph (0, 0)][DBLP ] Conf ] Chien-Chao Tseng , Prasenjit Biswas A Data-Driven Parallel Execution Model for Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Laxmikant V. Kalé , R. Ramkumar , Wei Shu A Memory Organization Independent Binding Environment for AND and OR Parallel Execution of Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Atsuhiro Goto , Yasunori Kimura , T. Nakagawa , Takashi Chikayama Lazy Reference Counting: An Incremental Garbage Collection Method for Parallel Inference Machines. [Citation Graph (0, 0)][DBLP ] Conf ] Hamish Taylor Localizing the GHC Suspension Test. [Citation Graph (0, 0)][DBLP ] Conf ] Handong Wu An Extended Dataflow Model of FGHC. [Citation Graph (0, 0)][DBLP ] Conf ] Leon Alkalaj , Ehud Y. Shapiro An Architectural Model for a Flat Concurrent Prolog Processor. [Citation Graph (0, 0)][DBLP ] Conf ] Vijay A. Saraswat A Somewhat Logical Formulation of CLP Synchronisation Primitives. [Citation Graph (0, 0)][DBLP ] Conf ] Shmuel Klinger , Ehud Y. Shapiro A Decision Tree Compilation Algorithm for FCP(!, : , ?). [Citation Graph (0, 0)][DBLP ] Conf ] Martin Nilsson , Hidehiko Tanaka A Flat GHC Implementation for Supercomputers. [Citation Graph (0, 0)][DBLP ] Conf ] Sven-Olof Nyström Control Structures for Guarded Horn Clauses. [Citation Graph (0, 0)][DBLP ] Conf ] Hamid Bacha Meta Prolog Design and Implementation. [Citation Graph (1, 0)][DBLP ] Conf ] Gerda Janssens , Bart Demoen , André Mariën Improving the Register Allocation of WAM by Recording Unification. [Citation Graph (0, 0)][DBLP ] Conf ] Jonathan Wayne Mills , Kevin A. Buettner Assertive Demons. [Citation Graph (0, 0)][DBLP ] Conf ] D. A. Chu , F. G. McCabe SWIFT: A New Symbolic Processor. [Citation Graph (0, 0)][DBLP ] Conf ] Subash Shankar A Hierarchical Associative Memory Architecture for Logic Programming Unification. [Citation Graph (0, 0)][DBLP ] Conf ] C. D. Stormon , M. R. Brule , J. V. Oldfield , D. F. Ribeiro An Architecture Based on Content-Addressable Memory for the Rapid Execution of Prolog. [Citation Graph (0, 0)][DBLP ] Conf ] David Hemmendinger A Compiler and Semantic Analyzer Based on Categorial Grammar. [Citation Graph (0, 0)][DBLP ] Conf ] Feliks Kluzniak Compile Time Garbage Collection for Ground Prolog. [Citation Graph (0, 0)][DBLP ] Conf ] Ken-ichi Kurosawa , S. Yamaguchi , Shigeo Abe , Tadaaki Bandoh Instruction Architecture for a High Performance Integrated Prolog Processor IPP. [Citation Graph (0, 0)][DBLP ] Conf ] Khayri A. M. Ali OR-Parallel Execution of Prolog on BC-Machine. [Citation Graph (0, 0)][DBLP ] Conf ] Lee Naish Parallelizing NU-Prolog. [Citation Graph (0, 0)][DBLP ] Conf ] Mats Carlsson , Ken Danhof , Ross A. Overbeek A Simplified Approach to the Implementation of AND-Parallelism in an OR-Parallel Environment. [Citation Graph (0, 0)][DBLP ] Conf ] Hiyan Alshawi , Douglas B. Moran The Delphi Model and Some Preliminary Experiments. [Citation Graph (0, 0)][DBLP ] Conf ] Ralph Butler , Terry Disz , Ewing L. Lusk , Robert Olson , Ross A. Overbeek , Rick L. Stevens Scheduling OR-Parallelism: An Argonne Perspective. [Citation Graph (0, 0)][DBLP ] Conf ] Layman E. Allen , Charles S. Saxon Multiple Interpretations of the Logical Structure of Legal Rules: Impediment or Boon to Legal Expert Systems? [Citation Graph (0, 0)][DBLP ] Conf ] Alan Bundy A Broader Interpretation of Logic in Logic Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Giorgio Levi Models, Unfolding Rules and Fixpoint Semantics. [Citation Graph (0, 0)][DBLP ] Conf ] Carlo Zaniolo Design and Implementation of a Logic Based Language for Data Intensive Applications. [Citation Graph (9, 0)][DBLP ] Conf ] 