19. ICLP 2003: Mumbai, India

Catuscia Palamidessi (Ed.): Logic Programming, 19th International Conference, ICLP 2003, Mumbai, India, December 9-13, 2003, Proceedings. Lecture Notes in Computer Science 2916 Springer 2003, ISBN 3-540-20642-6 BibTeX

@proceedings{DBLP:conf/iclp/2003,
  editor    = {Catuscia Palamidessi},
  title     = {Logic Programming, 19th International Conference, ICLP 2003,
               Mumbai, India, December 9-13, 2003, Proceedings},
  booktitle = {ICLP},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {2916},
  year      = {2003},
  isbn      = {3-540-20642-6},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Invited Talks

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

Invited Tutorials

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

Regular Papers

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

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