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)
1999 (conf/iclp/99)

  1. Fernando C. N. Pereira
    Declarative Programming for a Messy World. [Citation Graph (0, 0)][DBLP]
    ICLP, 1999, pp:3-5 [Conf]
  2. Bernhard Thalheim
    Logics and Database Modelling. [Citation Graph (0, 0)][DBLP]
    ICLP, 1999, pp:6-21 [Conf]
  3. Kenneth A. Bowen
    Adventures in the Prolog Trade. [Citation Graph (0, 0)][DBLP]
    ICLP, 1999, pp:22- [Conf]
  4. Vladimir Lifschitz
    Answer Set Planning. [Citation Graph (0, 0)][DBLP]
    ICLP, 1999, pp:23-37 [Conf]
  5. Peter Van Roy
    Logic Programming in Oz with Mozart. [Citation Graph (0, 0)][DBLP]
    ICLP, 1999, pp:38-51 [Conf]
  6. Manuel V. Hermenegildo, Francisco Bueno, Germán Puebla, Pedro López-García
    Program Analysis, Debugging, and Optimization Using the Ciao System Preprocessor. [Citation Graph (0, 0)][DBLP]
    ICLP, 1999, pp:52-66 [Conf]
  7. Kenneth M. Kahn
    From Prolog and Zelta to ToonTalk. [Citation Graph (0, 0)][DBLP]
    ICLP, 1999, pp:67-78 [Conf]
  8. Francesco Buccafurri, Wolfgang Faber, Nicola Leone
    Disjunctive Logic Programs with Inheritance. [Citation Graph (0, 0)][DBLP]
    ICLP, 1999, pp:79-93 [Conf]
  9. Ken Kaneiwa, Satoshi Tojo
    Event, Property, and Hierarchy in Order-Sorted Logic. [Citation Graph (0, 0)][DBLP]
    ICLP, 1999, pp:94-108 [Conf]
  10. Alex Dekhtyar, Michael I. Dekhtyar, V. S. Subrahmanian
    Temporal Probabilistic Logic Programs. [Citation Graph (0, 0)][DBLP]
    ICLP, 1999, pp:109-123 [Conf]
  11. Gerald Penn
    An Optimized Prolog Encoding of Typed Feature Structures. [Citation Graph (0, 0)][DBLP]
    ICLP, 1999, pp:124-138 [Conf]
  12. Erwan Jahier, Mireille Ducassé
    A Generic Approach to Monitor Program Executions. [Citation Graph (0, 0)][DBLP]
    ICLP, 1999, pp:139-153 [Conf]
  13. Sarah Mallet, Mireille Ducassé
    Generating Deductive Database Explanations. [Citation Graph (0, 0)][DBLP]
    ICLP, 1999, pp:154-168 [Conf]
  14. Miroslaw Truszczynski
    Computing Large and Small Stable Models. [Citation Graph (0, 0)][DBLP]
    ICLP, 1999, pp:169-183 [Conf]
  15. Silvija Seres, J. Michael Spivey, C. A. R. Hoare
    Algebra of Logic Programming. [Citation Graph (0, 0)][DBLP]
    ICLP, 1999, pp:184-199 [Conf]
  16. Fernando Orejas, Elvira Pino
    Semantic Definitions for Normal Open Programs. [Citation Graph (0, 0)][DBLP]
    ICLP, 1999, pp:200-214 [Conf]
  17. Keiji Hirata, Kenichi Yamazaki
    Declarative Priority in a Concurrent Logic Language ON. [Citation Graph (0, 0)][DBLP]
    ICLP, 1999, pp:215-229 [Conf]
  18. Frédéric Benhamou, Frédéric Goualard, Laurent Granvilliers, Jean-Francois Puget
    Revising Hull and Box Consistency. [Citation Graph (0, 0)][DBLP]
    ICLP, 1999, pp:230-244 [Conf]
  19. Yves Caseau, François-Xavier Josset, François Laburthe
    CLAIRE: Combining Sets, Search, and Rules to Better Express Algorithms. [Citation Graph (0, 0)][DBLP]
    ICLP, 1999, pp:245-259 [Conf]
  20. Bart Demoen, Maria J. García de la Banda, Warwick Harvey, Kim Marriott, Peter J. Stuckey
    Herbrand Constraint Solving in HAL. [Citation Graph (0, 0)][DBLP]
    ICLP, 1999, pp:260-274 [Conf]
  21. Christian Schulte
    Comparing Trailing and Copying for Constraint Programming. [Citation Graph (0, 0)][DBLP]
    ICLP, 1999, pp:275-289 [Conf]
  22. Gopal Gupta, Enrico Pontelli
    Stack-splitting: Or-/And-parallelism on Distributed Memory Machines. [Citation Graph (0, 0)][DBLP]
    ICLP, 1999, pp:290-304 [Conf]
  23. Baoqiu Cui, David Scott Warren
    Multiple Terms in a Tabled Logic Programming System. [Citation Graph (0, 0)][DBLP]
    ICLP, 1999, pp:305-319 [Conf]
  24. Manuel Carro, Manuel V. Hermenegildo
    Concurrency in Prolog Using Threads and a Shared Database. [Citation Graph (0, 0)][DBLP]
    ICLP, 1999, pp:320-334 [Conf]
  25. Jan-Georg Smaus
    Proving Termination of Input-Consuming Logic Programs. [Citation Graph (0, 0)][DBLP]
    ICLP, 1999, pp:335-349 [Conf]
  26. Dino Pedreschi, Salvatore Ruggieri
    Bounded Nondeterminism of Logic Programs. [Citation Graph (0, 0)][DBLP]
    ICLP, 1999, pp:350-364 [Conf]
  27. Sofie Verbaeten
    Termination Analysis for Abductive General Logic Programs. [Citation Graph (0, 0)][DBLP]
    ICLP, 1999, pp:365-379 [Conf]
  28. Alberto Momigliano, Frank Pfenning
    The Relative Complement Problem for Higher-Order Patterns. [Citation Graph (0, 0)][DBLP]
    ICLP, 1999, pp:380-394 [Conf]
  29. Marc Bezem
    Extensionality of Simply Typed Logic Programs. [Citation Graph (0, 0)][DBLP]
    ICLP, 1999, pp:395-410 [Conf]
  30. Andrew W. Appel, Amy P. Felty
    Lightweight Lemmas in lambda-Prolog. [Citation Graph (0, 0)][DBLP]
    ICLP, 1999, pp:411-425 [Conf]
  31. José Júlio Alferes, Luís Moniz Pereira, Terrance Swift
    Well-founded Abduction via Tabled Dual Programs. [Citation Graph (0, 0)][DBLP]
    ICLP, 1999, pp:426-440 [Conf]
  32. Sergio Greco
    Optimization of Disjunctive Queries. [Citation Graph (0, 0)][DBLP]
    ICLP, 1999, pp:441-455 [Conf]
  33. Ulrich Zukowski, Burkhard Freitag
    Well-founded Semantics by Transformation: The Non-ground Case. [Citation Graph (0, 0)][DBLP]
    ICLP, 1999, pp:456-470 [Conf]
  34. Yan Zhang
    Monotonicity in Rule Based Update. [Citation Graph (0, 0)][DBLP]
    ICLP, 1999, pp:471-485 [Conf]
  35. Maurizio Proietti, Alberto Pettorossi
    Transforming Inductive Definitions. [Citation Graph (0, 0)][DBLP]
    ICLP, 1999, pp:486-499 [Conf]
  36. Wim Vanhoof, Maurice Bruynooghe
    Binding-time Analysis for Mercury. [Citation Graph (0, 0)][DBLP]
    ICLP, 1999, pp:500-514 [Conf]
  37. Filippo Focacci, Michela Milano, Andrea Lodi
    Soving TSP with Time Windows with Constraints. [Citation Graph (0, 0)][DBLP]
    ICLP, 1999, pp:515-529 [Conf]
  38. Evan Tick, Roland H. C. Yap, Michael J. Maher
    Finding Fair Allocations for the Coalition Problem with Constraints. [Citation Graph (0, 0)][DBLP]
    ICLP, 1999, pp:530-544 [Conf]
  39. Martin Henz
    Constraint-based Round Robin Tournament Planning. [Citation Graph (0, 0)][DBLP]
    ICLP, 1999, pp:545-557 [Conf]
  40. Sandro Etalle, Femke van Raamsdonk
    Logic Programming with Requests. [Citation Graph (0, 0)][DBLP]
    ICLP, 1999, pp:558-572 [Conf]
  41. Agostino Dovier, Carla Piazza, Enrico Pontelli, Gianfranco Rossi
    ACI1 Constraints. [Citation Graph (0, 0)][DBLP]
    ICLP, 1999, pp:573-587 [Conf]
  42. Mauricio Osorio, Bharat Jayaraman, Juan Carlos Nieves
    Declarative Pruning in a Functional Query Language. [Citation Graph (0, 0)][DBLP]
    ICLP, 1999, pp:588-604 [Conf]
  43. Tibor Ásványi
    Adding Functions to SICStus Prolog. [Citation Graph (0, 0)][DBLP]
    ICLP, 1999, pp:605- [Conf]
  44. Angelo E. M. Ciarlini, Thom W. Frühwirth
    Symbolic Execution for the Derivation of Meaningful Properties of Hybrid Systems. [Citation Graph (0, 0)][DBLP]
    ICLP, 1999, pp:606- [Conf]
  45. Wlodzimierz Drabent
    It Is Declarative. [Citation Graph (0, 0)][DBLP]
    ICLP, 1999, pp:607- [Conf]
  46. Marco Gavanelli, Evelina Lamma, Paola Mello, Michela Milano
    Domains as First Class Objects in CLP(FD). [Citation Graph (0, 0)][DBLP]
    ICLP, 1999, pp:608- [Conf]
  47. Pascal Hitzler, Anthony Karel Seda
    A Characterization of Acceptability. [Citation Graph (0, 0)][DBLP]
    ICLP, 1999, pp:609- [Conf]
  48. Kyoung-Sun Kang, Naoyuki Tamura
    A Static Analysis for Classical Linear Logic Programming Language. [Citation Graph (0, 0)][DBLP]
    ICLP, 1999, pp:610- [Conf]
  49. Kung-Kiu Lau, Mario Ornaghi
    Isoinitial Models for Logic Programs: Some Preliminary Results. [Citation Graph (0, 0)][DBLP]
    ICLP, 1999, pp:611- [Conf]
  50. Xining Li
    Implementing Prolog with Chronological Garbage Collection. [Citation Graph (0, 0)][DBLP]
    ICLP, 1999, pp:612- [Conf]
  51. Lunjin Lu, John G. Cleary
    A Regular Type Analysis of Logic Programs. [Citation Graph (0, 0)][DBLP]
    ICLP, 1999, pp:613- [Conf]
  52. Julio Mariño, Juan José Moreno-Navarro
    Using Static Analysis to Compile Non-sequential Functional Logic Programs. [Citation Graph (0, 0)][DBLP]
    ICLP, 1999, pp:614- [Conf]
  53. Tobias Müller
    Practical Investigation of Constraints with Graph Views. [Citation Graph (0, 0)][DBLP]
    ICLP, 1999, pp:615- [Conf]
  54. Abhik Roychoudhury, K. Narayan Kumar, I. V. Ramakrishnan
    Generalized Unfold/fold Transformation Systems for Normal Logic Programs. [Citation Graph (0, 0)][DBLP]
    ICLP, 1999, pp:616- [Conf]
  55. Taisuke Sato, Satoshi Funada
    Reactive Logic Programming by Reinforcement Learning. [Citation Graph (0, 0)][DBLP]
    ICLP, 1999, pp:617- [Conf]
  56. Neng-Fa Zhou, Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You
    A Linear Tabling Mechanism. [Citation Graph (0, 0)][DBLP]
    ICLP, 1999, pp:618- [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