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)
1997 (conf/iclp/97)

  1. Peter Schachte
    Global Variables in Logic Programming. [Citation Graph (0, 0)][DBLP]
    ICLP, 1997, pp:3-17 [Conf]
  2. Andreas Kågedal, Saumya K. Debray
    A Practical Approach to Structure Reuse of Arrays in Single Assignment Languages. [Citation Graph (0, 0)][DBLP]
    ICLP, 1997, pp:18-32 [Conf]
  3. Maurice Bruynooghe, Gerda Janssens, Andreas Kågedal
    Live-Structure Analysis for Logic Programming Languages with Declarations. [Citation Graph (0, 0)][DBLP]
    ICLP, 1997, pp:33-47 [Conf]
  4. Saumya K. Debray, Pedro López-García, Manuel V. Hermenegildo
    Non-Failure Analysis for Logic Programs. [Citation Graph (0, 0)][DBLP]
    ICLP, 1997, pp:48-62 [Conf]
  5. Naomi Lindenstrauss, Yehoshua Sagiv
    Automatic Termination Analysis of Logic Programs. [Citation Graph (0, 0)][DBLP]
    ICLP, 1997, pp:63-77 [Conf]
  6. Stefaan Decorte, Danny De Schreye
    Demand-Driven and Constraint-Based Automatic Left-Termination Analysis for Logic Programs. [Citation Graph (0, 0)][DBLP]
    ICLP, 1997, pp:78-92 [Conf]
  7. Germán Puebla, Maria J. García de la Banda, Kim Marriott, Peter J. Stuckey
    Optimization of Logic Programs with Dynamic Scheduling. [Citation Graph (0, 0)][DBLP]
    ICLP, 1997, pp:93-107 [Conf]
  8. Enrico Pontelli, Gopal Gupta, Francesco Pulvirenti, Alfredo Ferro
    Automatic Compile-time Parallelization of Prolog Programs for Dependent And-Parallelism. [Citation Graph (0, 0)][DBLP]
    ICLP, 1997, pp:108-122 [Conf]
  9. Enrico Pontelli, Gopal Gupta
    Implementation Mechanisms for Dependent And-Parallelism. [Citation Graph (0, 0)][DBLP]
    ICLP, 1997, pp:123-137 [Conf]
  10. Sergio Antoy, Rachid Echahed, Michael Hanus
    Parallel Evaluation Strategies for Functional Logic Languages. [Citation Graph (0, 0)][DBLP]
    ICLP, 1997, pp:138-152 [Conf]
  11. J. C. González-Moreno, Maria Teresa Hortalá-González, Mario Rodríguez-Artalejo
    A Higher Order Rewriting Logic for Functional Logic Programming. [Citation Graph (0, 0)][DBLP]
    ICLP, 1997, pp:153-167 [Conf]
  12. Femke van Raamsdonk
    Translating Logic Programs into Conditional Rewriting Systems. [Citation Graph (0, 0)][DBLP]
    ICLP, 1997, pp:168-182 [Conf]
  13. Juan M. Molina-Bravo, Ernesto Pimentel
    Modularity in Functional-Logic Programming. [Citation Graph (0, 0)][DBLP]
    ICLP, 1997, pp:183-197 [Conf]
  14. Juliana Freire, Terrance Swift, David Scott Warren
    Taking I/O Seriously: Resolution Reconsidered for Disk. [Citation Graph (0, 0)][DBLP]
    ICLP, 1997, pp:198-212 [Conf]
  15. Ismail H. Toroslu, Fahri Kocabas
    Effective Maintenance of Recursive Views: Improvements to the DRed Algorithm. [Citation Graph (0, 0)][DBLP]
    ICLP, 1997, pp:213-225 [Conf]
  16. Carl-Alexander Wichert, Burkhard Freitag
    Capturing Database Dynamics by Deferred Updates. [Citation Graph (0, 0)][DBLP]
    ICLP, 1997, pp:226-240 [Conf]
  17. Michael I. Dekhtyar, Alexander Ja. Dikovsky
    Total Homeostaticity and Integrity Constraints Restorability Recognition. [Citation Graph (0, 0)][DBLP]
    ICLP, 1997, pp:241-255 [Conf]
  18. Verónica Dahl, Paul Tarau, Renwei Li
    Assumption Grammars for Processing Natural Language. [Citation Graph (0, 0)][DBLP]
    ICLP, 1997, pp:256-270 [Conf]
  19. Rick Vaupel, Enrico Pontelli, Gopal Gupta
    Visualization of And/Or-Parallel Execution of Logic Programs. [Citation Graph (0, 0)][DBLP]
    ICLP, 1997, pp:271-285 [Conf]
  20. Christian Schulte
    Oz Explorer: A Visual Constraint Programming Tool. [Citation Graph (0, 0)][DBLP]
    ICLP, 1997, pp:286-300 [Conf]
  21. Peter J. Stuckey
    Constraint Search Tree. [Citation Graph (1, 0)][DBLP]
    ICLP, 1997, pp:301-315 [Conf]
  22. Yves Caseau, François Laburthe
    Solving Small TSPs with Constraints. [Citation Graph (0, 0)][DBLP]
    ICLP, 1997, pp:316-330 [Conf]
  23. Farid Ajili, Claude Kirchner
    A Modular Framework for the Combination of Unification and Built-In Constraints. [Citation Graph (0, 0)][DBLP]
    ICLP, 1997, pp:331-345 [Conf]
  24. Kristof Van Belleghem, Marc Denecker, Danny De Schreye
    A Strong Correspondence between Description Logics and Open Logic Programming. [Citation Graph (0, 0)][DBLP]
    ICLP, 1997, pp:346-360 [Conf]
  25. Jia-Huai You, Xianchang Wang, Li-Yan Yuan
    Disjunctive Logic Programming as Constrained Inferences. [Citation Graph (0, 0)][DBLP]
    ICLP, 1997, pp:361-375 [Conf]
  26. Yuka Shimajiri, Hirohisa Seki, Hidenori Itoh
    Incorporating a Pruning Strategy into the Computation of Stable Models based on MGTP. [Citation Graph (0, 0)][DBLP]
    ICLP, 1997, pp:376-390 [Conf]
  27. Alex Dekhtyar, V. S. Subrahmanian
    Hybrid Probabilistic Programs. [Citation Graph (0, 0)][DBLP]
    ICLP, 1997, pp:391-405 [Conf]
  28. Peter Baumgartner, Ulrich Furbach
    Calculi for Disjunctive Logic Programming. [Citation Graph (0, 0)][DBLP]
    ICLP, 1997, pp:409- [Conf]
  29. Zhiyi Huang, Chengzheng Sun, Abdul Sattar
    Handling Side-effects with Selective Recomputation in AND/OR Parallel Execution Models. [Citation Graph (0, 0)][DBLP]
    ICLP, 1997, pp:410- [Conf]
  30. Sameer Mahajan, S. Ramesh
    Concurrent Logic Programming and pi Calculus. [Citation Graph (0, 0)][DBLP]
    ICLP, 1997, pp:411- [Conf]
  31. Tobias Müller, Jörg Würtz
    Connecting Propagators with a Concurrent Constraint Language. [Citation Graph (0, 0)][DBLP]
    ICLP, 1997, pp:412- [Conf]
  32. Evelina Lamma, Michela Milano, Paola Mello
    Reasoning on Constraints in Constraint Logic Programming. [Citation Graph (0, 0)][DBLP]
    ICLP, 1997, pp:413- [Conf]
  33. Kensei Tsuchida, Yoshihiro Adachi, Takanori Imaki, Takeo Yaku
    Tree Drawing Using Constraint Logic Programming. [Citation Graph (0, 0)][DBLP]
    ICLP, 1997, pp:414- [Conf]
  34. Mengchi Liu
    Supporting Partial and Complete Sets and Tuples in Deductive Databases. [Citation Graph (0, 0)][DBLP]
    ICLP, 1997, pp:415- [Conf]
  35. Michael Codish, Bart Demoen, Konstantinos F. Sagonas
    XSB as the Natural Habitat for General Purpose Program Analysis. [Citation Graph (0, 0)][DBLP]
    ICLP, 1997, pp:416- [Conf]
  36. Francisco Bueno, Michael Codish, Vitaly Lagoon
    Sharing Analysis Using Set Logic Programs. [Citation Graph (0, 0)][DBLP]
    ICLP, 1997, pp:417- [Conf]
  37. Jan-Georg Smaus, Patricia M. Hill, Andy King
    Domain Construction for Mode Analysis of Typed Logic Programs. [Citation Graph (0, 0)][DBLP]
    ICLP, 1997, pp:418- [Conf]
  38. Iliano Cervesato, Massimo Franceschet, Angelo Montanari
    The Complexity of Model Checking in Modal Event Calculi. [Citation Graph (0, 0)][DBLP]
    ICLP, 1997, pp:419- [Conf]
  39. Vyacheslav Petukhin
    Embedded Implications as a Generalization of Negation as Failure. [Citation Graph (0, 0)][DBLP]
    ICLP, 1997, pp:420- [Conf]
  40. Ulrich Zukowski, Burkhard Freitag, Stefan Brass
    Differential Bottom-Up Computation of the Well-Founded Semantics. [Citation Graph (0, 0)][DBLP]
    ICLP, 1997, pp:421- [Conf]
  41. Michael Codish
    Efficient Goal Directed Bottom-up Evaluation of Logic Programs. [Citation Graph (0, 0)][DBLP]
    ICLP, 1997, pp:422- [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