Logic programming 18th international (38 résultats)

Etat : Fine. 1st Edition. Used book that is in almost brand-new condition. May contain a remainder mark. Better World Books: Buy Books. Do Good.

Hardcover. Etat : Very Good. No Jacket. Hardcover 2002 library bound edition. Ex-library book with stamps and labels attached. Binding firm. Pages unmarked and clean. Laminated covers and text in very good condition. Series: Lecture Notes in Computer Science ;2401. [xi, 486 p. : ill. ; 24 cm].

Etat : New.

Paperback or Softback. Etat : New. Functional and Constraint Logic Programming: 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers. Book.

Etat : New.

Etat : Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.

Etat : As New. Unread book in perfect condition.

Etat : New.

Etat : As New. Unread book in perfect condition.

Etat : As New. Unread book in perfect condition.

Etat : New.

Etat : New.

Etat : As New. Unread book in perfect condition.

Etat : New.

Etat : New.

Etat : New.

Paperback. Etat : Brand New. 178 pages. 9.25x6.25x0.50 inches. In Stock.

Etat : New.

Paperback. Etat : Brand New. 2012 edition. 457 pages. 9.25x6.10x1.02 inches. In Stock.

Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - Thisvolumecontainsaselectionofthepaperspresentedatthe18thInternational Workshop on Functional and (Constraint) Logic Programming (WFLP 2009), held on June 28, 2009 in Bras lia, Brazil. Previous WFLP meetings were held in Siena (2008), Paris (2007), Madrid (2006), Tallinn (2005), Aachen (2004), Valencia (2003),Grado(2002),Kiel(2001),Benicassim(2000),Grenoble(1999), Bad Honnef (1998), Schwarzenberg (1997, 1995, and 1994), Marburg (1996), Rattenberg (1993), and Karlsruhe (1992). The aim of the WFLP series is to bring together researchers interested in functional programming, (constraint) logic programming, as well as the integ- tion of the two paradigms. It promotes the cross-fertilizing exchange of ideas and experiences among researchers and students from the di erent commu- ties interested in the foundations, applications, and combinations of high-level, declarative programming languages and related areas. WFLP 2009 solicited papers in all areas of functional and (constraint) logic programming, including but not limited to: Foundations:formalsemantics,rewritingandnarrowing,non-monotonicr- soning, dynamics, and type theory. Language Design: modules and type systems, multi-paradigm languages, concurrency and distribution, and objects. Implementation: abstract machines, parallelism, compile-time and run-time optimizations, and interfacing with external languages. Transformation and Analysis: abstract interpretation, specialization, partial evaluation, program transformation, and meta-programming. Software Engineering: design patterns, speci cation, veri cation and vali- tion, debugging, and test generation. IntegrationofParadigms:integrationofdeclarativeprogrammingwithother paradigms such as imperative, object-oriented, concurrent, and real-time programming. Applications: declarative programming in education and industry, doma- speci c languages, visual/graphical user interfaces, embedded systems, WWW applications, knowledge representation and machine learning, - ductive databases, advanced programming environments and tools.…

Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 18th International Conference on Logic Programming, ICLP 2002, held in Copenhagen, Denmark, in July/August 2002.The 29 revised full papers presented together with two invited contributions and 13 posters were carefully reviewed and selected from 82 submissions. All current aspects of logic programming and computational logic are addressed.…

Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - The 18th International Conference on Inductive Logic Programming was held in Prague, September 10-12, 2008. ILP returned to Prague after 11 years, and it is tempting to look at how the topics of interest have evolved during that time. The ILP community clearly continues to cherish its beloved rst-order logic representation framework. This is legitimate, as the work presented at ILP 2008 demonstrated that there is still room for both extending established ILP approaches (such as inverse entailment) and exploring novel logic induction frameworks (such as brave induction). Besides the topics lending ILP research its unique focus, we were glad to see in this year's proceedings a good n- ber of papers contributing to areas such as statistical relational learning, graph mining, or the semantic web. To help open ILP to more mainstream research areas, the conference featured three excellent invited talks from the domains of the semantic web (Frank van Harmelen), bioinformatics (Mark Craven) and cognitive sciences (Josh Tenenbaum). We deliberately looked for speakers who are not directly involved in ILP research. We further invited a tutorial on stat- tical relational learning (Kristian Kersting) to meet the strong demand to have the topic presented from the ILP perspective. Lastly, Stefano Bertolo from the European Commission was invited to give a talk on the ideal niches for ILP in the current EU-supported research on intelligent content and semantics.…

Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume contains a selection of papers presented at the 15th International Conference on Applications of Declarative Programming and Knowledge M- agement, INAP 2004, and the 18th Workshop on Logic Programming, WLP 2004, which were held jointly in Potsdam, Germany, from March 4th to 6th, 2004. Declarative programming is an advanced paradigm for the modeling and solving of complex problems. This speci cation method has become more and more attractive in recent years, for example, in the domains of databases, for the processing of natural language, for the modeling and processing of combinatorial problems, and for establishing knowledge-based systems for the Web. The INAP conferences provide a forum for intensive discussions of appli- tions of important technologies around logic programming, constraint problem solving, and closely related advanced software. They comprehensively cover the impact of programmable logic solvers in the Internet society, its underlying te- nologies, and leading-edge applications in industry, commerce, government, and social services. The Workshops on Logic Programming are the annual meeting of the Society for Logic Programming (GLP e.V.). They bring together researchers interested in logic programming, constraint programming, and related areas like databases and arti cial intelligence. Previous workshops have been held in Germany, A- tria, and Switzerland. Thetopicsoftheselectedpapersofthisyear'sjointconferenceconcentrateon three currently important elds: knowledge management and decision support, constraint programming and constraint solving, and declarative programming and Web-based systems.…

Etat : New.

Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - This FLOPS 2026 constitutes the proceedings of the 18th International Symposium on Functional and Logic Programming, FLOPS 2026, held in Tsukuba, Japan, in May 26-28, 2026.The 14 full papers and 2 invited talks presented in this volume were carefully reviewed and selected from 25 submissions. They were organized in topical sections as follows.Lambda Calculus and Type Theory; Term Rewriting; Programming Language Semantics; Programming Language Compilers; Functional; Logic and Functional-Logic Programming; SAT solving; and applications thereof.…

Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 18th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2026, held in Klagenfurt, Austria, during September 7 11, 2026.The 28 full papers and 4 short papers included in this book were carefully reviewed and selected from 46 submissions. The papers presented at the conference covered various topics focusing on design andimplementation of logic-based programming languages and database systems, as well as knowledge representation and non-monotonic reasoning.…

Paperback. Etat : Brand New. 525 pages. 6.14x1.07x9.21 inches. In Stock.

Taschenbuch. Etat : Neu. Functional and Logic Programming | 18th International Symposium, FLOPS 2026, Tsukuba, Japan, May 26-28, 2026, Proceedings | Michael Sperber (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xvi | Englisch | 2026 | Springer | EAN 9789819201839 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Etat : Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher | real-time programming. ¿ Applications: declarative programming in education and industry, doma- speci?c languages, visual/graphical user interfaces, embedded systems, WWW applications, knowledge representation and machine learning, - ductive databases, advanced programming environments and tools.…

Etat : Sehr gut. Zustand: Sehr gut | Seiten: 372 | Sprache: Englisch | Produktart: Bücher | The 18th International Conference on Inductive Logic Programming was held in Prague, September 10¿12, 2008. ILP returned to Prague after 11 years, and it is tempting to look at how the topics of interest have evolved during that time. The ILP community clearly continues to cherish its beloved ?rst-order logic representation framework. This is legitimate, as the work presented at ILP 2008 demonstrated that there is still room for both extending established ILP approaches (such as inverse entailment) and exploring novel logic induction frameworks (such as brave induction). Besides the topics lending ILP research its unique focus, we were glad to see in this year¿s proceedings a good n- ber of papers contributing to areas such as statistical relational learning, graph mining, or the semantic web. To help open ILP to more mainstream research areas, the conference featured three excellent invited talks from the domains of the semantic web (Frank van Harmelen), bioinformatics (Mark Craven) and cognitive sciences (Josh Tenenbaum). We deliberately looked for speakers who are not directly involved in ILP research. We further invited a tutorial on stat- tical relational learning (Kristian Kersting) to meet the strong demand to have the topic presented from the ILP perspective. Lastly, Stefano Bertolo from the European Commission was invited to give a talk on the ideal niches for ILP in the current EU-supported research on intelligent content and semantics.…