Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Gopal Gupta 0001, Bharat Jayaraman |
On Criteria for Or-Parallel Execution Models of Logic Programs. |
NACLP |
1990 |
DBLP BibTeX RDF |
|
1 | Michele Bugliesi, Evelina Lamma, Paola Mello |
Partial Evaluation for Hierarchies of Logic Theories. |
NACLP |
1990 |
DBLP BibTeX RDF |
|
1 | Pascal Van Hentenryck |
Constraint Logic Programming: From Theory to Applications. |
NACLP |
1990 |
DBLP BibTeX RDF |
|
1 | Carlo Zaniolo |
Deductive Database Systems: Applications and Programming. |
NACLP |
1990 |
DBLP BibTeX RDF |
|
1 | Shamim A. Naqvi, Francesca Rossi 0001 |
Reasoning in Inconsistent Databases. |
NACLP |
1990 |
DBLP BibTeX RDF |
|
1 | Jim A. Crammond |
Scheduling and Variable Assignment in the Parallel PARLOG Implementation. |
NACLP |
1990 |
DBLP BibTeX RDF |
|
1 | Christian Codognet, Philippe Codognet, Marc-Michel Corsini |
Abstract Interpretation for Concurrent Logic Languages. |
NACLP |
1990 |
DBLP BibTeX RDF |
|
1 | Donald A. Smith, Timothy J. Hickey |
Partial Evaluation of a CLP Language. |
NACLP |
1990 |
DBLP BibTeX RDF |
|
1 | Hayato Ohwada, Fumio Mizoguchi |
A Constraint Logic Programming Approach for Maintaining Consistency in User-Interface Design. |
NACLP |
1990 |
DBLP BibTeX RDF |
|
1 | Yehoshua Sagiv |
Is There Anything Better than Magic? |
NACLP |
1990 |
DBLP BibTeX RDF |
|
1 | Kerima Benkerimi, John W. Lloyd |
A Partial Evaluation Procedure for Logic Programs. |
NACLP |
1990 |
DBLP BibTeX RDF |
|
1 | Peter Van Roy, Alvin M. Despain |
The Benefits of Global Dataflow Analysis for an Optimizing Prolog Compiler. |
NACLP |
1990 |
DBLP BibTeX RDF |
|
1 | Vijay A. Saraswat, Kenneth M. Kahn, Jacob Levy |
Janus: A step towards distributed constraint programming. |
NACLP |
1990 |
DBLP BibTeX RDF |
|
1 | James H. Andrews |
The Logical Structure of Sequential Prolog. |
NACLP |
1990 |
DBLP BibTeX RDF |
|
1 | Jean-Marie Jacquet, Luís Monteiro |
Comparative Semantics for a Parallel Contextual Logic Programming Language. |
NACLP |
1990 |
DBLP BibTeX RDF |
|
1 | Anthony J. Bonner, L. Thorne McCarty |
Adding Negation-as-Failure to Intuitionistic Logic Programming. |
NACLP |
1990 |
DBLP BibTeX RDF |
|
1 | Kim Marriott, Harald Søndergaard |
Analysis of Constraint Logic Programs. |
NACLP |
1990 |
DBLP BibTeX RDF |
|
1 | Richard Helm |
On the Elimination of Redundant Derivations During Execution. |
NACLP |
1990 |
DBLP BibTeX RDF |
|
1 | Pierre Lim, Peter J. Stuckey |
Meta Programming as Constraint Programming. |
NACLP |
1990 |
DBLP BibTeX RDF |
|
1 | R. S. Kemp, Graem A. Ringwood |
An Algebraic Framework for Abstract Interpretation of Definite Programs. |
NACLP |
1990 |
DBLP BibTeX RDF |
|
1 | Zerksis D. Umrigar |
Finding Advantageous Orders for Argument Unification for the Prolog WAM. |
NACLP |
1990 |
DBLP BibTeX RDF |
|
1 | Jorge Lobo 0001 |
On Constructive Negation for Disjunctive Logic Programs. |
NACLP |
1990 |
DBLP BibTeX RDF |
|
1 | Paolo Mancarella, Dino Pedreschi, Marina Rondinelli, Marco Tagliatti |
Algebraic Properties of a Class of Logic Programs. |
NACLP |
1990 |
DBLP BibTeX RDF |
|
1 | Jim Cox, Ken McAloon, Carol Tretkoff |
Computational Complexity and Constraint Logic Programming Languages. |
NACLP |
1990 |
DBLP BibTeX RDF |
|
1 | Jean Jourdan, Raúl E. Valdés-Pérez |
Constraint Logic Programming Applied to Hypothetical Reasoning in Chemistry. |
NACLP |
1990 |
DBLP BibTeX RDF |
|
1 | Micha Meier |
Compilation of Compound Terms in Prolog. |
NACLP |
1990 |
DBLP BibTeX RDF |
|
1 | Yuan Liu |
Null Values in Definite Programs. |
NACLP |
1990 |
DBLP BibTeX RDF |
|
1 | Jon Barwise |
Hyperproof: An Excursion in Situated Logic. |
NACLP |
1990 |
DBLP BibTeX RDF |
|
1 | Dan Sahlin |
The Mixtus Approach to Automatic Partial Evaluation of Full Prolog. |
NACLP |
1990 |
DBLP BibTeX RDF |
|
1 | Leon Alkalaj, Tomás Lang, Ehud Shapiro |
FCP Sequential Abstract Machine Characteristics for the Systems Development Workload. |
NACLP |
1990 |
DBLP BibTeX RDF |
|
1 | Sergio Greco, Domenico Saccà |
Negative Logic Programs. |
NACLP |
1990 |
DBLP BibTeX RDF |
|
1 | Khayri A. M. Ali, Roland Karlsson |
The Muse Or-Parallel Prolog Model and its Performance. |
NACLP |
1990 |
DBLP BibTeX RDF |
|
1 | Uday S. Reddy |
Types for Logic Programs. |
NACLP |
1990 |
DBLP BibTeX RDF |
|
1 | Saumya K. Debray, Manuel V. Hermenegildo (eds.) |
Logic Programming, Proceedings of the 1990 North American Conference, Austin, Texas, USA, October 29 - November 1, 1990 |
NACLP |
1990 |
DBLP BibTeX RDF |
|
1 | Frank S. de Boer, Catuscia Palamidessi |
Concurrent Logic Programming: Asynchronism and Language Comparison. |
NACLP |
1990 |
DBLP BibTeX RDF |
|
1 | Roland N. Bol |
Towards More Efficient Loop Checks. |
NACLP |
1990 |
DBLP BibTeX RDF |
|
1 | Bruce Spencer |
Avoiding Duplicate Proofs. |
NACLP |
1990 |
DBLP BibTeX RDF |
|
1 | Giorgio Levi, Maurizio Martelli, Catuscia Palamidessi |
Failure and Success made Symmetric. |
NACLP |
1990 |
DBLP BibTeX RDF |
|
1 | Andrzej Ciepielewski |
Parallel Implementations of Prolog. |
NACLP |
1990 |
DBLP BibTeX RDF |
|
1 | Teodor C. Przymusinski |
Stationary Semantics for Disjunctive Logic Programs and Deductive Databases. |
NACLP |
1990 |
DBLP BibTeX RDF |
|
1 | Laxmikant V. Kalé, Balkrishna Ramkumar |
Joining AND Parallel Solutions in AND/OR Parallel Systems. |
NACLP |
1990 |
DBLP BibTeX RDF |
|
1 | Patrick Weemeeuw, Bart Demoen |
A la Recherche de la Mémoire Perdue OR Memory Compaction for Shard Memory Multiprocessors. |
NACLP |
1990 |
DBLP BibTeX RDF |
|
1 | Bogumil Hausman |
Handling Speculative Work in OR-Parallel Prolog: Evaluation Results. |
NACLP |
1990 |
DBLP BibTeX RDF |
|
1 | Kim Marriott, Harald Søndergaard, Philip W. Dart |
A Characterization of Non-Floundering Logic Programs. |
NACLP |
1990 |
DBLP BibTeX RDF |
|
1 | Gopal Gupta 0001, Bharat Jayaraman |
Optimizing And-Or Parallel Implementations. |
NACLP |
1990 |
DBLP BibTeX RDF |
|
1 | Maria Paola Bonacina, Jieh Hsiang |
Operational and Denotational Semantics of Rewrite Programs. (long version: JLP 14(1&2): 155-188 (1992)) |
NACLP |
1990 |
DBLP BibTeX RDF |
|
1 | Fernando C. N. Pereira |
Prolog and Natural-Language Analysis: Into the Third Decade. |
NACLP |
1990 |
DBLP BibTeX RDF |
|
1 | Shmuel Kliger, Ehud Shapiro |
From Decision Trees to Decision Graphs. |
NACLP |
1990 |
DBLP BibTeX RDF |
|
1 | Andrea Corradini 0001, Ugo Montanari |
An Algebraic Semantics of Logic Programs as Structured Transition Systems. |
NACLP |
1990 |
DBLP BibTeX RDF |
|
1 | Toshihiro Ozawa, Akira Hosoi, Akira Hattori |
Generation Type Garbage Collection for Parallel Logic Languages. |
NACLP |
1990 |
DBLP BibTeX RDF |
|
1 | Shyam Mudambi |
Performance Analysis of Aurora on a Switch-Based Multiprocessor. |
NACLP |
1989 |
DBLP BibTeX RDF |
|
1 | Phan Minh Dung, Kanchana Kanchanasut |
On the Generalized Predicate Completion of Non-Horn Programs. |
NACLP |
1989 |
DBLP BibTeX RDF |
|
1 | Si-En Chang, Y. Paul Chiang |
Restricted AND-Parallelism Execution Model with Side-Effects. |
NACLP |
1989 |
DBLP BibTeX RDF |
|
1 | Shaul Markovitch, Paul D. Scott |
Automatic Ordering of Subgoals - A Machine Learning Approach. |
NACLP |
1989 |
DBLP BibTeX RDF |
|
1 | Gopal Gupta 0001, Bharat Jayaraman |
Combined And-Or Parallelism on Shared Memory Multiprocessors. (long version: JLP 17(1): 59-89 (1993)) |
NACLP |
1989 |
DBLP BibTeX RDF |
|
1 | David B. Searls |
Investigating the Linguistics of DNA with Definite Clause Grammars. |
NACLP |
1989 |
DBLP BibTeX RDF |
|
1 | Lu Xu, Hanpei Koike, Hidehiko Tanaka |
Distributed Garbage Collection for the Parallel Inference Engine PIE64. |
NACLP |
1989 |
DBLP BibTeX RDF |
|
1 | Micha Meier |
Event Handling in Prolog. |
NACLP |
1989 |
DBLP BibTeX RDF |
|
1 | Arendse Bernth |
Discourse Understanding in Logic. |
NACLP |
1989 |
DBLP BibTeX RDF |
|
1 | Jiawei Han 0001, Ling Liu |
Processing Multiple Linear Recursions. |
NACLP |
1989 |
DBLP BibTeX RDF |
|
1 | Stephen G. Pimentel, John L. Cuadrado |
A Truth Maintenance System Based on Stable Models. |
NACLP |
1989 |
DBLP BibTeX RDF |
|
1 | Jean-Louis Lassez, Tien Huynh, Ken McAloon |
Simplification and Elimination of Redundant Linear Arithmetic Constraints. |
NACLP |
1989 |
DBLP BibTeX RDF |
|
1 | Damir Jamsek, Kevin J. Greene, Shiu-Kai Chin, Paul R. Humenn |
WINTER: WAMS in Tim Expression Reduction. |
NACLP |
1989 |
DBLP BibTeX RDF |
|
1 | David B. Kemp, Kotagiri Ramamohanarao, Isaac Balbin, Krishnamurthy Meenakshi |
Propagating Constraints in Recusive Deduction Databases. |
NACLP |
1989 |
DBLP BibTeX RDF |
|
1 | V. Wiktor Marek, Miroslaw Truszczynski |
Stable Semantics for Logic Programs and Default Theories. |
NACLP |
1989 |
DBLP BibTeX RDF |
|
1 | Phan Minh Dung, Kanchana Kanchanasut |
A Fixpoint Approach to Declarative Semantics of Logic Programs. |
NACLP |
1989 |
DBLP BibTeX RDF |
|
1 | Zheng Lin 0010 |
Expected Performance of the Randomized Parallel Backtracking Method. |
NACLP |
1989 |
DBLP BibTeX RDF |
|
1 | Srinivas R. Sataluri, Arthur C. Fleck |
Semantic Specification Using Logic Programs. |
NACLP |
1989 |
DBLP BibTeX RDF |
|
1 | William H. Winsborough |
Path-Dependent Reachability Analysis for Multiple Specialization. |
NACLP |
1989 |
DBLP BibTeX RDF |
|
1 | Ian T. Foster, Stephen Taylor |
Strand: A Practical Parallel Programming Tool. |
NACLP |
1989 |
DBLP BibTeX RDF |
|
1 | Michael J. Maher, Raghu Ramakrishnan 0001 |
Déjà Vu in Fixpoints of Logic Programs. |
NACLP |
1989 |
DBLP BibTeX RDF |
|
1 | Marco A. Casanova, Ramiro A. de T. Guerreiro, Andrea Silva |
Computing Answers to Logic Programs with Weak Model Elimination. |
NACLP |
1989 |
DBLP BibTeX RDF |
|
1 | Xiaoping He, George W. Ernst, Fred Discenzo |
An Expert System which Intelligently Accesses an External Database. |
NACLP |
1989 |
DBLP BibTeX RDF |
|
1 | André Mariën, Bart Demoen |
On the Management of Choicepoint and Environment Frames in the WAM. |
NACLP |
1989 |
DBLP BibTeX RDF |
|
1 | James Harland |
A Kripke-like Model for Negation as Failure. |
NACLP |
1989 |
DBLP BibTeX RDF |
|
1 | Nevin Heintze, Spiro Michaylov, Peter J. Stuckey, Roland H. C. Yap |
On Meta-Programming in CLR(R). |
NACLP |
1989 |
DBLP BibTeX RDF |
|
1 | Akihiko Konagaya, Shinichi Habata, Atsushi Atarashi, Minoru Yokota |
Performance Evaluation of a Sequential Inference Machine CHI. |
NACLP |
1989 |
DBLP BibTeX RDF |
|
1 | Marc Bezem |
Characterizing Termination of Logic Programs with Level Mappings. (long version: JLP 15(1&2): 79-97) |
NACLP |
1989 |
DBLP BibTeX RDF |
|
1 | Jia-Huai You, Liwu Li 0001 |
Supported Circumscription and Its Relation to Logic Programming with Negation. |
NACLP |
1989 |
DBLP BibTeX RDF |
|
1 | Yves Deville, Jean Burnay |
Generalization and Program Schemata: A Step Towards Computer-Aided Construction of Logic Programs. |
NACLP |
1989 |
DBLP BibTeX RDF |
|
1 | Manuel V. Hermenegildo, Francesca Rossi 0001 |
On the Correctness and Efficiency of Independent And-Parallelism in Logic Programs. |
NACLP |
1989 |
DBLP BibTeX RDF |
|
1 | Michael J. Maher, Peter J. Stuckey |
Expanding Query Power in Constraint Logic Programming Languages. |
NACLP |
1989 |
DBLP BibTeX RDF |
|
1 | Edward W. Elcock |
Absys: The Historical Inevitability of Logic Programming. |
NACLP |
1989 |
DBLP BibTeX RDF |
|
1 | Sven-Olof Nyström |
Variable-Free Execution of Concurrent Logic Languages. |
NACLP |
1989 |
DBLP BibTeX RDF |
|
1 | Koichi Furukawa, Hiroshi Fujita, Toramatsu Shintani |
Deriving an Efficient Production System by Partial Evaluation. |
NACLP |
1989 |
DBLP BibTeX RDF |
|
1 | Peter Van Roy |
An Intermediate Language to Support Prolog's Unification. |
NACLP |
1989 |
DBLP BibTeX RDF |
|
1 | Jan Maluszynski, Torbjörn Näslund |
Fail Substitutions for Negation as Failure. |
NACLP |
1989 |
DBLP BibTeX RDF |
|
1 | Arun Lakhotia |
Incorporating 'Programming Techniques' into Prolog Programs. |
NACLP |
1989 |
DBLP BibTeX RDF |
|
1 | Bart Demoen, André Mariën, Alain Callebaut |
Indexing Prolog Clauses. |
NACLP |
1989 |
DBLP BibTeX RDF |
|
1 | Michele Bugliesi, F. Russo |
Partial Evaluation in Prolog: Some Improvements about Cut. |
NACLP |
1989 |
DBLP BibTeX RDF |
|
1 | Kalyan Muthukumar, Manuel V. Hermenegildo |
Determination of Variable Dependence Information through Abstract Interpretation. |
NACLP |
1989 |
DBLP BibTeX RDF |
|
1 | Paola Mello, Antonio Natali, Cristina Ruggieri |
Logic Programming in a Software Engineering Perspective. |
NACLP |
1989 |
DBLP BibTeX RDF |
|
1 | H. Lewis Chau |
Narrowing Grammar: A Comparison with Other Logic Grammars. |
NACLP |
1989 |
DBLP BibTeX RDF |
|
1 | A. Richard Helm |
On the Dedection and Elimination of Redundant Derivations during Bottom-up Execution. |
NACLP |
1989 |
DBLP BibTeX RDF |
|
1 | Ashok Singhal, Yale N. Patt |
Unification Parallelism: How Much Can We Exploit? |
NACLP |
1989 |
DBLP BibTeX RDF |
|
1 | David Chan |
An Extension of Constructive Negation and its Application in Coroutining. |
NACLP |
1989 |
DBLP BibTeX RDF |
|
1 | Kenneth M. Kahn, William A. Kornfeld |
Money as a Concurrent Logic Program. |
NACLP |
1989 |
DBLP BibTeX RDF |
|
1 | Yu Inamura, Nobuyuki Ichiyoshi, Kazuaki Rokusawa, Katsuto Nakajima |
Optimizing Techniques Using the MRB and Their Evaluation on the Multi-PSI/V2. |
NACLP |
1989 |
DBLP BibTeX RDF |
|
1 | Balkrishna Ramkumar, Laxmikant V. Kalé |
Compiled Execution of the Reduce-OR Process Model on Multiprocessors. |
NACLP |
1989 |
DBLP BibTeX RDF |
|
1 | Teodor C. Przymusinski |
On Constructive Negation in Logic Programming. |
NACLP |
1989 |
DBLP BibTeX RDF |
|