The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Conferences in DBLP

International Conference on Logic Programming (iclp)
1986 (conf/iclp/1986)

  1. Kazuhiro Fuchi, Koichi Furukawa
    The Role of Logic Programming in the Fifth Generation Computer Project. [Citation Graph (1, 0)][DBLP]
    ICLP, 1986, pp:1-24 [Conf]
  2. Manuel V. Hermenegildo
    An Abstract Machine for Restricted AND-Parallel Execution of Logic Programs. [Citation Graph (0, 0)][DBLP]
    ICLP, 1986, pp:25-39 [Conf]
  3. Manuel V. Hermenegildo, R. I. Nasr
    Efficient Management of Backtracking in AND-Parallelism. [Citation Graph (0, 0)][DBLP]
    ICLP, 1986, pp:40-54 [Conf]
  4. Yow-Jian Lin, Vipin Kumar, Clement H. C. Leung
    An Intelligent Backtracking Algorithm for Parallel Execution of Logic Programs. [Citation Graph (0, 0)][DBLP]
    ICLP, 1986, pp:55-68 [Conf]
  5. Luís Moniz Pereira, Luís Monteiro, José C. Cunha, Joaquim Nunes Aparício
    Delta Prolog: A Distributed Backtracking Extension with Events. [Citation Graph (0, 0)][DBLP]
    ICLP, 1986, pp:69-83 [Conf]
  6. Hisao Tamaki, Taisuke Sato
    OLD Resolution with Tabulation. [Citation Graph (9, 0)][DBLP]
    ICLP, 1986, pp:84-98 [Conf]
  7. Petr Stepánek, Olga Stepánková
    Logic Programs and Alternation. [Citation Graph (0, 0)][DBLP]
    ICLP, 1986, pp:99-106 [Conf]
  8. David A. Wolfram
    Intractable Unifiability Problems and Backtracking. [Citation Graph (1, 0)][DBLP]
    ICLP, 1986, pp:107-121 [Conf]
  9. Heikki Mannila, Esko Ukkonen
    On the Complexity of Unification Sequences. [Citation Graph (0, 0)][DBLP]
    ICLP, 1986, pp:122-133 [Conf]
  10. Peter Kursawe
    How to Invent a Prolog Machine. [Citation Graph (1, 0)][DBLP]
    ICLP, 1986, pp:134-148 [Conf]
  11. Ian T. Foster, Steve Gregory, Graem A. Ringwood, Ken Satoh
    A Sequential Implementation of Parlog. [Citation Graph (0, 0)][DBLP]
    ICLP, 1986, pp:149-156 [Conf]
  12. Jacob Levy
    A GHC Abstract Machine and Instruction Set. [Citation Graph (0, 0)][DBLP]
    ICLP, 1986, pp:157-171 [Conf]
  13. Ian Robinson
    A Prolog Processor Based on a Pattern Matching Memory Device. [Citation Graph (0, 0)][DBLP]
    ICLP, 1986, pp:172-179 [Conf]
  14. Matthew M. Huntbach
    An Improvised Version of Shapiro's Model Inference System. [Citation Graph (0, 0)][DBLP]
    ICLP, 1986, pp:180-187 [Conf]
  15. Kazuhisa Kawai, Riichiro Mizoguchi, Osamu Kakusho, Jun'ichi Toyoda
    A Framework for ICAI Systems Based on Inductive Inference and Logic Programming. [Citation Graph (0, 0)][DBLP]
    ICLP, 1986, pp:188-202 [Conf]
  16. Luís Moniz Pereira
    Rational Debugging in Logic Programming. [Citation Graph (1, 0)][DBLP]
    ICLP, 1986, pp:203-210 [Conf]
  17. Randy Goebel, Koichi Furukawa, David Poole
    Using Definite Clauses and Integrity Constraints as the Basis for a Theory Formation Approach to Diagnostic Reasoning. [Citation Graph (0, 0)][DBLP]
    ICLP, 1986, pp:211-222 [Conf]
  18. Joxan Jaffar, Jean-Louis Lassez, Michael J. Maher
    Invited Talk: Some Issues and Trends in the Semantics of Logic Programming. [Citation Graph (0, 0)][DBLP]
    ICLP, 1986, pp:223-241 [Conf]
  19. Akikazu Takeuchi, Koichi Furukawa
    Parallel Logic Programming Languages. [Citation Graph (0, 0)][DBLP]
    ICLP, 1986, pp:242-254 [Conf]
  20. Rong Yang, Hideo Aiso
    P-Prolog: A Parallel Logic Language Based on Exclusive Relation. [Citation Graph (0, 0)][DBLP]
    ICLP, 1986, pp:255-269 [Conf]
  21. Kazunori Ueda
    Making Exhaustive Search Programs Deterministic. [Citation Graph (0, 0)][DBLP]
    ICLP, 1986, pp:270-282 [Conf]
  22. Michael Codish, Ehud Y. Shapiro
    Compiling OR-parallelism into AND-parallelism. [Citation Graph (0, 0)][DBLP]
    ICLP, 1986, pp:283-297 [Conf]
  23. Jacob Levy
    Shared Memory Execution of Committed-choice Languages. [Citation Graph (0, 0)][DBLP]
    ICLP, 1986, pp:298-312 [Conf]
  24. Joxan Jaffar, Peter J. Stuckey
    Logic Program Semantics for Programming with Equations. [Citation Graph (0, 0)][DBLP]
    ICLP, 1986, pp:313-326 [Conf]
  25. Alberto Martelli, Gianfranco Rossi
    On the Semantics of Logic Programing Languages. [Citation Graph (0, 0)][DBLP]
    ICLP, 1986, pp:327-334 [Conf]
  26. Lennart Beckman
    Towards a Formal Semantics for Concurrent Logic Programming Languages. [Citation Graph (0, 0)][DBLP]
    ICLP, 1986, pp:335-349 [Conf]
  27. Michael C. McCord
    Design of a Prolog-Based Machine Translation System. [Citation Graph (0, 0)][DBLP]
    ICLP, 1986, pp:350-374 [Conf]
  28. Ralph Butler, Ewing L. Lusk, William McCune, Ross A. Overbeek
    Parallel Logic Programming for Numeric Applications. [Citation Graph (0, 0)][DBLP]
    ICLP, 1986, pp:375-388 [Conf]
  29. Harvey Abramson
    Sequential and Concurrent Deterministic Logic Grammars. [Citation Graph (0, 0)][DBLP]
    ICLP, 1986, pp:389-395 [Conf]
  30. Yuji Matsumoto
    A Parallel Parsing System for Natural Language Analysis. [Citation Graph (1, 0)][DBLP]
    ICLP, 1986, pp:396-409 [Conf]
  31. Michael J. Maher
    Eqivalences of Logic Programs. [Citation Graph (3, 0)][DBLP]
    ICLP, 1986, pp:410-424 [Conf]
  32. Phil Vasey
    Qualified Answers and their Application to Transformation. [Citation Graph (0, 0)][DBLP]
    ICLP, 1986, pp:425-432 [Conf]
  33. M. A. Nait Abdallah
    Procedures in Horn-Clause Programming. [Citation Graph (0, 0)][DBLP]
    ICLP, 1986, pp:433-447 [Conf]
  34. Dale Miller, Gopalan Nadathur
    Higher-Order Logic Programming. [Citation Graph (2, 0)][DBLP]
    ICLP, 1986, pp:448-462 [Conf]
  35. Chris Mellish
    Abstract Interpretation of Prolog Programs. [Citation Graph (1, 0)][DBLP]
    ICLP, 1986, pp:463-474 [Conf]
  36. Tadashi Kanamori, Hirohisa Seki
    Verification of Prolog Programs Using an Extension of Execution. [Citation Graph (0, 0)][DBLP]
    ICLP, 1986, pp:475-489 [Conf]
  37. David Scott Warren, Saumya K. Debray
    Detection and Optimization of Functional Computations in Prolog. [Citation Graph (3, 0)][DBLP]
    ICLP, 1986, pp:490-504 [Conf]
  38. Katsuhiko Nakamura
    Control of Logic Program Execution Based on the Functional Relations. [Citation Graph (0, 0)][DBLP]
    ICLP, 1986, pp:505-512 [Conf]
  39. Richard Helm, Kim Marriott
    Declarative Graphics. [Citation Graph (0, 0)][DBLP]
    ICLP, 1986, pp:513-527 [Conf]
  40. Rajiv Gupta
    Test-pattern Generation for VLSI Circuits in a Prolog Environment. [Citation Graph (0, 0)][DBLP]
    ICLP, 1986, pp:528-535 [Conf]
  41. Christopher J. Rawlings, W. R. Taylor, J. Nyakairu, J. Fox, Michael J. E. Sternberg
    Using Prolog to Represent and Reason about Protein Structure. [Citation Graph (1, 0)][DBLP]
    ICLP, 1986, pp:536-543 [Conf]
  42. Oded Maler, Zahava Scherz, Ehud Y. Shapiro
    A New Approach for Intruducing Prolog to Naive Users. [Citation Graph (0, 0)][DBLP]
    ICLP, 1986, pp:544-551 [Conf]
  43. Takashi Chikayama
    Prolog Programming Environments: Architecture and Implementation. [Citation Graph (0, 0)][DBLP]
    ICLP, 1986, pp:552-553 [Conf]
  44. Katherine A. Morris, Jeffrey D. Ullman, Allen Van Gelder
    Design Overview of the NAIL! System. [Citation Graph (46, 0)][DBLP]
    ICLP, 1986, pp:554-568 [Conf]
  45. Kotagiri Ramamohanarao, John Shepherd
    A Superimposed Codeword Indexing Scheme for Very Large Prolog Databases. [Citation Graph (11, 0)][DBLP]
    ICLP, 1986, pp:569-576 [Conf]
  46. David S. Moffat, Peter M. D. Gray
    Interfacing Prolog to a Persistent Data Store. [Citation Graph (1, 0)][DBLP]
    ICLP, 1986, pp:577-584 [Conf]
  47. Patrice Boizumault
    A General Model to Implement DIF and FREEZE. [Citation Graph (0, 0)][DBLP]
    ICLP, 1986, pp:585-592 [Conf]
  48. Martin Nilsson, Hidehiko Tanaka
    Cyclic Tree Traversal. [Citation Graph (0, 0)][DBLP]
    ICLP, 1986, pp:593-599 [Conf]
  49. Roberto Barbuti, Maurizio Martelli
    Completeness of the SLDNF-resolution for a class of logic programs. [Citation Graph (0, 0)][DBLP]
    ICLP, 1986, pp:600-614 [Conf]
  50. Paul J. Voda
    Choices in, and Limitations of, Logic Programming. [Citation Graph (0, 0)][DBLP]
    ICLP, 1986, pp:615-623 [Conf]
  51. Lee Naish
    Negation and Quantifiers in NU-Prolog. [Citation Graph (1, 0)][DBLP]
    ICLP, 1986, pp:624-634 [Conf]
  52. David Poole, Randy Goebel
    Gracefully adding negation and disjunction to Prolog. [Citation Graph (1, 0)][DBLP]
    ICLP, 1986, pp:635-641 [Conf]
  53. Evan Tick
    Memory Performance of Lisp and Prolog Programs. [Citation Graph (0, 0)][DBLP]
    ICLP, 1986, pp:642-649 [Conf]
  54. Kenneth A. Bowen, Kevin A. Buettner, Ilyas Cicekli, Andrew K. Turk
    The Design and Implementation of a High-Speed Incremental Portable Prolog Compiler. [Citation Graph (0, 0)][DBLP]
    ICLP, 1986, pp:650-656 [Conf]
  55. Andrew K. Turk
    Compiler Optimizations for the WAM. [Citation Graph (0, 0)][DBLP]
    ICLP, 1986, pp:657-662 [Conf]
  56. Kevin A. Buettner
    Fast Decompilation of Compiled Prolog Clauses. [Citation Graph (0, 0)][DBLP]
    ICLP, 1986, pp:663-670 [Conf]
  57. Christopher T. Haynes
    Logic Continuations. [Citation Graph (0, 0)][DBLP]
    ICLP, 1986, pp:671-685 [Conf]
  58. Chris Moss
    Cut and Paste - defining the impure Primitives of Prolog. [Citation Graph (1, 0)][DBLP]
    ICLP, 1986, pp:686-694 [Conf]
  59. Masahiro Fujita, Shinji Kono, Hidehiko Tanaka, Tohru Moto-Oka
    Tokio: Logic Programming Language Based on Temporal Logic and its Compilation to Prolog. [Citation Graph (0, 0)][DBLP]
    ICLP, 1986, pp:695-709 [Conf]
  60. Chengzheng Sun, Tzu Yungui
    The OR-Forest Description for the Execution of Logic Programs. [Citation Graph (0, 0)][DBLP]
    ICLP, 1986, pp:710-717 [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
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002