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)
1993 (conf/iclp/93)

  1. Ivan Futó
    Prolog with Communicating Processes: From T-Prolog to CSR-Prolog. [Citation Graph (0, 0)][DBLP]
    ICLP, 1993, pp:3-17 [Conf]
  2. Anil Nerode, Wolf Kohn
    Hybrid Systems and Constraint Logic Programming. [Citation Graph (0, 0)][DBLP]
    ICLP, 1993, pp:18-24 [Conf]
  3. Pascal Brisset, Olivier Ridoux
    Continuations in Lambda-Prolog. [Citation Graph (0, 0)][DBLP]
    ICLP, 1993, pp:27-43 [Conf]
  4. L. Thorne McCarty
    Proving Inductive Properties of Prolog Programs in Second-Order Intuitionistic Logic. [Citation Graph (0, 0)][DBLP]
    ICLP, 1993, pp:44-63 [Conf]
  5. Serge Le Huitouze, Pascale Louvet, Olivier Ridoux
    Logic Grammars and Lambda-Prolog. [Citation Graph (0, 0)][DBLP]
    ICLP, 1993, pp:64-79 [Conf]
  6. Michael Hanus
    Analysis of Nonlinear Constraints in CLP(R). [Citation Graph (0, 0)][DBLP]
    ICLP, 1993, pp:83-99 [Conf]
  7. Veroniek Dumortier, Gerda Janssens, Maurice Bruynooghe, Michael Codish
    Freeness Analysis in the Presence of Numerical Constraints. [Citation Graph (0, 0)][DBLP]
    ICLP, 1993, pp:100-115 [Conf]
  8. Michael Codish, Dennis Dams, Gilberto Filé, Maurice Bruynooghe
    Freeness Analysis for Logic Programs - And Correctness? [Citation Graph (0, 0)][DBLP]
    ICLP, 1993, pp:116-131 [Conf]
  9. Tony Beaumont, David H. D. Warren
    Scheduling Speculative Work in Or-Parallel Prolog Systems. [Citation Graph (0, 0)][DBLP]
    ICLP, 1993, pp:135-149 [Conf]
  10. Rong Yang, Tony Beaumont, Inês de Castro Dutra, Vítor Santos Costa, David H. D. Warren
    Performance of the Compiler-Based Andorra-I System. [Citation Graph (0, 0)][DBLP]
    ICLP, 1993, pp:150-166 [Conf]
  11. Kish Shen
    Implementing Dynamic Dependent And-Parallelism. [Citation Graph (0, 0)][DBLP]
    ICLP, 1993, pp:167-183 [Conf]
  12. Manuel Carro, Luis Manuel Gómez Henríquez, Manuel V. Hermenegildo
    Some Paradigms for Visualizing Parallel Execution of Logic Programs. [Citation Graph (0, 0)][DBLP]
    ICLP, 1993, pp:184-200 [Conf]
  13. Javier Pinto, Raymond Reiter
    Temporal Reasoning in Logic Programming: A Case for the Situation Calculus. [Citation Graph (0, 0)][DBLP]
    ICLP, 1993, pp:203-221 [Conf]
  14. Phan Minh Dung
    Representing Actions in Logic Programming and Its Applications in Database Updates. [Citation Graph (0, 0)][DBLP]
    ICLP, 1993, pp:222-238 [Conf]
  15. Christoph Brzoska
    Temporal Logic Programming with Bounded Universal Modality Goals. [Citation Graph (0, 0)][DBLP]
    ICLP, 1993, pp:239-256 [Conf]
  16. Anthony J. Bonner, Michael Kifer
    Transaction Logic Programming. [Citation Graph (7, 0)][DBLP]
    ICLP, 1993, pp:257-279 [Conf]
  17. Johan Bevemyr, Thomas Lindgren, Håkan Millroth
    Reform Prolog: The Language and Its Implementation. [Citation Graph (0, 0)][DBLP]
    ICLP, 1993, pp:283-298 [Conf]
  18. Koenraad De Bosschere, Jean-Marie Jacquet
    Multi-Prolog: Definition, Operational Semantics and Implementation. [Citation Graph (0, 0)][DBLP]
    ICLP, 1993, pp:299-313 [Conf]
  19. Donald A. Smith
    MultiLog: Data Or-Parallel Logic Programming. [Citation Graph (0, 0)][DBLP]
    ICLP, 1993, pp:314-331 [Conf]
  20. Katsumi Inoue, Chiaki Sakama
    Transforming Abductive Logic Programs to Disjunctive Programs. [Citation Graph (1, 0)][DBLP]
    ICLP, 1993, pp:335-353 [Conf]
  21. Giorgio Levi, Davide Ramundo
    A Formalization of Metaprogramming for real. [Citation Graph (0, 0)][DBLP]
    ICLP, 1993, pp:354-373 [Conf]
  22. Annalisa Bossi, Michele Bugliesi, Massimo Fabris
    A New Fixpoint Semantics for Prolog. [Citation Graph (0, 0)][DBLP]
    ICLP, 1993, pp:374-389 [Conf]
  23. Saumya K. Debray
    On Copy Avoidance in Single Assignment Languages. [Citation Graph (0, 0)][DBLP]
    ICLP, 1993, pp:393-407 [Conf]
  24. André Mariën
    Findall without findall/3. [Citation Graph (0, 0)][DBLP]
    ICLP, 1993, pp:408-423 [Conf]
  25. Steven Dawson, C. R. Ramakrishnan, I. V. Ramakrishnan, R. C. Sekar
    Extracting Determinacy in Logic Programs. [Citation Graph (0, 0)][DBLP]
    ICLP, 1993, pp:424-438 [Conf]
  26. Ina Kraan, David A. Basin, Alan Bundy
    Middle-Out Reasoning for Logic Program Synthesis. [Citation Graph (0, 0)][DBLP]
    ICLP, 1993, pp:441-455 [Conf]
  27. Kung-Kiu Lau, Mario Ornaghi
    An Incompleteness Result for Deductive Synthesis of Logic Programs. [Citation Graph (0, 0)][DBLP]
    ICLP, 1993, pp:456-477 [Conf]
  28. Stefan Lüttringhaus-Kappel
    Control Generation for Logic Programs. [Citation Graph (0, 0)][DBLP]
    ICLP, 1993, pp:478-495 [Conf]
  29. Jean-Louis Imbert
    Variable Elimination for Generalized Linear Constraints. [Citation Graph (0, 0)][DBLP]
    ICLP, 1993, pp:499-516 [Conf]
  30. Frédéric Benhamou, Jean-Luc Massat
    Boolean Pseudo-equations in Constraint Logic Programming. [Citation Graph (0, 0)][DBLP]
    ICLP, 1993, pp:517-531 [Conf]
  31. Evelyne Contejean
    Solving Linear Diophantine Constraints Incrementally. [Citation Graph (0, 0)][DBLP]
    ICLP, 1993, pp:532-549 [Conf]
  32. Bruno De Backer, Henri Beringer
    A CLP Language Handling Disjunctions of Linear Constraints. [Citation Graph (0, 0)][DBLP]
    ICLP, 1993, pp:550-563 [Conf]
  33. Hudson Turner
    A Monotonicity Theorem for Extended Logic Programs. [Citation Graph (0, 0)][DBLP]
    ICLP, 1993, pp:567-585 [Conf]
  34. Laura Giordano, Alberto Martelli, Maria Luisa Sapino
    A Semantics for Eshghi and Kowalski's Procedure. [Citation Graph (0, 0)][DBLP]
    ICLP, 1993, pp:586-600 [Conf]
  35. Luís Moniz Pereira, José Júlio Alferes
    Optative Reasoning with Scenario Semantics. [Citation Graph (0, 0)][DBLP]
    ICLP, 1993, pp:601-615 [Conf]
  36. Phan Minh Dung
    An Argumentation Semantics for Logic Programming with Explicit Negation. [Citation Graph (1, 0)][DBLP]
    ICLP, 1993, pp:616-630 [Conf]
  37. Andrei Mantsivoda, Vyacheslav Petukhin, Alexei Weimann
    Memory Management of Constraint in Flang. [Citation Graph (0, 0)][DBLP]
    ICLP, 1993, pp:633-646 [Conf]
  38. Mats Carlsson, Mats Grindal
    Automatic Frequency Assignment for Cellular Telephones Using Constraint Satisfaction Techniques. [Citation Graph (0, 0)][DBLP]
    ICLP, 1993, pp:647-665 [Conf]
  39. David B. Kemp, Peter J. Stuckey
    Analysis Based Constraint Query Optimization. [Citation Graph (4, 0)][DBLP]
    ICLP, 1993, pp:666-682 [Conf]
  40. James Harland, Kotagiri Ramamohanarao
    Constraint Propagation for Linear Recursive Rules. [Citation Graph (3, 0)][DBLP]
    ICLP, 1993, pp:683-699 [Conf]
  41. Chiaki Sakama, Katsumi Inoue
    Negation in Disjunctive Logic Programs. [Citation Graph (0, 0)][DBLP]
    ICLP, 1993, pp:703-719 [Conf]
  42. M. R. K. Krishna Rao, Deepak Kapur, R. K. Shyamasundar
    Proving Termination of GHC Programs. [Citation Graph (0, 0)][DBLP]
    ICLP, 1993, pp:720-736 [Conf]
  43. Michael J. Maher
    A Logic Programming View of CLP. [Citation Graph (2, 0)][DBLP]
    ICLP, 1993, pp:737-753 [Conf]
  44. Evan Tick, C. Banerjee
    Performance Evaluation of Monaco Compiler and Runtime Kernel. [Citation Graph (0, 0)][DBLP]
    ICLP, 1993, pp:757-773 [Conf]
  45. Daniel Diaz, Philippe Codognet
    A Minimal Extension of the WAM for clp(FD). [Citation Graph (0, 0)][DBLP]
    ICLP, 1993, pp:774-790 [Conf]
  46. Roland N. Bol, Lars Degerstedt
    The Underlying Search for Magic Templates and Tabulation. [Citation Graph (0, 0)][DBLP]
    ICLP, 1993, pp:793-811 [Conf]
  47. Raymond T. Ng
    Semantics and Consistency of Empirical Databases. [Citation Graph (1, 0)][DBLP]
    ICLP, 1993, pp:812-826 [Conf]
  48. Kalman Balogh
    The SQL Interface of MProlog. [Citation Graph (0, 0)][DBLP]
    ICLP, 1993, pp:829-830 [Conf]
  49. R. Bisdorff, S. Laurent
    Industrial Disposing Problem Solved in CHIP. [Citation Graph (0, 0)][DBLP]
    ICLP, 1993, pp:831- [Conf]
  50. Egon Börger, Dean Rosenzweig
    Full Prolog in a Nutshell. [Citation Graph (0, 0)][DBLP]
    ICLP, 1993, pp:832- [Conf]
  51. Takashi Chikayama, Tetsuro Fujise, Hiroshi Yashiro
    A Portable and Reasonably Efficient Implementation of KL1. [Citation Graph (0, 0)][DBLP]
    ICLP, 1993, pp:833- [Conf]
  52. Marc-Michel Corsini, Antoine Rauzy
    Safety Analysis by Means of Fault Trees: An Application for Open Boolean Solvers. [Citation Graph (0, 0)][DBLP]
    ICLP, 1993, pp:834- [Conf]
  53. Zsuzsa Farkas, Gábor Gerlei, Katalin Molnár, Gábor Umann
    ZEXPERT - A Prolog-Based Shell for Knowledge Base Development. [Citation Graph (0, 0)][DBLP]
    ICLP, 1993, pp:835-836 [Conf]
  54. Thom W. Frühwirth
    User-Defined Constraint Handling. [Citation Graph (0, 0)][DBLP]
    ICLP, 1993, pp:837-838 [Conf]
  55. P. W. Grant, C. P. Jobling
    A Prolog Toolkit for control System Models. [Citation Graph (0, 0)][DBLP]
    ICLP, 1993, pp:839-840 [Conf]
  56. Oleg Yu. Gusikhin
    Integration of Traditional Scheduling Techniques and AI on Prolog Basis. [Citation Graph (0, 0)][DBLP]
    ICLP, 1993, pp:841- [Conf]
  57. S. Ivanets, N. Ilinsky, M. Krylov, S. Timohin
    Optimum Flight Planning System for Aerodrome Zone. [Citation Graph (0, 0)][DBLP]
    ICLP, 1993, pp:842- [Conf]
  58. Nikolai K. Kossovsky, Igor P. Solovjev
    Function-Patterns and Fan-Backtracking for Logic Programming. [Citation Graph (0, 0)][DBLP]
    ICLP, 1993, pp:843- [Conf]
  59. Anthony J. Kusalik, Gregory M. Oster
    Towards Generalized Visualization Support for Logic Programming. [Citation Graph (0, 0)][DBLP]
    ICLP, 1993, pp:844- [Conf]
  60. Didier Ladret, Michel Rueher
    Contribution of Logic Programming to Support Telecommunications Protocol Tests. [Citation Graph (0, 0)][DBLP]
    ICLP, 1993, pp:845-846 [Conf]
  61. Liang-Liang Li, Mike Reeve, Kees Schuerman, André Véron, Jacques Bellone, Claudine Pradelles, Zissis Palaskas, Takis Stamatopoulos, Dominic A. Clark, Sylvie Doursenot, Christopher J. Rawlings, Jack Shirazi, Giuseppe Sardu
    APPLAUSE: Applications Using the ElipSys Parallel CLP System. [Citation Graph (0, 0)][DBLP]
    ICLP, 1993, pp:847-848 [Conf]
  62. Leon J. Mekly, Marjorie Passini Yuhas
    A Logic Programming Approach to Requirements Modelling and Automated Test Generation. [Citation Graph (0, 0)][DBLP]
    ICLP, 1993, pp:849- [Conf]
  63. Michael Reviakin
    Logic Programming System Prolog-plus. [Citation Graph (0, 0)][DBLP]
    ICLP, 1993, pp:850- [Conf]
  64. Jayen Vaghani, Kotagiri Ramamohanarao, David B. Kemp, Zoltan Somogyi, Peter J. Stuckey, Tim S. Leask, James Harland
    Status of the Aditi Deductive Database System. [Citation Graph (0, 0)][DBLP]
    ICLP, 1993, pp:851- [Conf]
  65. Imrich Weigl, Milan Fico, Svitoslav Molnár, Rudolf Fiby
    Istropolitan-a WAM Based Fuzzy Prolog. [Citation Graph (0, 0)][DBLP]
    ICLP, 1993, pp:852- [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