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
Invited Talks
Invited Tutorials
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