Logic Programming 17th International (39 results)

XI, 364 p. Softcover. Versand aus Deutschland / We dispatch from Germany via Air Mail. Einband bestoßen, daher Mängelexemplar gestempelt, sonst sehr guter Zustand. Imperfect copy due to slightly bumped cover, apart from this in very good condition. Stamped. Lecture Notes in Computer Science, Vol. 2237. Sprache: Englisch. …

paperback. Condition: Good.

Condition: New.

Condition: As New. Unread book in perfect condition.

Condition: As New. Unread book in perfect condition.

Condition: New.

Condition: New.

Condition: New. In English.

Condition: New.

Condition: New. In English.

Condition: New. In English.

Condition: As New. Unread book in perfect condition.

Condition: New.

Condition: As New. Unread book in perfect condition.

Paperback. Condition: Brand New. 2009 edition. 253 pages. 9.20x6.10x0.60 inches. In Stock.

Paperback. Condition: Brand New. 1st edition. 307 pages. 9.00x6.00x0.75 inches. In Stock.

Condition: New. In English.

Condition: New.

Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - Invited Speakers.- Solving the Multiplication Constraint in Several Approximation Spaces.- Is Logic Really Dead or Only Just Sleeping .- Design of Syntactic Program Transformations by Abstract Interpretation of Semantic Transformations.- X-tegration - Some Cross-Enterprise Thoughts.- Tutorials.- Building Real-Life Applications with Prolog.- Natural Language Tabular Parsing.- A Close Look at Constraint-Based Concurrency.- Probabilistic Databases and Logic Programming.- Conference Papers.- Understanding Memory Management in Prolog Systems.- PALS: An Or-Parallel Implementation of Prolog on Beowulf Architectures.- On a Tabling Engine That Can Exploit Or-Parallelism.- Revisiting the Cardinality Operator and Introducing the Cardinality-PathConstraint Family.- Optimizing Compilation of Constraint Handling Rules.- Building Constraint Solvers with HAL.- Practical Aspects for a Working Compile Time Garbage Collection System for Mercury.- Positive Boolean Functions as Multiheaded Clauses.- Higher-Precision Groundness Analysis.- Speculative Beats Conservative Justification.- Local and Symbolic Bisimulation Using Tabled Constraint Logic Programming.- A Simple Scheme for Implementing Tabled Logic Programming Systems Based on Dynamic Reordering of Alternatives.- Fixed-Parameter Complexity of Semantics for Logic Programs.- Ultimate Well-Founded and Stable Semantics for Logic Programs with Aggregates.- Alternating Fixed Points in Boolean Equation Systems as Preferred Stable Models.- Fages' Theorem for Programs with Nested Expressions.- Semantics of Normal Logic Programs with Embedded Implications.- A Multi-adjoint Logic Approach to Abductive Reasoning.- Proving Correctness and Completeness of Normal Programs - A Declarative Approach.- An Order-Sorted Resolution with ImplicitlyNegative Sorts.- Logic Programming in a Fragment of Intuitionistic Temporal Linear Logic.- A Computational Model for Functional Logic Deductive Databases.- A Logic Programming Approach to the Integration, Repairing and Querying of Inconsistent Databases.…

Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - ILP 2007, the 17th Conference on Inductive Logic Programming, was held in Corvallis, Oregon, USA, June 19 21, and was collocated with the 24th Inter- tional Conferenceon Machine Learning.The programconsisted of 15 full and 14 short presentations, a poster session, keynote talks by Paolo Frasconi (Learning withKernelsandLogicalRepresentations)andDavidJensen(BeyondPrediction: Directions for Probabilistic and Relational Learning), and several joint sessions with ICML. Thirty-eight submissions were received this year, out of which fteen were accepted for publication in the proceedings as full papers and eleven as short papers.Inclusionin the proceedings was decided bytaking into accountnotonly the relevance and quality of the work described, but also the quality and level of maturityofthetext.Severalmoresubmissionswereacceptedaswork-in-progress presentations. Thus the 2007 edition of ILP continued the tradition of adopting high selectivity for published papers, while at the same time o ering a forum for work in progress. All accepted papers were made available in temporary online proceedings during the conference. Revised versions of the submitted papers, incorporating feedback from discussions at the conference, are included either in the proce- ings of the conference (this volume) or, for a small number of selected papers, in a special issue of theMachine Learning journal (abstracts of these are included in this volume). Papers reporting on work in progress remain available in the online proceedings, atpages.cs.wisc.edu/~shavlik/ilp07wip/.…

Condition: New. 2024th edition NO-PA16APR2015-KAP.

Paperback. Condition: Brand New. 347 pages. 9.25x6.10x9.21 inches. In Stock.

Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the proceedings of the 17th International Symposium on Functional and Logic Programming, FLOPS 2024, held in Kumamoto, Japan, in May 2024.The 15 papers presented in this volume were carefully reviewed and selected from 28 submissions.The scope includes all aspects of the design, semantics, theory, applications, implementations, and teaching ofdeclarative programming. FLOPS speci cally aims to promote cross-fertilization between theory and practice and among di erent styles of declarative programming.…

Taschenbuch. Condition: Neu. Applications of Declarative Programming and Knowledge Management | 17th International Conference, INAP 2007, and 21st Workshop on Logic Programming, WLP 2007, Würzburg, Germany, October 4-6, 2007, Revised Selected Papers | Dietmar Seipel (u. a.) | Taschenbuch | x | Englisch | 2009 | Springer | EAN 9783642006746 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Taschenbuch. Condition: Neu. Inductive Logic Programming | 17th International Conference, ILP 2007, Corvallis, OR, USA, June 19-21, 2007, Revised Selected Papers | Hendrik Blockeel (u. a.) | Taschenbuch | xi | Englisch | 2008 | Springer | EAN 9783540784685 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. …

Taschenbuch. Condition: Neu. Functional and Logic Programming | 17th International Symposium, FLOPS 2024, Kumamoto, Japan, May 15-17, 2024, Proceedings | Jeremy Gibbons (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xviii | Englisch | 2024 | Springer | EAN 9789819722990 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Condition: Sehr gut. Zustand: Sehr gut | Seiten: 264 | Sprache: Englisch | Produktart: Bücher | This volume constitutes the thoroughly refereed post-conference proceedings of the 17th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2007, and the 21st Workshop on Logic Programming, WLP 2007, held in Würzburg, Germany, during October 4-6, 2007. The 16 thoroughly revised full papers presented together with 1 invited paper were carefully reviewed and selected from numerous submissions. The topics covered are constraints; databases and data mining; extensions of logic programming; and system demonstrations.…

Condition: As New. Unread book in perfect condition.

Condition: Gut. Zustand: Gut | Seiten: 347 | Sprache: Englisch | Produktart: Bücher | This book constitutes the proceedings of the 17th International Symposium on Functional and Logic Programming, FLOPS 2024, held in Kumamoto, Japan, in May 2024.The 15 papers presented in this volume were carefully reviewed and selected from 28 submissions. The scope includes all aspects of the design, semantics, theory, applications, implementations, and teaching ofdeclarative programming. FLOPS speci cally aims to promote cross-fertilization between theory and practice and among di erent styles of declarative programming.…

Condition: As New. Unread book in perfect condition.