19. ICLP 2003: Mumbai, India

Invited Talks

• J. Gregory Morrisett:
  Achieving Type Safety for Low-Level Code. 1-2
  
• Olivier Ridoux:
  Logic Information Systems for Logic Programmers. 3-19
  
• William H. Winsborough:
  A Logic Programming View of Authorization in Distributed Systems. 20-46
  
• Giorgio Delzanno, Maurizio Gabbrielli, Maria Chiara Meo:
  Compositional Verification of Infinite State Systems. 47-48
  
• Rolf Backofen, Sebastian Will:
  A Constraint-Based Approach to Structure Prediction for Simplified Protein Models That Outperforms Other Existing Methods. 49-71
  

Invited Tutorials

• Frank D. Valencia:
  Concurrency, Time, and Constraints. 72-101
  
• François Fages:
  Symbolic Model-Checking for Biochemical Systems. 102
  
• Kung-Kiu Lau:
  Component-Based Software Development and Logic Programming. 103-108
  
• Paola Bruscoli, Alessio Guglielmi:
  A Tutorial on Proof Theoretic Foundations of Logic Programming. 109-127
  

Regular Papers

• Salvador Abreu, Daniel Diaz:
  Objective: In Minimum Context. 128-147
  
• Carles Farré, Ernest Teniente, Toni Urpí:
  Handling Existential Derived Predicates in View Updating. 148-162
  
• Thomas Eiter, Michael Fink, Gianluigi Greco, Domenico Lembo:
  Efficient Evaluation of Logic Programs for Querying Data Integration Systems. 163-177
  
• Shekhar Pradhan:
  Argumentation Databases. 178-193
  
• Davy Van Nieuwenborgh, Dirk Vermeir:
  Order and Negation as Failure. 194-208
  
• Zbigniew Lonc, Miroslaw Truszczynski:
  Computing Minimal Models, Stable Models, and Answer Sets. 209-223
  
• Thomas Eiter, Michael Fink:
  Uniform Equivalence of Logic Programs under the Stable Model Semantics. 224-238
  
• Yuting Zhao, Fangzhen Lin:
  Answer Set Programming Phase Transition: A Study on Randomly Generated Programs. 239-253
  
• Vitaly Lagoon, Frédéric Mesnard, Peter J. Stuckey:
  Termination Analysis with Types Is More Accurate. 254-268
  
• Ludovic Langevine, Mireille Ducassé, Pierre Deransart:
  A Propagation Tracer for GNU-Prolog: From Formal Definition to Efficient Implementation. 269-283
  
• Agostino Dovier, Enrico Pontelli, Gianfranco Rossi:
  Intensional Sets in CLP. 284-299
  
• Laurent Granvilliers, Eric Monfroy:
  Implementing Constraint Propagation by Composition of Reductions. 300-314
  
• Andy King, Lunjin Lu:
  Forward versus Backward Verification of Logic Programs. 315-330
  
• Jan Wielemaker:
  Native Preemptive Threads in SWI-Prolog. 331-345
  
• Frej Drejhammar, Christian Schulte, Per Brand, Seif Haridi:
  Flow Java: Declarative Concurrency for Java. 346-360
  
• Yao Wu, Enrico Pontelli, Desh Ranjan:
  On the Complexity of Dependent And-Parallelism in Logic Programming. 361-376
  
• Brigitte Pientka:
  Higher-Order Substitution Tree Indexing. 377-391
  
• Diptikalyan Saha, C. R. Ramakrishnan:
  Incremental Evaluation of Tabled Logic Programs. 392-406
  
• Ricardo Lopes, Vítor Santos Costa, Fernando M. A. Silva:
  On Deterministic Computations in the Extended Andorra Model. 407-421
  
• Frank D. Valencia:
  Timed Concurrent Constraint Programming: Decidability Results and Their Application to LTL. 422-437
  
• Jan-Georg Smaus:
  Is There an Optimal Generic Semantics for First-Order Equations?. 438-450
  
• Joohyung Lee, Vladimir Lifschitz:
  Loop Formulas for Disjunctive Logic Programs. 451-465
  
• Yann Loyer, Umberto Straccia:
  Default Knowledge in Logic Programs with Uncertainty. 466-480
  

Posters

• Jesús Correas, J. M. Gómez, Manuel Carro, Daniel Cabeza Gras, Manuel V. Hermenegildo:
  A Generic Persistence Model for (C)LP Systems. 481-482
  
• Selim T. Erdogan, Vladimir Lifschitz:
  Definitions in Answer Set Programming: (Extended Abstract). 483-484
  
• Hai-Feng Guo, Gopal Gupta:
  A New Mode Declaration for Tabled Predicates. 485-486
  
• Kwanho Jung, Hyunjang Kong, Junho Choi, Yoo-Jin Moon, PanKoo Kim:
  Adding the Temporal Relations in Semantic Web Ontologies. 487-488
  
• M. R. K. Krishna Rao:
  Polynomial-Time Learnability from Entailment. 489-491
  
• Yoo-Jin Moon, Kyongho Min, Youngho Hwang, PanKoo Kim:
  Integration of Semantic Networks for Corpus-Based Word Sense Disambiguation. 492-493
  
• Alexei A. Morozov:
  Development and Application of Logical Actors Mathematical Apparatus for Logic Programming of Web Agents. 494-495
  
• Susana Muñoz-Hernández, Juan José Moreno-Navarro:
  A Real Implementation for Constructive Negation. 496-497
  
• Kaninda Musumbu:
  Simulating Security Systems Based on Logigrams. 498-499
  
• Giridhar Pemmasani, Hai-Feng Guo, Yifei Dong, C. R. Ramakrishnan, I. V. Ramakrishnan:
  Online Justification for Tabled Logic Programs. 500-501
  
• Rafael Ramirez:
  Inducing Musical Rules with ILP. 502-504
  
• David A. Rosenblueth:
  A Distinct-Head Folding Rule. 505-506
  
• Alexander Serebrenik:
  Termination Analysis of Logic Programs: Extended Abstract. 507-508
  
• Alexander Serebrenik, Bart Demoen:
  Refactoring Logic Programs: Extended Abstract. 509-510
  
• Jan-Georg Smaus:
  Termination of Logic Programs for Various Dynamic Selection Rules. 511-512
  
• Tran Cao Son, Enrico Pontelli:
  Adding Preferences to Answer Set Planning. 513-514
  
• Michael Thielscher:
  Controlling Semi-automatic Systems with FLUX. 515-516
  
• Kazunori Ueda, Norio Kato:
  The Language Model LMNtal. 517-518
  

Last update Wed May 22 06:47:45 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page