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

  1. Bernard Boigelot, Pierre Wolper
    Representing Arithmetic Constraints with Finite Automata: An Overview. [Citation Graph (0, 0)][DBLP]
    ICLP, 2002, pp:1-19 [Conf]
  2. Stefan Decker
    Logic Databases on the Semantic Web: Challenges and Opportunities. [Citation Graph (0, 0)][DBLP]
    ICLP, 2002, pp:20-21 [Conf]
  3. Alessandra Russo, Rob Miller, Bashar Nuseibeh, Jeff Kramer
    An Abductive Approach for Analysing Event-Based Requirements Specifications. [Citation Graph (0, 0)][DBLP]
    ICLP, 2002, pp:22-37 [Conf]
  4. Tom Schrijvers, Maria J. García de la Banda, Bart Demoen
    Trailing Analysis for HAL. [Citation Graph (0, 0)][DBLP]
    ICLP, 2002, pp:38-53 [Conf]
  5. Steve Barker
    Access Control for Deductive Databases by Logic Programming. [Citation Graph (0, 0)][DBLP]
    ICLP, 2002, pp:54-69 [Conf]
  6. Michael Thielscher
    Reasoning about Actions with CHRs and Finite Domain Constraints. [Citation Graph (0, 0)][DBLP]
    ICLP, 2002, pp:70-84 [Conf]
  7. Alexander Bockmayr, Arnaud Courtois
    Using Hybrid Concurrent Constraint Programming to Model Dynamic Biological Systems. [Citation Graph (0, 0)][DBLP]
    ICLP, 2002, pp:85-99 [Conf]
  8. Giridhar Pemmasani, C. R. Ramakrishnan, I. V. Ramakrishnan
    Efficient Real-Time Model Checking Using Tabled Logic Programming and Constraints. [Citation Graph (0, 0)][DBLP]
    ICLP, 2002, pp:100-114 [Conf]
  9. Witold Charatonik, Supratik Mukhopadhyay, Andreas Podelski
    Constraint-Based Infinite Model Checking and Tabulation for Stratified CLP. [Citation Graph (0, 0)][DBLP]
    ICLP, 2002, pp:115-129 [Conf]
  10. Hasan M. Jamil, Gillian Dobbie
    A Model Theoretic Semantics for Multi-level Secure Deductive Databases. [Citation Graph (0, 0)][DBLP]
    ICLP, 2002, pp:130-147 [Conf]
  11. Michael J. Maher
    Propagation Completeness of Reactive Constraints. [Citation Graph (0, 0)][DBLP]
    ICLP, 2002, pp:148-162 [Conf]
  12. Henning Makholm, Konstantinos F. Sagonas
    On Enabling the WAM with Region Support. [Citation Graph (0, 0)][DBLP]
    ICLP, 2002, pp:163-178 [Conf]
  13. Bart Demoen
    A Different Look at Garbage Collection for the WAM. [Citation Graph (0, 0)][DBLP]
    ICLP, 2002, pp:179-193 [Conf]
  14. Bart Demoen, Phuong-Lan Nguyen, Ruben Vandeginste
    Copying Garbage Collection for the WAM: To Mark or Not to Mark? [Citation Graph (0, 0)][DBLP]
    ICLP, 2002, pp:194-208 [Conf]
  15. Harald Ganzinger, David A. McAllester
    Logical Algorithms. [Citation Graph (0, 0)][DBLP]
    ICLP, 2002, pp:209-223 [Conf]
  16. Joachim Schimpf
    Logical Loops. [Citation Graph (0, 0)][DBLP]
    ICLP, 2002, pp:224-238 [Conf]
  17. Eric Martin, Phuong Nguyen, Arun Sharma, Frank Stephan
    Learning in Logic with RichProlog. [Citation Graph (0, 0)][DBLP]
    ICLP, 2002, pp:239-254 [Conf]
  18. François Bry, Sebastian Schaffert
    Towards a Declarative Query and Transformation Language for XML and Semistructured Data: Simulation Unification. [Citation Graph (0, 0)][DBLP]
    ICLP, 2002, pp:255-270 [Conf]
  19. Brigitte Pientka
    A Proof-Theoretic Foundation for Tabled Higher-Order Logic Programming. [Citation Graph (0, 0)][DBLP]
    ICLP, 2002, pp:271-286 [Conf]
  20. Sorin Craciunescu
    Proving the Equivalence of CLP Programs. [Citation Graph (0, 0)][DBLP]
    ICLP, 2002, pp:287-301 [Conf]
  21. Paola Bruscoli
    A Purely Logical Account of Sequentiality in Proof Search. [Citation Graph (0, 0)][DBLP]
    ICLP, 2002, pp:302-316 [Conf]
  22. Katsumi Inoue, Chiaki Sakama
    Disjunctive Explanations. [Citation Graph (0, 0)][DBLP]
    ICLP, 2002, pp:317-332 [Conf]
  23. Piero A. Bonatti
    Reasoning with Infinite Stable Models II: Disjunctive Programs. [Citation Graph (0, 0)][DBLP]
    ICLP, 2002, pp:333-346 [Conf]
  24. Zbigniew Lonc, Miroslaw Truszczynski
    Computing Stable Models: Worst-Case Performance Estimates. [Citation Graph (0, 0)][DBLP]
    ICLP, 2002, pp:347-362 [Conf]
  25. Yannis Dimopoulos, Andreas Sideris
    Towards Local Search for Answer Sets. [Citation Graph (0, 0)][DBLP]
    ICLP, 2002, pp:363-377 [Conf]
  26. Pedro Cabalar
    A Rewriting Method for Well-Founded Semantics with Explicit Negation. [Citation Graph (0, 0)][DBLP]
    ICLP, 2002, pp:378-392 [Conf]
  27. Grigoris Antoniou, Michael J. Maher
    Embedding Defeasible Logic into Logic Programs. [Citation Graph (0, 0)][DBLP]
    ICLP, 2002, pp:393-404 [Conf]
  28. David Pearce, Vladimir Sarsakov, Torsten Schaub, Hans Tompits, Stefan Woltran
    A Polynomial Translation of Logic Programs with Nested Expressions into Disjunctive Logic Programs: Preliminary Report. [Citation Graph (0, 0)][DBLP]
    ICLP, 2002, pp:405-420 [Conf]
  29. Henrik Bærbak Christensen
    Using Logic Programming to Detect Activities in Pervasive Healthcare. [Citation Graph (0, 0)][DBLP]
    ICLP, 2002, pp:421-436 [Conf]
  30. Kung-Kiu Lau, Michel Vanden Bossche
    Logic Programming for Software Engineering: A Second Chance. [Citation Graph (0, 0)][DBLP]
    ICLP, 2002, pp:437-451 [Conf]
  31. Tamás Benkö, Péter Krauth, Péter Szeredi
    A Logic-Based System for Application Integration. [Citation Graph (0, 0)][DBLP]
    ICLP, 2002, pp:452-466 [Conf]
  32. Shilong Ma, Yuefei Sui, Ke Xu
    The Limits of Horn Logic Programs. [Citation Graph (0, 0)][DBLP]
    ICLP, 2002, pp:467- [Conf]
  33. Jesús Medina, Enrique Mérida Casermeiro, Manuel Ojeda-Aciego
    Multi-adjoint Logic Programming: A Neural Net Approach. [Citation Graph (0, 0)][DBLP]
    ICLP, 2002, pp:468- [Conf]
  34. Claudio Vaucheret, Sergio Guadarrama, Susana Muñoz-Hernández
    Fuzzy Prolog: A Simple General Implementation Using CLP(R). [Citation Graph (0, 0)][DBLP]
    ICLP, 2002, pp:469- [Conf]
  35. Mireille Ducassé, Ludovic Langevine
    Automated Analysis of CLP(FD) Program Execution Traces. [Citation Graph (0, 0)][DBLP]
    ICLP, 2002, pp:470-471 [Conf]
  36. Petr Olmer, Petr Stepánek
    Schema-Based Transformations of Logic Programs in lambda-Prolog. [Citation Graph (0, 0)][DBLP]
    ICLP, 2002, pp:472- [Conf]
  37. Yann Loyer, Umberto Straccia
    Non-uniform Hypothesis in Deductive Databases with Uncertainty. [Citation Graph (0, 0)][DBLP]
    ICLP, 2002, pp:473-474 [Conf]
  38. Nicos Angelopoulos
    Probabilistic Finite Domains: A Brief Overview. [Citation Graph (0, 0)][DBLP]
    ICLP, 2002, pp:475- [Conf]
  39. Prahladavaradan Sampath
    Modelling Multi-agent Reactive Systems. [Citation Graph (0, 0)][DBLP]
    ICLP, 2002, pp:476- [Conf]
  40. Hisashi Hayashi, Kenta Cho, Akihiko Ohsuga
    Integrating Planning, Action Execution, Knowledge Updates and Plan Modifications via Logic Programming. [Citation Graph (0, 0)][DBLP]
    ICLP, 2002, pp:477- [Conf]
  41. Gérard Ferrand, Arnaud Lallouet
    A Logic Program Characterization of Domain Reduction Approximations in Finite Domain CSPs. [Citation Graph (0, 0)][DBLP]
    ICLP, 2002, pp:478-479 [Conf]
  42. Emmanuel Coquery, François Fages
    TCLP: Overloading, Subtyping and Parametric Polymorphism Made Practical for CLP. [Citation Graph (0, 0)][DBLP]
    ICLP, 2002, pp:480- [Conf]
  43. Henning Christiansen
    Logical Grammars Based on Constraint Handling Rules. [Citation Graph (0, 0)][DBLP]
    ICLP, 2002, pp:481- [Conf]
  44. Mauricio Osorio, Juan A. Navarro, José Arrazola
    Debugging in A-Prolog: A Logical Approach. [Citation Graph (0, 0)][DBLP]
    ICLP, 2002, pp:482-483 [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