Paperback. Condition: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments.
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.
Published by The Writing Program Department of English, University of Pennsylvania, 1970
Seller: Between the Covers-Rare Books, Inc. ABAA, Gloucester City, NJ, U.S.A.
First Edition
Softcover. Condition: Near Fine. First edition. 54pp. White wrappers lightly foxed, near fine. Contributions by William Carlos Williams, Philip Baum, Cin Bourgeault, Ronald Bush, Greg Djanikian, David Ferleger, Rhoda Gelfond, Louis Guida, Annette Hammer, Paul Hopper, A.J. Litwinko, Jr., Marilyn Nelson, James Philip, Aaron Poller, Michael Roman, Stanley Schwartzman, Terrill Soules, Stephen J. Spector, Craig Williamson, and Jay Wilson.
Language: English
Published by Cambridge University Press, 2014
ISBN 10: 1107029562 ISBN 13: 9781107029569
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 Cambridge University Press, 2014
ISBN 10: 1107029562 ISBN 13: 9781107029569
Seller: Books From California, Simi Valley, CA, U.S.A.
hardcover. Condition: Good.
Condition: As New. Unread book in perfect condition.
Language: English
Published by Cambridge University Press, 2014
ISBN 10: 1107029562 ISBN 13: 9781107029569
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Condition: New.
Language: English
Published by Cambridge University Press, 2014
ISBN 10: 1107029562 ISBN 13: 9781107029569
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Condition: New.
Language: English
Published by Cambridge University Press, 2014
ISBN 10: 1107029562 ISBN 13: 9781107029569
Seller: California Books, Miami, FL, U.S.A.
Condition: New.
Seller: Ria Christie Collections, Uxbridge, United Kingdom
US$ 68.40
Quantity: Over 20 available
Add to basketCondition: New. In.
Language: English
Published by Cambridge University Press, 2014
ISBN 10: 1107029562 ISBN 13: 9781107029569
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Condition: As New. Unread book in perfect condition.
Language: English
Published by Cambridge University Press, Cambridge, 2014
ISBN 10: 1107029562 ISBN 13: 9781107029569
Seller: Grand Eagle Retail, Bensenville, IL, U.S.A.
Hardcover. Condition: new. Hardcover. Knowledge representation and reasoning is the foundation of artificial intelligence, declarative programming, and the design of knowledge-intensive software systems capable of performing intelligent tasks. Using logical and probabilistic formalisms based on answer set programming (ASP) and action languages, this book shows how knowledge-intensive systems can be given knowledge about the world and how it can be used to solve non-trivial computational problems. The authors maintain a balance between mathematical analysis and practical design of intelligent agents. All the concepts, such as answering queries, planning, diagnostics, and probabilistic reasoning, are illustrated by programs of ASP. The text can be used for AI-related undergraduate and graduate classes and by researchers who would like to learn more about ASP and knowledge representation. This in-depth introduction for students and researchers shows how to use ASP for intelligent tasks, including answering queries, planning, and diagnostics. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
US$ 68.38
Quantity: Over 20 available
Add to basketCondition: New.
Language: English
Published by Cambridge University Press, 2014
ISBN 10: 1107029562 ISBN 13: 9781107029569
Seller: Ria Christie Collections, Uxbridge, United Kingdom
US$ 76.73
Quantity: Over 20 available
Add to basketCondition: New. In.
Language: English
Published by Cambridge University Press, 2014
ISBN 10: 1107029562 ISBN 13: 9781107029569
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
US$ 76.72
Quantity: Over 20 available
Add to basketCondition: New.
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
US$ 77.57
Quantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
Language: English
Published by Cambridge University Press, 2014
ISBN 10: 1107029562 ISBN 13: 9781107029569
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
First Edition
Condition: New. . 2014. 1st Edition. Hardcover. . . . .
Language: English
Published by Cambridge University Press, 2014
ISBN 10: 1107029562 ISBN 13: 9781107029569
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
US$ 86.82
Quantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
Language: English
Published by Cambridge University Press, 2014
ISBN 10: 1107029562 ISBN 13: 9781107029569
Seller: Kennys Bookstore, Olney, MD, U.S.A.
Condition: New. . 2014. 1st Edition. Hardcover. . . . . Books ship from the US and Ireland.
Language: English
Published by Cambridge University Press CUP, 2014
ISBN 10: 1107029562 ISBN 13: 9781107029569
Seller: Books Puddle, New York, NY, U.S.A.
Condition: New. pp. 360.
Language: English
Published by Cambridge University Press, 2014
ISBN 10: 1107029562 ISBN 13: 9781107029569
Seller: Speedyhen, London, United Kingdom
US$ 67.44
Quantity: 1 available
Add to basketCondition: NEW.
Seller: Revaluation Books, Exeter, United Kingdom
US$ 109.56
Quantity: 2 available
Add to basketHardcover. Condition: Brand New. 348 pages. 9.25x6.25x1.00 inches. In Stock.
Language: English
Published by Springer Berlin Heidelberg, 1999
ISBN 10: 3540667490 ISBN 13: 9783540667490
Seller: AHA-BUCH GmbH, Einbeck, Germany
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - ThisvolumeconsistsoftherefereedpaperspresentedattheFifthInternation al ConferenceonLogicProgrammingandNonmonotonicReasoning(LPNMR 99) heldatElPaso,Texas,inDecember1999. LPNMR 99isthe fthinaseriesofinternationalmeetingsonlogicprogramming andnonmonotonicreasoning. FourpreviousmeetingswereheldinWashington, U. S. A. ,in1991,inLisbon,Portugal,in1993,inLexington,U. S. A. ,in1995,and inDagstuhl,Germany,in1997. TheaimoftheLPNMRconferencesisto- cilitateinteractionsbetweenresearchersinterestedinlogicbasedprogramming languagesanddatabasesystemsandresearcherswhoworkintheareasofk- wledgerepresentationandnonmonotonicreasoning. Inadditiontopresentationsofacceptedpaperstheconferencewillfeaturetalks byfourinvitedspeakers MarcoCadoli,VladimirLifschitz,DavidMcAllester, andLeoraMorgenstern. ManypeoplecontributedtothesuccessoftheLPNMR 99conference. Special thanksareduetotheprogramcommitteeandtheadditionalreviewersfo rcareful evaluationofthesubmittedpapers. WewouldalsoliketothankGopalGuptaand DannyDeSchreyefortheire ortsincoordinatingtheschedulesofICLP99and LPNMR99,andGeorgGottlob,chairoftheLPNMRsteeringcommittee,who providedcontinuousadviseandsupporttotheprogramchairs. Theconference was nanciallysupportedbytheUniversityofTexasatElPasoandCompulog NetprovidedsupportforaEuropeaninvitedspeaker. December1999 MichaelGelfond NicolaLeone GeraldPfeifer ConferenceOrganization ProgramCo-Chairs MichaelGelfond(UniversityofTexasatElPaso,USA) NicolaLeone(ViennaUniversityofTechnology,Austria) ProgramCommittee JoseJulioAlferes(UniversidadedeEvora,Portugal) ChittaBaral(UniversityofTexasatElPaso,USA) NicoleBidoit(Universit edeBordeaux1,France) J urgenDix(UniversityofKoblenz,Germany) ThomasEiter(ViennaUniversityofTechnology,Austria) FangzhenLin(TheHongKongUniversityofScienceandTechnology,China) JackMinker(UniversityofMaryland,USA) AnilNerode(CornellUniversity,USA) IlkkaNiemela(HelsinkiUniversityofTechnology,Finland) DinoPedreschi(UniversityofPisa,Italy) PasqualeRullo(UniversityofCalabria,Rende,Italy) ChiakiSakama(WakayamaUniversity,Japan) V. S. Subrahmanian(UniversityofMaryland,USA) FrancescaToni(ImperialCollege,London,U. K. ) MiroslawTruszczynski(UniversityofKentuckyatLexington,USA) HudsonTurner(UniversityofMinnesotaatDuluth,USA) MosheY. Vardi(RiceUniversity,USA) Jia-HuaiYou(UniversityofAlberta,Canada) PublicityChair GeraldPfeifer(ViennaUniversityofTechnology,Austria) AdditionalReviewers RobertoBarbuti StefanBrass KrysiaBroda FrancescoBuccafurri CarlosDamasio AlexanderDekhtyar PhanMinhDung UweEgly WolfgangFaber SergioGreco Je Horty KatsumiInoue ConferenceOrganization VII TomiJanhunen ChrisJohnson AntonisKakas HirofumiKatsuno VladimirLifschitz JorgeLobo ThomasLukasiewicz So anMaabout GiuseppeManco VictorMarek CristinelMateis YujiMatsumoto IaraMora MircoNanni LuigiPalopoli LuisMonizPereira GeraldPfeifer InnaPivkina SalvatoreRuggieri FaribaSadri FrancescoScarcello DietmarSeipel HirohisaSeki PatrikSimons TerrySwift HansTompits UlrichZukowski KewenWang TableofContents ContributedPapers FixedParameterComplexityinAIandNonmonotonicReasoning. . . . . . . . . . . 1 G. Gottlob,F. Scarcello,M. Sideri ClassifyingSemi-NormalDefaultLogicontheBasisofitsExpressivePower 19 T. Janhunen LocallyDeterminedLogicPrograms . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34 D. Cenzer,J. B. Remmel,A. Vanderbilt AnnotatedRevisionPrograms . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 49 V. Marek,I. Pivkina,M. Truszczynski Belief,Knowledge,Revisions,andaSemanticsofNon-MonotonicReasoning63 J. Sefranek AnArgumentationFrameworkforReasoningaboutActionsandChanges . . 78 A. Kakas,R. Miller,F. Toni RepresentingTransitionSystemsbyLogicPrograms . . . . . . . . . . . . . . . . . . . . . . . 92 V. Lifschitz,H. Turner TransformationsofLogicProgramsRelatedtoCausalityandPlanning. . . . 107 E. Erdem,V. Lifschitz FromCausalTheoriestoLogicPrograms(Sometimes). . . . . . . . . . . . . . . . . . . . 117 F. Lin,K. Wang MonotoneExpansionofUpda.
Language: English
Published by Cambridge University Press, 2014
ISBN 10: 1107029562 ISBN 13: 9781107029569
Seller: moluna, Greven, Germany
Condition: New. This in-depth introduction for students and researchers shows how to use ASP for intelligent tasks, including answering queries, planning, and diagnostics.Inhaltsverzeichnis1. Logic-based approach to agent design 2. Answer set Prolo.
Language: English
Published by Cambridge University Press, 2014
ISBN 10: 1107029562 ISBN 13: 9781107029569
Seller: AHA-BUCH GmbH, Einbeck, Germany
Buch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - Knowledge representation and reasoning is the foundation of artificial intelligence, declarative programming, and the design of knowledge-intensive software systems capable of performing intelligent tasks. Using logical and probabilistic formalisms based on answer set programming (ASP) and action languages, this book shows how knowledge-intensive systems can be given knowledge about the world and how it can be used to solve non-trivial computational problems. The authors maintain a balance between mathematical analysis and practical design of intelligent agents. All the concepts, such as answering queries, planning, diagnostics, and probabilistic reasoning, are illustrated by programs of ASP. The text can be used for AI-related undergraduate and graduate classes and by researchers who would like to learn more about ASP and knowledge representation.
Language: English
Published by Cambridge University Press, 2014
ISBN 10: 1107029562 ISBN 13: 9781107029569
Seller: preigu, Osnabrück, Germany
Buch. Condition: Neu. Knowledge Representation, Reasoning, and the Design of Intelligent Agents | Michael Gelfond (u. a.) | Buch | Gebunden | Englisch | 2014 | Cambridge University Press | EAN 9781107029569 | Verantwortliche Person für die EU: Libri GmbH, Europaallee 1, 36244 Bad Hersfeld, gpsr[at]libri[dot]de | Anbieter: preigu.
Language: English
Published by Cambridge University Press, 2014
ISBN 10: 1107029562 ISBN 13: 9781107029569
Seller: Toscana Books, AUSTIN, TX, U.S.A.
Hardcover. Condition: new. Excellent Condition.Excels in customer satisfaction, prompt replies, and quality checks.