Hardcover. Condition: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less.
Seller: GuthrieBooks, Spring Branch, TX, U.S.A.
Hardcover. Condition: Very Good. Ex-Library hardcover in very nice condition with the usual markings and attachments. Except for library markings, interior clean and unmarked. Tight binding.
Paperback. Condition: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding.
Hardcover. Condition: Very Good. Book has a slightly loose first signature, light rubbing to covers, mild wear to edges and corners, light smudges between front endpaper/endpage, light smudges to bottom of spine. otherwise in great condition, strong binding, bright and unmarked pages; some light signs of aging but an overall sturdy copy with clean interiors.
Language: English
Published by Berlin/ Heidelberg, Springer Berlin., 2004
ISBN 10: 3540226710 ISBN 13: 9783540226710
Seller: Universitätsbuchhandlung Herta Hold GmbH, Berlin, Germany
2004. 15 x 23 cm. XII, 484 S. XII, 484 p. Hardcover. 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). Sprache: Englisch.
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
Condition: As New. Unread book in perfect condition.
Language: English
Published by Springer Nature Switzerland AG, Cham, 2019
ISBN 10: 3030246574 ISBN 13: 9783030246570
Seller: Grand Eagle Retail, Bensenville, IL, U.S.A.
Hardcover. Condition: new. Hardcover. Answer set programming (ASP) is a programming methodology oriented towards combinatorial search problems. In such a problem, the goal is to find a solution among a large but finite number of possibilities. The idea of ASP came from research on artificial intelligence and computational logic. ASP is a form of declarative programming: an ASP program describes what is counted as a solution to the problem, but does not specify an algorithm for solving it. Search is performed by sophisticated software systems called answer set solvers.Combinatorial search problems often arise in science and technology, and ASP has found applications in diverse areasin historical linguistic, in bioinformatics, in robotics, in space exploration, in oil and gas industry, and many others. The importance of this programming method was recognized by the Association for the Advancement of Artificial Intelligence in 2016, when AI Magazine published a special issue on answer set programming.The book introduces the reader to the theory and practice of ASP. It describes the input language of the answer set solver CLINGO, which was designed at the University of Potsdam in Germany and is used today by ASP programmers in many countries. It includes numerous examples of ASP programs and present the mathematical theory that ASP is based on. There are many exercises with complete solutions. Answer set programming (ASP) is a programming methodology oriented towards combinatorial search problems. ASP is a form of declarative programming: an ASP program describes what is counted as a solution to the problem, but does not specify an algorithm for solving it. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
Condition: New.
Seller: Ria Christie Collections, Uxbridge, United Kingdom
US$ 68.13
Quantity: Over 20 available
Add to basketCondition: New. In.
Seller: Ria Christie Collections, Uxbridge, United Kingdom
US$ 68.13
Quantity: Over 20 available
Add to basketCondition: New. In.
Condition: New.
Seller: Chiron Media, Wallingford, United Kingdom
US$ 66.05
Quantity: 10 available
Add to basketPF. Condition: New.
Seller: Chiron Media, Wallingford, United Kingdom
US$ 66.58
Quantity: 10 available
Add to basketPF. Condition: New.
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
US$ 68.11
Quantity: Over 20 available
Add to basketCondition: New.
US$ 74.07
Quantity: Over 20 available
Add to basketCondition: New. In.
US$ 75.03
Quantity: Over 20 available
Add to basketCondition: New. In.
US$ 71.76
Quantity: 10 available
Add to basketPF. Condition: New.
Condition: New.
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
US$ 77.44
Quantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
Seller: Amazing Books Pittsburgh, Pittsburgh, PA, U.S.A.
hardcover. Condition: Very Good. Signed in blue in by John McCarthy on the page bearing his photo, verso of half title page. (No inscription) Text is clean and unmarked. Previous owner's name stamped on front and back endpapers. Light surface wear on covers, including a narrow 5 inch dark spot on the far right edge of front cover, indents near and along spine extremes. Pictures available on request. 1991, full number line. Published by Academic Press, INC./Harcourt Brace Jovanovich, Publishers. 1h.
Seller: Revaluation Books, Exeter, United Kingdom
US$ 93.59
Quantity: 2 available
Add to basketPaperback. Condition: Brand New. 1st edition. 365 pages. 9.25x6.00x0.75 inches. In Stock.
Condition: New.
Seller: Revaluation Books, Exeter, United Kingdom
US$ 103.73
Quantity: 1 available
Add to basketPaperback. Condition: Brand New. 490 pages. 9.00x6.00x1.11 inches. In Stock.
Language: English
Published by Springer-Verlag New York Inc, 2019
ISBN 10: 3030246574 ISBN 13: 9783030246570
Seller: Revaluation Books, Exeter, United Kingdom
US$ 107.69
Quantity: 2 available
Add to basketHardcover. Condition: Brand New. 190 pages. 9.50x6.25x0.75 inches. In Stock.
Seller: Friends of the Multnomah County Library, Portland, OR, U.S.A.
First Edition
Hardcover. Condition: Good. 1st Edition. Clean pages, sound binding. Hardcover boards show some light wear and denting along edges.
Seller: HPB-Red, Dallas, TX, U.S.A.
hardcover. Condition: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority!
Condition: New.
Language: English
Published by Springer Berlin Heidelberg, Springer Berlin Heidelberg Aug 2004, 2004
ISBN 10: 3540226710 ISBN 13: 9783540226710
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Taschenbuch. Condition: Neu. Neuware -Frank Valencia. ¿ MultiCPL2004, 3rd International Workshop on Multiparadigm Constraint, organized by Petra Hofstedt. ¿ TeachLP2004,1stInternationalWorkshoponTeachingLogicProgramming, organized by Dietmar Seipel.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 496 pp. Englisch.
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - The papers in this collection were presented at the 7th International Con- rence on Logic Programming and Nonmonotonic Reasoning (LPNMR-7) in Fort Lauderdale, Florida, USA, during January 6 8, 2004. The previous meetings in this series were held in Washington, DC, USA (1991), Lisbon, Portugal (1993), Lexington, USA (1995), Dagstuhl, Germany (1997), El Paso, USA (1999), and Vienna, Austria (2001). LPNMR conferences are a forum for exchanging ideas on declarative logic programming, nonmonotonic reasoning and knowledge representation. In the 1980sresearchersworkingintheareaofnonmonotonicreasoningdiscove redthat their formalisms could be used to describe the behavior of negation as failure in Prolog,andthe rstLPNMRmeetingwasconvenedforthepurposeofdiscussing thisrelationship.Thisworkhasledtothecreationoflogicprogrammingsystems of a new kind, answer set solvers, and to the emergence of a new approach to solving combinatorial search problems, called answer set programming. The highlights of LPNMR-7 were three invited talks, given by Rina Dechter (University of California, Irvine), Henry Kautz (University of Washington) and Torsten Schaub (University of Potsdam). The program also included 24 regular papers selected after a rigorous review process, 8 system descriptions, and 2 panels. We would like to thank the Program Committee members and additional reviewers for careful, unbiased evaluation of the submitted papers. We are also grateful to Paolo Ferraris for help with publicizing the Call for Papers, to Fred Ho man for help with local organizational matters, and to Matti J arvisalo for help with the organization of the electronic Program Committee meeting.