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

  1. Nachum Dershowitz
    Termination by Abstraction. [Citation Graph (0, 0)][DBLP]
    ICLP, 2004, pp:1-18 [Conf]
  2. Michael Gelfond
    Answer Set Programming and the Design of Deliberative Agents. [Citation Graph (0, 0)][DBLP]
    ICLP, 2004, pp:19-26 [Conf]
  3. John P. Gallagher, Kim S. Henriksen
    Abstract Domains Based on Regular Types. [Citation Graph (0, 0)][DBLP]
    ICLP, 2004, pp:27-42 [Conf]
  4. Jan-Georg Smaus
    Termination of Logic Programs Using Various Dynamic Selection Rules. [Citation Graph (0, 0)][DBLP]
    ICLP, 2004, pp:43-57 [Conf]
  5. Tom Schrijvers, Alexander Serebrenik
    Improving Prolog Programs: Refactoring for Prolog. [Citation Graph (0, 0)][DBLP]
    ICLP, 2004, pp:58-72 [Conf]
  6. Islam Elkabani, Enrico Pontelli, Tran Cao Son
    Smodels with CLP and Its Applications: A Simple and Effective Approach to Aggregates in ASP. [Citation Graph (0, 0)][DBLP]
    ICLP, 2004, pp:73-89 [Conf]
  7. Gregory J. Duck, Peter J. Stuckey, Maria J. García de la Banda, Christian Holzbaur
    The Refined Operational Semantics of Constraint Handling Rules. [Citation Graph (0, 0)][DBLP]
    ICLP, 2004, pp:90-104 [Conf]
  8. Gregory J. Duck, Maria J. García de la Banda, Peter J. Stuckey
    Compiling Ask Constraints. [Citation Graph (0, 0)][DBLP]
    ICLP, 2004, pp:105-119 [Conf]
  9. Tom Schrijvers, David Scott Warren
    Constraint Handling Rules and Tabled Execution. [Citation Graph (0, 0)][DBLP]
    ICLP, 2004, pp:120-136 [Conf]
  10. Alex Dekhtyar, Michael I. Dekhtyar
    Possible Worlds Semantics for Probabilistic Logic Programs. [Citation Graph (0, 0)][DBLP]
    ICLP, 2004, pp:137-148 [Conf]
  11. Patrick Caldon, Eric Martin
    Limiting Resolution: From Foundations to Implementation. [Citation Graph (0, 0)][DBLP]
    ICLP, 2004, pp:149-164 [Conf]
  12. Oliver Ray, Krysia Broda, Alessandra Russo
    Generalised Kernel Sets for Inverse Entailment. [Citation Graph (0, 0)][DBLP]
    ICLP, 2004, pp:165-179 [Conf]
  13. Davy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir
    On Programs with Linearly Ordered Multiple Preferences. [Citation Graph (0, 0)][DBLP]
    ICLP, 2004, pp:180-194 [Conf]
  14. Joost Vennekens, David Gilis, Marc Denecker
    Splitting an Operator. [Citation Graph (0, 0)][DBLP]
    ICLP, 2004, pp:195-209 [Conf]
  15. David Pearce
    Simplifying Logic Programs Under Answer Set Semantics. [Citation Graph (0, 0)][DBLP]
    ICLP, 2004, pp:210-224 [Conf]
  16. Thomas Linke, Hans Tompits, Stefan Woltran
    On Acyclic and Head-Cycle Free Nested Logic Programs. [Citation Graph (0, 0)][DBLP]
    ICLP, 2004, pp:225-239 [Conf]
  17. Remko Tronçon, Gerda Janssens, Henk Vandecasteele
    Fast Query Evaluation with (Lazy) Control Flow Compilation. [Citation Graph (0, 0)][DBLP]
    ICLP, 2004, pp:240-253 [Conf]
  18. Ricardo Rocha, Fernando M. A. Silva, Vítor Santos Costa
    Speculative Computations in Or-Parallel Tabled Logic Programs. [Citation Graph (0, 0)][DBLP]
    ICLP, 2004, pp:254-268 [Conf]
  19. James Cheney, Christian Urban
    alpha-Prolog: A Logic Programming Language with Names, Binding and a-Equivalence. [Citation Graph (0, 0)][DBLP]
    ICLP, 2004, pp:269-283 [Conf]
  20. Susana Muñoz-Hernández, Juan José Moreno-Navarro
    Implementation Results in Classical Constructive Negation. [Citation Graph (0, 0)][DBLP]
    ICLP, 2004, pp:284-298 [Conf]
  21. Eric Monfroy, Frédéric Saubion, Tony Lambert
    On Hybridization of Local Search and Constraint Propagation. [Citation Graph (0, 0)][DBLP]
    ICLP, 2004, pp:299-313 [Conf]
  22. Jia-Huai You, Guiwen Hou
    Arc-Consistency + Unit Propagation = Lookahead. [Citation Graph (0, 0)][DBLP]
    ICLP, 2004, pp:314-328 [Conf]
  23. Nicolas Beldiceanu, Emmanuel Poder
    The period Constraint. [Citation Graph (0, 0)][DBLP]
    ICLP, 2004, pp:329-342 [Conf]
  24. Camilo Rueda, Frank D. Valencia
    Non-viability Deductions in Arc-Consistency Computation. [Citation Graph (0, 0)][DBLP]
    ICLP, 2004, pp:343-355 [Conf]
  25. Toshiko Wakaki, Katsumi Inoue
    Compiling Prioritized Circumscription into Answer Set Programming. [Citation Graph (0, 0)][DBLP]
    ICLP, 2004, pp:356-370 [Conf]
  26. Chiara Cumbo, Wolfgang Faber, Gianluigi Greco, Nicola Leone
    Enhancing the Magic-Set Method for Disjunctive Datalog Programs. [Citation Graph (0, 0)][DBLP]
    ICLP, 2004, pp:371-385 [Conf]
  27. Esra Erdem, Martin D. F. Wong
    Rectilinear Steiner Tree Construction Using Answer Set Programming. [Citation Graph (0, 0)][DBLP]
    ICLP, 2004, pp:386-399 [Conf]
  28. Xiumei Jia, Jia-Huai You, Li-Yan Yuan
    Adding Domain Dependent Knowledge into Answer Set Programs for Planning. [Citation Graph (0, 0)][DBLP]
    ICLP, 2004, pp:400-415 [Conf]
  29. David Robertson
    Multi-agent Coordination as Distributed Logic Programming. [Citation Graph (0, 0)][DBLP]
    ICLP, 2004, pp:416-430 [Conf]
  30. Joost Vennekens, Sofie Verbaeten, Maurice Bruynooghe
    Logic Programs with Annotated Disjunctions. [Citation Graph (0, 0)][DBLP]
    ICLP, 2004, pp:431-445 [Conf]
  31. Elvira Albert, Germán Puebla, Manuel V. Hermenegildo
    Abstract Interpretation-Based Mobile Code Certification. [Citation Graph (0, 0)][DBLP]
    ICLP, 2004, pp:446-447 [Conf]
  32. Steve Barker
    Labeled Logic Programs. [Citation Graph (0, 0)][DBLP]
    ICLP, 2004, pp:448-449 [Conf]
  33. François Bry, Paula-Lavinia Patranjan, Sebastian Schaffert
    Xcerpt and XChange - Logic Programming Languages for Querying and Evolution on the Web. [Citation Graph (0, 0)][DBLP]
    ICLP, 2004, pp:450-451 [Conf]
  34. Alessandro Dal Palù, Agostino Dovier, Federico Fogolari
    Protein Folding Simulation in CCP. [Citation Graph (0, 0)][DBLP]
    ICLP, 2004, pp:452-453 [Conf]
  35. Olivier Defour, Jean-Marc Jézéquel, Noël Plouzeau
    Applying CLP to Predict Extra-Functional Properties of Component-Based Models. [Citation Graph (0, 0)][DBLP]
    ICLP, 2004, pp:454-455 [Conf]
  36. Pierre Deransart
    Main Results of the OADymPPaC Project. [Citation Graph (0, 0)][DBLP]
    ICLP, 2004, pp:456-457 [Conf]
  37. Dávid Hanák, Tamás Szeredi, Péter Szeredi
    FDBG, the CLPFD Debugger Library of SICStus Prolog. [Citation Graph (0, 0)][DBLP]
    ICLP, 2004, pp:458-459 [Conf]
  38. Rohit N. Kundaji, R. K. Shyamasundar
    Development of Semantic Debuggers Based on Refinement Calculus. [Citation Graph (0, 0)][DBLP]
    ICLP, 2004, pp:460-461 [Conf]
  39. Ludovic Langevine, Mireille Ducassé
    A Tracer Driver to Enable Debugging, Monitoring and Visualization of CLP Executions from a Single Tracer. [Citation Graph (0, 0)][DBLP]
    ICLP, 2004, pp:462-463 [Conf]
  40. Massimo Marchi, Alessandra Mileo, Alessandro Provetti
    Grid Service Selection with PPDL. [Citation Graph (0, 0)][DBLP]
    ICLP, 2004, pp:464-466 [Conf]
  41. Moritz Neugebauer
    Concurrent Constraint Programming and Tree-Based Acoustic Modelling. [Citation Graph (0, 0)][DBLP]
    ICLP, 2004, pp:467-468 [Conf]
  42. Linh Anh Nguyen
    MProlog: An Extension of Prolog for Modal Logic Programming. [Citation Graph (0, 0)][DBLP]
    ICLP, 2004, pp:469-470 [Conf]
  43. Matthieu Petit, Arnaud Gotlieb
    Probabilistic Choice Operators as Global Constraints: Application to Statistical Software Testing. [Citation Graph (0, 0)][DBLP]
    ICLP, 2004, pp:471-472 [Conf]
  44. Rafael Ramirez, Juanjo Martinez
    Constraint-Based Synchronization and Verification of Distributed Java Programs. [Citation Graph (0, 0)][DBLP]
    ICLP, 2004, pp:473-474 [Conf]
  45. Tom Schrijvers
    JmmSolve: A Generative Java Memory Model Implemented in Prolog and CHR. [Citation Graph (0, 0)][DBLP]
    ICLP, 2004, pp:475-476 [Conf]
  46. Paul Tarau
    Agent Oriented Logic Programming Constructs in Jinni 2004. [Citation Graph (0, 0)][DBLP]
    ICLP, 2004, pp:477-478 [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