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)
1995 (conf/iclp/95)

  1. Kenneth M. Kahn
    ToonTalk - Concurrent Constraint Programming for Kids. [Citation Graph (0, 0)][DBLP]
    ICLP, 1995, pp:3- [Conf]
  2. Ryuzo Hasegawa
    Model Generation Theorem Provers and Their Applications. [Citation Graph (0, 0)][DBLP]
    ICLP, 1995, pp:7- [Conf]
  3. Helmut Simonis
    Applications of Constraint Logic Programming. [Citation Graph (0, 0)][DBLP]
    ICLP, 1995, pp:9-11 [Conf]
  4. Gert Smolka
    Oz: Concurrent Constraint Programming for Real. [Citation Graph (0, 0)][DBLP]
    ICLP, 1995, pp:13- [Conf]
  5. C. K. Chiu, J. H. M. Lee
    Interval Linear Constraint Solving Using the Preconditioned Interval Gauss-Seidel Method. [Citation Graph (0, 0)][DBLP]
    ICLP, 1995, pp:17-31 [Conf]
  6. Jennifer Burg, Peter J. Stuckey, Jason C. H. Tai, Roland H. C. Yap
    Linear Equation Solving for Constraint Logic Programming. [Citation Graph (0, 0)][DBLP]
    ICLP, 1995, pp:33-47 [Conf]
  7. Nevin Heintze, Joxan Jaffar
    A Generic Algorithm for CLP Analysis. [Citation Graph (0, 0)][DBLP]
    ICLP, 1995, pp:49-63 [Conf]
  8. Fariba Sadri, Robert A. Kowalski
    Variants of the Event Calculus. [Citation Graph (0, 0)][DBLP]
    ICLP, 1995, pp:67-81 [Conf]
  9. Kristof Van Belleghem, Marc Denecker, Danny De Schreye
    Combining Situation Calculus and Event Calculus. [Citation Graph (0, 0)][DBLP]
    ICLP, 1995, pp:83-97 [Conf]
  10. Suryanarayana M. Sripada
    Efficient Implementation of the Event Calculus for Temporal Database Applications. [Citation Graph (1, 0)][DBLP]
    ICLP, 1995, pp:99-113 [Conf]
  11. Björn Carlson, Mats Carlsson
    Compiling and Executing Disjunctions of Finite Domain Constraints. [Citation Graph (0, 0)][DBLP]
    ICLP, 1995, pp:117-131 [Conf]
  12. Peter Barth, Alexander Bockmayr
    Finite Domain and Cutting Plane Techniques in CLP(PB). [Citation Graph (0, 0)][DBLP]
    ICLP, 1995, pp:133-147 [Conf]
  13. François Fages, Julian Fowler, Thierry Sola
    A Reactive Constraint Logic Programming Scheme. [Citation Graph (0, 0)][DBLP]
    ICLP, 1995, pp:149-163 [Conf]
  14. Li-Yan Yuan, Jia-Huai You
    On Coherence Approach to Logic Program Revision. [Citation Graph (0, 0)][DBLP]
    ICLP, 1995, pp:167-181 [Conf]
  15. Michael I. Dekhtyar, Alexander Ja. Dikovsky
    Dynamic Deductive Data Bases With Steady Behaviour. [Citation Graph (0, 0)][DBLP]
    ICLP, 1995, pp:183-197 [Conf]
  16. Stefan Brass, Jürgen Dix
    Disjunctive Semantics based upon Partial and Bottom-Up Evaluation. [Citation Graph (2, 0)][DBLP]
    ICLP, 1995, pp:199-213 [Conf]
  17. Neng-Fa Zhou
    A Logic Programming Approach to Channel Routing. [Citation Graph (0, 0)][DBLP]
    ICLP, 1995, pp:217-231 [Conf]
  18. V. S. Subrahmanian, Carlo Zaniolo
    Relating Stable Models and AI Planning Domains. [Citation Graph (0, 0)][DBLP]
    ICLP, 1995, pp:233-247 [Conf]
  19. Yasuyuki Shirai, Ryuzo Hasegawa
    Two Approaches for Finite-Domain Constraint Satisfaction Problems - CP and CMGTP. [Citation Graph (0, 0)][DBLP]
    ICLP, 1995, pp:249-263 [Conf]
  20. Pawel Cholewinski, V. Wiktor Marek, Artur Mikitiuk, Miroslaw Truszczynski
    Experimenting with Nonmonotonic Reasoning. [Citation Graph (0, 0)][DBLP]
    ICLP, 1995, pp:267-281 [Conf]
  21. Toshiko Wakaki, Ken Satoh
    Computing Prioritized Circumscription by Logic Programming. [Citation Graph (0, 0)][DBLP]
    ICLP, 1995, pp:283-297 [Conf]
  22. Iliano Cervesato, Luca Chittaro, Angelo Montanari
    A Modal Calculus of Partially Ordered Events in a Logic Programming Framework. [Citation Graph (0, 0)][DBLP]
    ICLP, 1995, pp:299-313 [Conf]
  23. Philippe Codognet, Daniel Diaz
    WAMCC: Compiling Prolog to C. [Citation Graph (0, 0)][DBLP]
    ICLP, 1995, pp:317-331 [Conf]
  24. Andreas Krall, Thomas Berger
    Incremental Global Compilation of Prolog with the Vienna Abstract Machine. [Citation Graph (0, 0)][DBLP]
    ICLP, 1995, pp:333-347 [Conf]
  25. Konstantinos F. Sagonas, David Scott Warren
    Efficient Execution of HiLog in WAM-based Prolog Implementations. [Citation Graph (0, 0)][DBLP]
    ICLP, 1995, pp:349-363 [Conf]
  26. Francesca Toni, Robert A. Kowalski
    Reduction of Abductive Logic Programs to Normal Logic Programs. [Citation Graph (0, 0)][DBLP]
    ICLP, 1995, pp:367-381 [Conf]
  27. Chiaki Sakama, Katsumi Inoue
    The Effect of Partial Deduction in Abductive Reasoning. [Citation Graph (0, 0)][DBLP]
    ICLP, 1995, pp:383-397 [Conf]
  28. Antonis C. Kakas, A. Michael
    Integrating Abductive and Constraint Logic Programming. [Citation Graph (0, 0)][DBLP]
    ICLP, 1995, pp:399-413 [Conf]
  29. Philippe Codognet, Francesca Rossi
    NMCC Programming: Constraint Enforcement and Retracting in CC Programming. [Citation Graph (0, 0)][DBLP]
    ICLP, 1995, pp:417-431 [Conf]
  30. Per Brand
    A Decision Graph Algorithm for CCP Languages. [Citation Graph (0, 0)][DBLP]
    ICLP, 1995, pp:433-447 [Conf]
  31. Andreas Podelski, Gert Smolka
    Operational Semantics of Constraint Logic Programs with Coroutining. [Citation Graph (0, 0)][DBLP]
    ICLP, 1995, pp:449-463 [Conf]
  32. Timothy S. Gegg-Harrison
    Representing Logic Program Schemata in lambda-Prolog. [Citation Graph (0, 0)][DBLP]
    ICLP, 1995, pp:467-481 [Conf]
  33. Ashish Jain
    Projections of Logic Programs using Symbol Mappings. [Citation Graph (0, 0)][DBLP]
    ICLP, 1995, pp:483-496 [Conf]
  34. Mantis H. M. Cheng, Douglas Stott Parker Jr., Maarten H. van Emden
    A Method for Implementing Equational Theories as Logic Programs. [Citation Graph (0, 0)][DBLP]
    ICLP, 1995, pp:497-511 [Conf]
  35. Steve Gregory, Rafael Ramirez
    Tempo: A Declarative Concurrent Programming Language. [Citation Graph (0, 0)][DBLP]
    ICLP, 1995, pp:515-529 [Conf]
  36. Jean-Marie Jacquet, Koenraad De Bosschere
    On Composing Concurrent Logic Processes. [Citation Graph (0, 0)][DBLP]
    ICLP, 1995, pp:531-545 [Conf]
  37. Roberto Barbuti, Nicoletta De Francesco, Antonella Santone
    Modeling OR-Parallel Execution of Prolog using CHOCS. [Citation Graph (0, 0)][DBLP]
    ICLP, 1995, pp:547-561 [Conf]
  38. Anatoli Degtyarev, Andrei Voronkov
    A New Procedural Interpretation of Horn Clauses with Equality. [Citation Graph (0, 0)][DBLP]
    ICLP, 1995, pp:565-579 [Conf]
  39. Vladimir Lifschitz
    SLDNF, Constructive Negation and Grounding. [Citation Graph (0, 0)][DBLP]
    ICLP, 1995, pp:581-595 [Conf]
  40. Bern Martens, John P. Gallagher
    Ensuring Global Termination of Partial Deduction while Allowing Flexible Polyvariance. [Citation Graph (0, 0)][DBLP]
    ICLP, 1995, pp:597-611 [Conf]
  41. Enrico Pontelli, Gopal Gupta, Dongxing Tang
    Determinacy Driven Optimizations of And-Parallel Prolog Implementations. [Citation Graph (0, 0)][DBLP]
    ICLP, 1995, pp:615-629 [Conf]
  42. Manuel V. Hermenegildo, Daniel Cabeza Gras, Manuel Carro
    Using Attributed Variables in the Implementation of Concurrent and Parallel Logic Programming Systems. [Citation Graph (0, 0)][DBLP]
    ICLP, 1995, pp:631-645 [Conf]
  43. Manuel V. Hermenegildo, Pedro López-García
    Efficient Term Size Computation for Granularity Control. [Citation Graph (0, 0)][DBLP]
    ICLP, 1995, pp:647-661 [Conf]
  44. Michael Hanus
    On Extra Variables in (Equational) Logic Programming. [Citation Graph (0, 0)][DBLP]
    ICLP, 1995, pp:665-679 [Conf]
  45. Sandro Etalle, Maurizio Gabbrielli
    A Transformation System for Modular CLP Programs. [Citation Graph (0, 0)][DBLP]
    ICLP, 1995, pp:681-695 [Conf]
  46. I. V. Ramakrishnan, Prasad Rao, Konstantinos F. Sagonas, Terrance Swift, David Scott Warren
    Efficient Tabling Mechanisms for Logic Programs. [Citation Graph (1, 0)][DBLP]
    ICLP, 1995, pp:697-711 [Conf]
  47. Taisuke Sato
    A Statistical Learning Method for Logic Programs with Distribution Semantics. [Citation Graph (0, 0)][DBLP]
    ICLP, 1995, pp:715-729 [Conf]
  48. Kannan Govindarajan, Bharat Jayaraman, Surya Mantha
    Preference Logic Programming. [Citation Graph (0, 0)][DBLP]
    ICLP, 1995, pp:731-745 [Conf]
  49. Johan Boye, Jan Maluszynski
    Two Aspects of Directional Types. [Citation Graph (0, 0)][DBLP]
    ICLP, 1995, pp:747-761 [Conf]
  50. Christoph Beierle
    Type Inferencing for Polymorphic Order-Sorted Logic Programs. [Citation Graph (0, 0)][DBLP]
    ICLP, 1995, pp:765-779 [Conf]
  51. Anne Mulkers, Wim Simoens, Gerda Janssens, Maurice Bruynooghe
    On the Practicality of Abstract Equation Systems. [Citation Graph (0, 0)][DBLP]
    ICLP, 1995, pp:781-795 [Conf]
  52. Manuel V. Hermenegildo, Germán Puebla, Kim Marriott, Peter J. Stuckey
    Incremental Analysis of Logic Programs. [Citation Graph (0, 0)][DBLP]
    ICLP, 1995, pp:797-811 [Conf]
  53. Ilyas Cicekli
    Shallow Backtracking Points in an Intelligent Backtracking Schema. [Citation Graph (0, 0)][DBLP]
    ICLP, 1995, pp:815- [Conf]
  54. Bogumil Hausman
    Hybrid Implementation Techniques in Erlang BEAM. [Citation Graph (0, 0)][DBLP]
    ICLP, 1995, pp:816- [Conf]
  55. T. H. Fung
    Abduction with Clark Completion. [Citation Graph (0, 0)][DBLP]
    ICLP, 1995, pp:817- [Conf]
  56. Keiji Hirata
    Proving Correctness of Translation from Moded Flat GHC to Pi-Calculus. [Citation Graph (0, 0)][DBLP]
    ICLP, 1995, pp:818- [Conf]
  57. Anna Formica, Michele Missikoff, Roberto Terenzi
    A Theorem Prover for Checking Satisfiability of Object-Oriented Database Schemas. [Citation Graph (0, 0)][DBLP]
    ICLP, 1995, pp:819- [Conf]
  58. Yuka Shimajiri, Hirohisa Seki, Hidenori Itoh
    Making Query Processing Goal-Directed in Disjunctive Logic Databases. [Citation Graph (0, 0)][DBLP]
    ICLP, 1995, pp:820- [Conf]
  59. Hans Nilsson, Torbjörn Törnkvist, Claes Wikstrom
    Amnesia - A Distributed Real-Time Primary Memory DBMS with a Deductive Query Language. [Citation Graph (0, 0)][DBLP]
    ICLP, 1995, pp:821- [Conf]
  60. Hideki Isozaki, Hirofumi Katsuno
    Transformation of Transaction Logic Programs based on Estimation of Transaction Execution Paths. [Citation Graph (0, 0)][DBLP]
    ICLP, 1995, pp:822- [Conf]
  61. Jichang Tan, I-Peng Lin
    Type Synthesis for Logic Programs. [Citation Graph (0, 0)][DBLP]
    ICLP, 1995, pp:823- [Conf]
  62. Gopal Gupta, Vítor Santos Costa, Enrico Pontelli
    Shared Paged Binding Array: A Universal Datastructure for Parallel Logic Programming. [Citation Graph (0, 0)][DBLP]
    ICLP, 1995, pp:824- [Conf]
  63. Jianjun Zhao, Jingde Cheng, Kazuo Ushijima
    Program Dependence Analysis of Concurrent Logic Programs and Its Applications. [Citation Graph (0, 0)][DBLP]
    ICLP, 1995, pp:825- [Conf]
  64. Andreas Podelski, Gert Smolka
    Situated Simplification. [Citation Graph (0, 0)][DBLP]
    ICLP, 1995, pp:826- [Conf]
  65. Jørgen Fischer Nilsson, Andreas Hamfelt
    Constructing Logic Programs with Higher-Order Predicates. [Citation Graph (0, 0)][DBLP]
    ICLP, 1995, pp:827- [Conf]
  66. Dan Sahlin, Thomas Sjöland
    An Analyzer for a Concurrent Constraint Language. [Citation Graph (0, 0)][DBLP]
    ICLP, 1995, pp:828- [Conf]
  67. Juan José Moreno-Navarro
    Tuple Inheritance: A New Kind of Inheritance for (Constraint) Logic Programming. [Citation Graph (0, 0)][DBLP]
    ICLP, 1995, pp:829- [Conf]
  68. Jonas Barklund, Pierangelo Dell'Acqua, Stefania Costantini, Gaetano Aurelio Lanzarone
    Semantical Properties of SLD-Resolution with Reflection. [Citation Graph (0, 0)][DBLP]
    ICLP, 1995, pp:830- [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