+612 9045 4394
Logic Programming : 19th International Conference, Iclp 2003, Mumbai, India, December 9-13, 2003, Proceedings - Catuscia Palamidessi

Logic Programming

19th International Conference, Iclp 2003, Mumbai, India, December 9-13, 2003, Proceedings

By: Catuscia Palamidessi (Editor)


Published: 25th November 2003
Ships: 15 business days
15 business days
or 4 easy payments of $42.43 with Learn more

This volume contains the proceedings of the 19th International Conference on Logic Programming, ICLP 2003, which was held at the Tata Institute of F- damental Research in Mumbai, India, during 9-13 December, 2003. ICLP 2003 was colocated with the 8th Asian Computing Science Conference, ASIAN 2003, andwasfollowedbythe23rdConferenceonFoundationsofSoftwareTechnology and Theoretical Computer Science, FSTTCS 2003. The latter event was hosted by the Indian Institute of Technology in Mumbai. In addition, there were ?ve satellite workshops associated with ICLP 2003: - PPSWR 2003, Principles and Practice of Semantic Web Reasoning, 8th Dec. 2003, organized by Fran, cois Bry, Nicola Henze, and Jan Maluszynski. - COLOPS 2003, COnstraint & LOgic Programming in Security, 8th Dec. 2003, organized by Martin Leucker, Justin Pearson, Fred Spiessens, and Frank D. Valencia. - WLPE 2003, Workshop on Logic Programming Environments, organized by Alexander Serebrenik and Fred Mesnard. - CICLOPS2003, ImplementationofConstraintandLOgicProgrammingS- tems, 14th Dec. 2003, organized by Michel Ferreira and Ricardo Lopes. - SVV 2003, Software Veri?cation and Validation, 14th Dec. 2003, organized by Sandro Etalle, Supratik Mukhopadhyay, and Abhik Roychoudhury.

Achieving Type Safety for Low-Level Codep. 1
Logic Information Systems for Logic Programmersp. 3
A Logic Programming View of Authorization in Distributed Systemsp. 20
Compositional Verification of Infinite State Systemsp. 47
A Constraint-Based Approach to Structure Prediction for Simplified Protein Models That Outperforms Other Existing Methodsp. 49
Concurrency, Time, and Constraintsp. 72
Symbolic Model-Checking for Biochemical Systemsp. 102
Component-Based Software Development and Logic Programmingp. 103
A Tutorial on Proof Theoretic Foundations of Logic Programmingp. 109
Objective: In Minimum Contextp. 128
Handling Existential Derived Predicates in View Updatingp. 148
Efficient Evaluation of Logic Programs for Querying Data Integration Systemsp. 163
Argumentation Databasesp. 178
Order and Negation as Failurep. 194
Computing Minimal Models, Stable Models, and Answer Setsp. 209
Uniform Equivalence of Logic Programs under the Stable Model Semanticsp. 224
Answer Set Programming Phase Transition: A Study on Randomly Generated Programsp. 239
Termination Analysis with Types Is More Accuratep. 254
A Propagation Tracer for GNU-Prolog: From Formal Definition to Efficient Implementationp. 269
Intensional Sets in CLPp. 284
Implementing Constraint Propagation by Composition of Reductionsp. 300
Forward versus Backward Verification of Logic Programsp. 315
Native Preemptive Threads in SWI-Prologp. 331
Flow Java: Declarative Concurrency for Javap. 346
On the Complexity of Dependent And-Parallelism in Logic Programmingp. 361
Higher-Order Substitution Tree Indexingp. 377
Incremental Evaluation of Tabled Logic Programsp. 392
On Deterministic Computations in the Extendedp. 407
Timed Concurrent Constraint Programming: Decidability Results and Their Application to LTLp. 422
Is There an Optimal Generic Semantics for First-Order Equations?p. 438
Loop Formulas for Disjunctive Logic Programsp. 451
Default Knowledge in Logic Programs with Uncertaintyp. 466
A Generic Persistence Model for (C)LP Systemsp. 481
Definitions in Answer Set Programmingp. 483
A New Mode Declaration for Tabled Predicatesp. 485
Adding the Temporal Relations in Semantic Web Ontologiesp. 487
Polynomial-Time Learnability from Entailmentp. 489
Integration of Semantic Networks for Corpus-Based Word Sense Disambiguationp. 492
Development and Application of Logical Actors Mathematical Apparatus for Logic Programming of Web Agentsp. 494
A Real Implementation for Constructive Negationp. 496
Simulating Security Systems Based on Logigramsp. 498
Online Justification for Tabled Logic Programsp. 500
Inducing Musical Rules with ILPp. 502
A Distinct-Head Folding Rulep. 505
Termination Analysis of Logic Programsp. 507
Refactoring Logic Programsp. 509
Termination of Logic Programs for Various Dynamic Selection Rulesp. 511
Adding Preferences to Answer Set Planningp. 513
Controlling Semi-automatic Systems with FLUXp. 515
The Language Model LMNtalp. 517
Author Indexp. 519
Table of Contents provided by Blackwell. All Rights Reserved.

ISBN: 9783540206422
ISBN-10: 3540206426
Series: Lecture Notes in Computer Science
Audience: General
Format: Paperback
Language: English
Number Of Pages: 524
Published: 25th November 2003
Publisher: Springer-Verlag Berlin and Heidelberg Gmbh & Co. Kg
Country of Publication: DE
Dimensions (cm): 23.39 x 15.6  x 2.74
Weight (kg): 0.74
Edition Number: 19