Describes the underlying theory as well as algorithms, optimisation ideas and implementation details. Includes numerous examples and exercises.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Péter Szeredi is an Associate Professor at the Budapest University of Technology and Economics (BUTE). In the mid-1970s he authored the first Hungarian Prolog interpreter and led the development of the MProlog system, a pioneering Hungarian software product sold worldwide in the 1980s. His main fields of interest include declarative programming (logic programming, constraint programming, the Prolog language); semantic technologies (Semantic Web, semantic integration); exploiting parallelism and programming languages supporting parallelism; as well as implementation of programming languages. He is the author and co-author of about 90 peer-reviewed publications, including 14 books/book chapters and eight journal publications. In recognition of his pioneering work in the field, he was honoured by the Association of Logic Programming as one of the fifteen Founders of Logic Programming.
Gergely Lukácsy is a Senior Software Engineer at Cisco Systems, Ireland. He received his PhD in Computer Science from the Budapest University of Technology, Hungary, in June 2008. The main contribution in his PhD dissertation was a novel description logic reasoning approach that works effectively in cases of huge amounts of data. This result is particularly important for the Semantic Web area, where it is essential to have systems that can reason efficiently over large data sets. Lukácsy has published more than 25 articles in journals, books, refereed conferences and workshops. He has been working on various research projects involving semantic technologies and logic programming since 2000. His main results include the DLog reasoner which uses logic programming techniques for efficient reasoning, including program analysis and transformation techniques and parallelisation. He has also been involved in the design and development of logic-based information integration systems that use knowledge representation, constraint logic programming and reasoning techniques.
Tamás Benkő is a Research Associate at the Digital Enterprise Research Institute, Ireland. He is involved in the development of the Semantic Web indexing project Sindice. His main fields of interest include declarative programming (logic programming, constraint programming, the Prolog language); semantic technologies (Semantic Web, semantic integration). He is the author and co-author of several related conference papers and books.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Da: Old Line Books, Severna Park, MD, U.S.A.
Soft cover. Condizione: Very Good. 1st Edition. Very Good+ to Near Fine in paperback, some minor external wear, text appears clean and free of mark, we ship in boxes, not bags, LOC1. Codice articolo 9791
Quantità: 1 disponibili
Da: Tall Stories BA, Stoneyford, Irlanda
Soft cover. Condizione: Very Good. as new unused. Codice articolo 2000008954
Quantità: 1 disponibili
Da: GreatBookPrices, Columbia, MD, U.S.A.
Condizione: New. Codice articolo 19639743-n
Quantità: 1 disponibili
Da: California Books, Miami, FL, U.S.A.
Condizione: New. Codice articolo I-9780521700368
Quantità: Più di 20 disponibili
Da: GreatBookPrices, Columbia, MD, U.S.A.
Condizione: As New. Unread book in perfect condition. Codice articolo 19639743
Quantità: 1 disponibili
Da: Revaluation Books, Exeter, Regno Unito
Paperback. Condizione: Brand New. 471 pages. 9.50x6.75x1.00 inches. In Stock. This item is printed on demand. Codice articolo __0521700361
Quantità: 1 disponibili
Da: Ria Christie Collections, Uxbridge, Regno Unito
Condizione: New. In. Codice articolo ria9780521700368_new
Quantità: Più di 20 disponibili
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Condizione: New. Codice articolo 19639743-n
Quantità: Più di 20 disponibili
Da: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
Condizione: New. Describes the underlying theory as well as algorithms, optimisation ideas and implementation details. Includes numerous examples and exercises. Num Pages: 478 pages, 117 b/w illus. 195 exercises. BIC Classification: U; UBW. Category: (U) Tertiary Education (US: College). Dimension: 247 x 177 x 26. Weight in Grams: 838. . 2014. 1st Edition. Paperback. . . . . Codice articolo V9780521700368
Quantità: Più di 20 disponibili
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Condizione: As New. Unread book in perfect condition. Codice articolo 19639743
Quantità: Più di 20 disponibili