The SCEAS System
Navigation Menu

Conferences in DBLP

Symposium on Logic Programming (SLP / ILPS / NACLP) (slp)
1990 (conf/slp/90)

  1. Giorgio Levi, Maurizio Martelli, Catuscia Palamidessi
    Failure and Success made Symmetric. [Citation Graph (0, 0)][DBLP]
    NACLP, 1990, pp:3-22 [Conf]
  2. Paolo Mancarella, Dino Pedreschi, Marina Rondinelli, Marco Tagliatti
    Algebraic Properties of a Class of Logic Programs. [Citation Graph (0, 0)][DBLP]
    NACLP, 1990, pp:23-39 [Conf]
  3. Teodor C. Przymusinski
    Stationary Semantics for Disjunctive Logic Programs and Deductive Databases. [Citation Graph (2, 0)][DBLP]
    NACLP, 1990, pp:40-59 [Conf]
  4. Micha Meier
    Compilation of Compound Terms in Prolog. [Citation Graph (0, 0)][DBLP]
    NACLP, 1990, pp:63-79 [Conf]
  5. Zerksis D. Umrigar
    Finding Advantageous Orders for Argument Unification for the Prolog WAM. [Citation Graph (0, 0)][DBLP]
    NACLP, 1990, pp:80-96 [Conf]
  6. Shmuel Kliger, Ehud Y. Shapiro
    From Decision Trees to Decision Graphs. [Citation Graph (0, 0)][DBLP]
    NACLP, 1990, pp:97-116 [Conf]
  7. Donald A. Smith, Timothy J. Hickey
    Partial Evaluation of a CLP Language. [Citation Graph (0, 0)][DBLP]
    NACLP, 1990, pp:119-138 [Conf]
  8. Hayato Ohwada, Fumio Mizoguchi
    A Constraint Logic Programming Approach for Maintaining Consistency in User-Interface Design. [Citation Graph (0, 0)][DBLP]
    NACLP, 1990, pp:139-153 [Conf]
  9. Jean Jourdan, Raúl E. Valdés-Pérez
    Constraint Logic Programming Applied to Hypothetical Reasoning in Chemistry. [Citation Graph (0, 0)][DBLP]
    NACLP, 1990, pp:154-172 [Conf]
  10. Frank S. de Boer, Catuscia Palamidessi
    Concurrent Logic Programming: Asynchronism and Language Comparison. [Citation Graph (0, 0)][DBLP]
    NACLP, 1990, pp:175-194 [Conf]
  11. Jean-Marie Jacquet, Luís Monteiro
    Comparative Semantics for a Parallel Contextual Logic Programming Language. [Citation Graph (0, 0)][DBLP]
    NACLP, 1990, pp:195-214 [Conf]
  12. Christian Codognet, Philippe Codognet, Marc-Michel Corsini
    Abstract Interpretation for Concurrent Logic Languages. [Citation Graph (0, 0)][DBLP]
    NACLP, 1990, pp:215-232 [Conf]
  13. Yehoshua Sagiv
    Is There Anything Better than Magic? [Citation Graph (5, 0)][DBLP]
    NACLP, 1990, pp:235-254 [Conf]
  14. Shamim A. Naqvi, Francesca Rossi
    Reasoning in Inconsistent Databases. [Citation Graph (1, 0)][DBLP]
    NACLP, 1990, pp:255-272 [Conf]
  15. Yuan Liu
    Null Values in Definite Programs. [Citation Graph (2, 0)][DBLP]
    NACLP, 1990, pp:273-288 [Conf]
  16. Toshihiro Ozawa, Akira Hosoi, Akira Hattori
    Generation Type Garbage Collection for Parallel Logic Languages. [Citation Graph (0, 0)][DBLP]
    NACLP, 1990, pp:291-305 [Conf]
  17. Patrick Weemeeuw, Bart Demoen
    A la Recherche de la Mémoire Perdue OR Memory Compaction for Shard Memory Multiprocessors. [Citation Graph (0, 0)][DBLP]
    NACLP, 1990, pp:306-320 [Conf]
  18. Leon Alkalaj, Tomás Lang, Ehud Y. Shapiro
    FCP Sequential Abstract Machine Characteristics for the Systems Development Workload. [Citation Graph (0, 0)][DBLP]
    NACLP, 1990, pp:321-339 [Conf]
  19. Kerima Benkerimi, John W. Lloyd
    A Partial Evaluation Procedure for Logic Programs. [Citation Graph (0, 0)][DBLP]
    NACLP, 1990, pp:343-358 [Conf]
  20. Michele Bugliesi, Evelina Lamma, Paola Mello
    Partial Evaluation for Hierarchies of Logic Theories. [Citation Graph (0, 0)][DBLP]
    NACLP, 1990, pp:359-376 [Conf]
  21. Dan Sahlin
    The Mixtus Approach to Automatic Partial Evaluation of Full Prolog. [Citation Graph (0, 0)][DBLP]
    NACLP, 1990, pp:377-398 [Conf]
  22. Jim Cox, Ken McAloon, Carol Tretkoff
    Computational Complexity and Constraint Logic Programming Languages. [Citation Graph (0, 0)][DBLP]
    NACLP, 1990, pp:401-415 [Conf]
  23. Pierre Lim, Peter J. Stuckey
    Meta Programming as Constraint Programming. [Citation Graph (0, 0)][DBLP]
    NACLP, 1990, pp:416-430 [Conf]
  24. Vijay A. Saraswat, Kenneth M. Kahn, Jacob Levy
    Janus: A step towards distributed constraint programming. [Citation Graph (0, 0)][DBLP]
    NACLP, 1990, pp:431-446 [Conf]
  25. Maria Paola Bonacina, Jieh Hsiang
    Operational and Denotational Semantics of Rewrite Programs. [Citation Graph (0, 0)][DBLP]
    NACLP, 1990, pp:449-464 [Conf]
  26. Roland N. Bol
    Towards More Efficient Loop Checks. [Citation Graph (0, 0)][DBLP]
    NACLP, 1990, pp:465-479 [Conf]
  27. Sergio Greco, Domenico Saccà
    Negative Logic Programs. [Citation Graph (0, 0)][DBLP]
    NACLP, 1990, pp:480-497 [Conf]
  28. Peter Van Roy, Alvin M. Despain
    The Benefits of Global Dataflow Analysis for an Optimizing Prolog Compiler. [Citation Graph (0, 0)][DBLP]
    NACLP, 1990, pp:501-515 [Conf]
  29. R. S. Kemp, Graem A. Ringwood
    An Algebraic Framework for Abstract Interpretation of Definite Programs. [Citation Graph (0, 0)][DBLP]
    NACLP, 1990, pp:516-530 [Conf]
  30. Kim Marriott, Harald Søndergaard
    Analysis of Constraint Logic Programs. [Citation Graph (0, 0)][DBLP]
    NACLP, 1990, pp:531-547 [Conf]
  31. Richard Helm
    On the Elimination of Redundant Derivations During Execution. [Citation Graph (0, 0)][DBLP]
    NACLP, 1990, pp:551-568 [Conf]
  32. Bruce Spencer
    Avoiding Duplicate Proofs. [Citation Graph (0, 0)][DBLP]
    NACLP, 1990, pp:569-584 [Conf]
  33. James H. Andrews
    The Logical Structure of Sequential Prolog. [Citation Graph (0, 0)][DBLP]
    NACLP, 1990, pp:585-602 [Conf]
  34. Gopal Gupta, Bharat Jayaraman
    Optimizing And-Or Parallel Implementations. [Citation Graph (0, 0)][DBLP]
    NACLP, 1990, pp:605-623 [Conf]
  35. Laxmikant V. Kalé, Balkrishna Ramkumar
    Joining AND Parallel Solutions in AND/OR Parallel Systems. [Citation Graph (0, 0)][DBLP]
    NACLP, 1990, pp:624-641 [Conf]
  36. Jim A. Crammond
    Scheduling and Variable Assignment in the Parallel PARLOG Implementation. [Citation Graph (0, 0)][DBLP]
    NACLP, 1990, pp:642-657 [Conf]
  37. Kim Marriott, Harald Søndergaard, Philip W. Dart
    A Characterization of Non-Floundering Logic Programs. [Citation Graph (0, 0)][DBLP]
    NACLP, 1990, pp:661-680 [Conf]
  38. Anthony J. Bonner, L. Thorne McCarty
    Adding Negation-as-Failure to Intuitionistic Logic Programming. [Citation Graph (0, 0)][DBLP]
    NACLP, 1990, pp:681-703 [Conf]
  39. Jorge Lobo
    On Constructive Negation for Disjunctive Logic Programs. [Citation Graph (0, 0)][DBLP]
    NACLP, 1990, pp:704-718 [Conf]
  40. Bogumil Hausman
    Handling Speculative Work in OR-Parallel Prolog: Evaluation Results. [Citation Graph (0, 0)][DBLP]
    NACLP, 1990, pp:721-736 [Conf]
  41. Gopal Gupta, Bharat Jayaraman
    On Criteria for Or-Parallel Execution Models of Logic Programs. [Citation Graph (0, 0)][DBLP]
    NACLP, 1990, pp:737-756 [Conf]
  42. Khayri A. M. Ali, Roland Karlsson
    The Muse Or-Parallel Prolog Model and its Performance. [Citation Graph (0, 0)][DBLP]
    NACLP, 1990, pp:757-776 [Conf]
  43. Jon Barwise
    Hyperproof: An Excursion in Situated Logic. [Citation Graph (0, 0)][DBLP]
    NACLP, 1990, pp:779-787 [Conf]
  44. Andrea Corradini, Ugo Montanari
    An Algebraic Semantics of Logic Programs as Structured Transition Systems. [Citation Graph (0, 0)][DBLP]
    NACLP, 1990, pp:788-812 [Conf]
  45. Fernando C. N. Pereira
    Prolog and Natural-Language Analysis: Into the Third Decade. [Citation Graph (0, 0)][DBLP]
    NACLP, 1990, pp:813-832 [Conf]
  46. Andrzej Ciepielewski
    Parallel Implementations of Prolog. [Citation Graph (0, 0)][DBLP]
    NACLP, 1990, pp:835- [Conf]
  47. Uday S. Reddy
    Types for Logic Programs. [Citation Graph (0, 0)][DBLP]
    NACLP, 1990, pp:836-840 [Conf]
  48. Pascal Van Hentenryck
    Constraint Logic Programming: From Theory to Applications. [Citation Graph (0, 0)][DBLP]
    NACLP, 1990, pp:841- [Conf]
  49. Carlo Zaniolo
    Deductive Database Systems: Applications and Programming. [Citation Graph (0, 0)][DBLP]
    NACLP, 1990, pp:842-845 [Conf]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002