9783540206422 - logic programming: 19th international conference, iclp 2003, mumbai, india, december 9-13, 2003, proceedings: 2916 (lecture notes in computer science, 2916) (7 resultados)
- Tapa blanda
Librería: Mispah books, Redhill, SURRE, Reino UnidoMispah books
Contactar con el vendedorVendedor de 4 estrellasCondición: Usado - Como Nuevo
EUR 102,07
Envío por EUR 29,15Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Paperback. Condición: Like New. Like New. book.
- Tapa blanda
Librería: Ria Christie Collections, Uxbridge, Reino UnidoRia Christie Collections
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 140,93
Envío por EUR 13,97Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New. In.
- Tapa blanda
Librería: AHA-BUCH GmbH, Einbeck, AlemaniaAHA-BUCH GmbH
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 128,39
Envío por EUR 64,02Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Taschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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 8…th 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.
Editorial: Springer, 2001
- Tapa dura
Librería: DeckleEdge LLC, Albuquerque, NM, Estados Unidos de AmericaDeckleEdge LLC
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 682,52
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
hardcover. Condición: new.
- Tapa blanda
- Impresión bajo demanda
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, AlemaniaBuchWeltWeit Ludwig Meier e.K.
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 128,39
Envío por EUR 23,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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 colo…cated 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. 536 pp. Englisch.
- Tapa blanda
- Impresión bajo demanda
Librería: moluna, Greven, Alemaniamoluna
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 109,83
Envío por EUR 48,99Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Kartoniert / Broschiert. Condición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Invited Talks.- Achieving Type Safety for Low-Level Code.- Logic Information Systems for Logic Programmers.- A Logic Programming View of Authorization in Distributed Systems.- Compositional Ve…rification of Infinite State Systems.- A Constraint-Based Approac.
- Tapa blanda
- Impresión bajo demanda
Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemaniabuchversandmimpf2000
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 128,39
Envío por EUR 60,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Taschenbuch. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Invited Talks.- Achieving Type Safety for Low-Level Code.- Logic Information Systems for Logic Programmers.- A Logic Programming View of Authorization in Distributed Systems.- Compositional Verification of Infinite State Systems.- A Con…straint-Based Approach to Structure Prediction for Simplified Protein Models That Outperforms Other Existing Methods.- Invited Tutorials.- Concurrency, Time, and Constraints.- Symbolic Model-Checking for Biochemical Systems.- Component-Based Software Development and Logic Programming.- A Tutorial on Proof Theoretic Foundations of Logic Programming.- Regular Papers.- Objective: In Minimum Context.- Handling Existential Derived Predicates in View Updating.- Efficient Evaluation of Logic Programs for Querying Data Integration Systems.- Argumentation Databases.- Order and Negation as Failure.- Computing Minimal Models, Stable Models, and Answer Sets.- Uniform Equivalence of Logic Programs under the Stable Model Semantics.- Answer Set Programming Phase Transition: A Study on Randomly Generated Programs.- Termination Analysis with Types Is More Accurate.- A Propagation Tracer for GNU-Prolog: From Formal Definition to Efficient Implementation.- Intensional Sets in CLP.- Implementing Constraint Propagation by Composition of Reductions.- Forward versus Backward Verification of Logic Programs.- Native Preemptive Threads in SWI-Prolog.- Flow Java: Declarative Concurrency for Java.- On the Complexity of Dependent And-Parallelism in Logic Programming.- Higher-Order Substitution Tree Indexing.- Incremental Evaluation of Tabled Logic Programs.- On Deterministic Computations in the Extended Andorra Model.- Timed Concurrent Constraint Programming: Decidability Results and Their Application to LTL.- Is There an Optimal Generic Semantics for First-Order Equations .- Loop Formulas for Disjunctive Logic Programs.- Default Knowledge in Logic Programs with Uncertainty.- Posters.- A Generic Persistence Model for (C)LP Systems.- Definitions in Answer Set Programming.- A New Mode Declaration for Tabled Predicates.- Adding the Temporal Relations in Semantic Web Ontologies.- Polynomial-Time Learnability from Entailment.- Integration of Semantic Networks for Corpus-Based Word Sense Disambiguation.- Development and Application of Logical Actors Mathematical Apparatus for Logic Programming of Web Agents.- A Real Implementation for Constructive Negation.- Simulating Security Systems Based on Logigrams.- Online Justification for Tabled Logic Programs.- Inducing Musical Rules with ILP.- A Distinct-Head Folding Rule.- Termination Analysis of Logic Programs.- Refactoring Logic Programs.- Termination of Logic Programs for Various Dynamic Selection Rules.- Adding Preferences to Answer Set Planning.- Controlling Semi-automatic Systems with FLUX.- The Language Model LMNtal.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 536 pp. Englisch.
