Lifschitz vladimir (59 risultati)
Theory of Deductive Systems and Its Applications (Foundations of Computing)
Maslov, S. Yu.; Gelfond, Michael [Translator]; Lifschitz, Vladimir [Translator];
- Rilegato
Da: GuthrieBooks, Spring Branch, U.S.A.GuthrieBooks
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Molto buono
EUR 16,63
EUR 6,07 spedizioneSpedito in U.S.A.Quantità: 1 disponibili
Hardcover. Condizione: 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.
Theory of Deductive Systems and Its Applications (Mit Press Series in the Foundations of Computing) (English and Russian Edition)
Maslov, S. Yu. (Author), Gelmond, Michael (Author), Lifschitz, Vladimir (Author)
- Rilegato
Da: Recycle Bookstore, San Jose, U.S.A.Recycle Bookstore
Contatta il venditoreVenditore con 4 stelleCondizione: Usato - Molto buono
EUR 24,58
EUR 4,99 spedizioneSpedito in U.S.A.Quantità: 1 disponibili
Hardcover. Condizione: 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 st…urdy copy with clean interiors.
- Rilegato
Da: Universitätsbuchhandlung Herta Hold GmbH, Berlin, GermaniaUniversitätsbuchhandlung Herta Hold GmbH
Contatta il venditoreVenditore con 4 stelleCondizione: Usato
EUR 15,00
EUR 30,00 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
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). Spra…che: Englisch.
- Rilegato
Da: medimops, Berlin, Germaniamedimops
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Molto buono
EUR 52,19
EUR 10,00 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Condizione: very good. Gut/Very good: Buch bzw. Schutzumschlag mit wenigen Gebrauchsspuren an Einband, Schutzumschlag oder Seiten. / Describes a book or dust jacket that does show some signs of wear on either the binding, dust jacket or pages.
- Rilegato
Da: Grand Eagle Retail, Bensenville, U.S.A.Grand Eagle Retail
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 65,03
Spedizione gratuitaSpedito in U.S.A.Quantità: 1 disponibili
Hardcover. Condizione: 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.
- Rilegato
Da: California Books, Miami, U.S.A.California Books
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 70,61
Spedizione gratuitaSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
- Brossura
Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 60,57
EUR 13,87 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New. In.
- Brossura
Da: Chiron Media, Wallingford, Regno UnitoChiron Media
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 56,99
EUR 17,93 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 10 disponibili
PF. Condizione: New.
- Brossura
Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 65,45
EUR 13,87 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New. In.
- Brossura
Da: Chiron Media, Wallingford, Regno UnitoChiron Media
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 61,92
EUR 17,93 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Paperback. Condizione: New.
- Rilegato
Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 66,68
EUR 13,87 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New. In.
- Brossura
Da: Books Puddle, New York, U.S.A.Books Puddle
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 90,58
EUR 3,46 spedizioneSpedito in U.S.A.Quantità: 4 disponibili
Condizione: New. pp. XI, 190 53 illus. 1st ed. 2019 edition NO-PA16APR2015-KAP.
- Brossura
Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 80,40
EUR 14,47 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Paperback. Condizione: Brand New. 1st edition. 365 pages. 9.25x6.00x0.75 inches. In Stock.
- Rilegato
Da: Books Puddle, New York, U.S.A.Books Puddle
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 92,49
EUR 3,46 spedizioneSpedito in U.S.A.Quantità: 4 disponibili
Condizione: New. pp. 190.
- Brossura
Da: Kennys Bookshop and Art Galleries Ltd., Galway, IrlandaKennys Bookshop and Art Galleries Ltd.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 85,39
EUR 10,50 spedizioneSpedito da Irlanda a U.S.A.Quantità: 15 disponibili
Condizione: New.
- Rilegato
Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 92,51
EUR 11,58 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Hardcover. Condizione: Brand New. 190 pages. 9.50x6.25x0.75 inches. In Stock.
- Brossura
Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 89,51
EUR 14,47 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Paperback. Condizione: Brand New. 490 pages. 9.00x6.00x1.11 inches. In Stock.
- Brossura
Da: Kennys Bookstore, Olney, U.S.A.Kennys Bookstore
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 106,57
EUR 9,11 spedizioneSpedito in U.S.A.Quantità: 15 disponibili
Condizione: New.
- Rilegato
- Prima edizione
Da: Friends of the Multnomah County Library, Portland, U.S.A.Friends of the Multnomah County Library
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Buono
EUR 111,72
EUR 4,33 spedizioneSpedito in U.S.A.Quantità: 1 disponibili
Hardcover. Condizione: Good. 1st Edition. Clean pages, sound binding. Hardcover boards show some light wear and denting along edges.
Handbook of Knowledge Representation (Foundations of Artificial Intelligence)
van Harmelen, Frank [Editor]; Lifschitz, Vladimir [Editor]; Porter, Bruce [Editor];
- Rilegato
Da: BookResQ., West Valley City, U.S.A.BookResQ.
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Buono
EUR 110,43
EUR 6,07 spedizioneSpedito in U.S.A.Quantità: 1 disponibili
hardcover. Condizione: Good. Ex-library book with typical stickers and stampings. Priority Mail is available on this item. No international shipping.
- Brossura
Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,49
EUR 62,88 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Taschenbuch. Condizione: 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 i…n 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 1980sresearchersworkingintheareaofnonmonotonicreasoningdiscoveredthat 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.
- Brossura
Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,49
EUR 63,72 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume contains the papers presentedat the 20th InternationalConference onLogicProgramming,held in Saint-Malo,France,September 6 10,2004.Since the rst meeting in this series, held in Marseilles in 1982, ICLP has been the premier international… conference for presenting research in logic programming. This year, we received 70 technical papers from countries all over the world, and the ProgramCommittee accepted 28 of them for presentation;they are included in this volume. A stand-by-your-postersession took place during the conference. It servedas aforumforpresentingworkinamoreinformalandinteractivesetting.Abstracts ofthe16postersselectedbytheProgramCommitteeareincludedinthisvolume as well. The conference program also included invited talks and invited tutorials. We were privileged to have talks by three outstanding researchers and excellent speakers: Nachum Dershowitz (Tel Aviv University, Israel) talked on Ter- nation by Abstraction, Michael Gelfond (Texas Tech University, USA) on - swer Set Programming and the Design of Deliberative Agents,andG erard Huet (INRIA, France) on Non-determinism Lessons. Two of the invited talks appear in these proceedings. The tutorials covered topics of high interest to the logic programming community: Ilkka Niemel a gave a tutorial on The Implementation of Answer Set Solvers, Andreas PodelskionTree Automata in Program Analysis and Veri cation, and Guillermo R. Simari onDefeasible Logic Programming and Belief Revision. Satelliteworkshopsmadetheconferenceevenmoreinteresting.Sixworkshops collocated with ICLP 2004: CICLOPS2004, Colloquium on Implementation of Constraint and Logic Programming Systems, organized by Manuel Carro. COLOPS2004,2ndInternationalWorkshoponConstraint&LogicProgr- ming in Security, organized by Frank Valencia. MultiCPL2004, 3rd International Workshop on Multiparadigm Constraint, organized by Petra Hofstedt. TeachLP2004,1stInternationalWorkshoponTeachingLogicProgramming, organized by Dietmar Seipel.
- Brossura
Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 64,19
EUR 61,59 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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 art…ificial 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 areas-in 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.
- Rilegato
Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 64,19
EUR 62,39 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Buch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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 areas-in 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.
Altre immagini- Brossura
Da: preigu, Osnabrück, Germaniapreigu
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 59,30
EUR 70,00 spedizioneSpedito da Germania a U.S.A.Quantità: 5 disponibili
Taschenbuch. Condizione: Neu. Answer Set Programming | Vladimir Lifschitz | Taschenbuch | xi | Englisch | 2020 | Springer | EAN 9783030246600 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
- Rilegato
Da: AussieBookSeller, Truganina, AustraliaAussieBookSeller
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 104,12
EUR 32,11 spedizioneSpedito da Australia a U.S.A.Quantità: 1 disponibili
Hardcover. Condizione: 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 our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability.
Handbook Of Knowledge Representation
Van Harmelen, Frank (EDT)/ Lifschitz, Vladimir (EDT)/ Porter, Bruce (EDT)
- Rilegato
Da: Chiron Media, Wallingford, Regno UnitoChiron Media
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 183,70
EUR 17,93 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
HARDCOVER. Condizione: New.
- Rilegato
Da: Majestic Books, Hounslow, Regno UnitoMajestic Books
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 207,73
EUR 7,52 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 3 disponibili
Condizione: New. pp. xxviii + 1005 Illus.
Handbook Of Knowledge Representation
Van Harmelen, Frank (EDT); Lifschitz, Vladimir (EDT); Porter, Bruce (EDT)
- Rilegato
Da: GreatBookPrices, Columbia, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 239,47
EUR 2,29 spedizioneSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
- Rilegato
Da: Books Puddle, New York, U.S.A.Books Puddle
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 245,04
EUR 3,46 spedizioneSpedito in U.S.A.Quantità: 3 disponibili
Condizione: New. pp. xxviii + 1005.
