2003, ISBN: 9783540206422
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, d… Mehr…
Indigo.ca new in stock. Versandkosten:zzgl. Versandkosten. Details... |
2003, ISBN: 9783540206422
*Logic Programming* - 19th International Conference ICLP 2003 Mumbai India December 9-13 2003 Proceedings. Auflage 2003 / Taschenbuch für 128.49 € / Aus dem Bereich: Bücher, English,, Int… Mehr…
Hugendubel.de Versandkosten:Shipping in 3 days, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00) Details... |
2003, ISBN: 9783540206422
*Logic Programming* - 19th International Conference ICLP 2003 Mumbai India December 9-13 2003 Proceedings. Auflage 2003 / Taschenbuch für 128.49 € / Aus dem Bereich: Bücher, Ratgeber, Com… Mehr…
Hugendubel.de Versandkosten:Shipping in 3 days, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00) Details... |
2003, ISBN: 9783540206422
19th International Conference, ICLP 2003, Mumbai, India, December 9-13, 2003, Proceedings, Buch, Softcover, [PU: Springer Berlin], Springer Berlin, 2003
lehmanns.de Versandkosten:Versand in 10-14 Tagen. (EUR 0.00) Details... |
ISBN: 9783540206422
There is currently no description available, Springer
Springer.com Nr. 978-3-540-20642-2. Versandkosten:Worldwide free shipping, , DE. (EUR 0.00) Details... |
Logic Programming: 19th International Conference, ICLP 2003, Mumbai, India, December 9-13, 2003, Proceedings - neues Buch
2003, ISBN: 9783540206422
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, d… Mehr…
2003, ISBN: 9783540206422
*Logic Programming* - 19th International Conference ICLP 2003 Mumbai India December 9-13 2003 Proceedings. Auflage 2003 / Taschenbuch für 128.49 € / Aus dem Bereich: Bücher, English,, Int… Mehr…
2003
ISBN: 9783540206422
*Logic Programming* - 19th International Conference ICLP 2003 Mumbai India December 9-13 2003 Proceedings. Auflage 2003 / Taschenbuch für 128.49 € / Aus dem Bereich: Bücher, Ratgeber, Com… Mehr…
2003, ISBN: 9783540206422
19th International Conference, ICLP 2003, Mumbai, India, December 9-13, 2003, Proceedings, Buch, Softcover, [PU: Springer Berlin], Springer Berlin, 2003
ISBN: 9783540206422
There is currently no description available, Springer
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - Logic Programming
EAN (ISBN-13): 9783540206422
ISBN (ISBN-10): 3540206426
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2003
Herausgeber: Springer Berlin Heidelberg
536 Seiten
Gewicht: 0,801 kg
Sprache: eng/Englisch
Buch in der Datenbank seit 2008-04-20T14:46:30+02:00 (Zurich)
Detailseite zuletzt geändert am 2024-03-25T11:31:34+01:00 (Zurich)
ISBN/EAN: 9783540206422
ISBN - alternative Schreibweisen:
3-540-20642-6, 978-3-540-20642-2
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: palamidessi, ferreira, held alexander, bry, martin asian, fred michel, martin frank, mukhopadhyay
Titel des Buches: logic programming, best mumbai, the wonder that was india, logic computer science, proceedings all india
Daten vom Verlag:
Autor/in: Catuscia Palamidessi
Titel: Lecture Notes in Computer Science; Logic Programming - 19th International Conference, ICLP 2003, Mumbai, India, December 9-13, 2003, Proceedings
Verlag: Springer; Springer Berlin
524 Seiten
Erscheinungsjahr: 2003-11-25
Berlin; Heidelberg; DE
Sprache: Englisch
128,39 € (DE)
131,99 € (AT)
142,00 CHF (CH)
Available
XII, 524 p.
BC; Hardcover, Softcover / Informatik, EDV/Informatik; Software Engineering; Verstehen; Informatik; complexity; computational logic; constraint logic; deduction; distributed systems; logic; logic inference; logic programming; mathematical logic; program semantics; programming; prolog programming; semantic web; semantics; verification; Software Engineering; Programming Techniques; Compilers and Interpreters; Computer Science Logic and Foundations of Programming; Formal Languages and Automata Theory; Artificial Intelligence; Computerprogrammierung und Softwareentwicklung; Compiler und Übersetzer; Theoretische Informatik; Künstliche Intelligenz; EA
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 Constraint-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.Includes supplementary material: sn.pub/extras
Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
9783540245995 Logic Programming (Catuscia Palamidessi)
< zum Archiv...