Sinossi
Logic is now widely recognized to be one of the foundational disciplines of computing and has found applications in virtually all aspects of the subject, from software engineering and hardware to programming languages and artificial intelligence. This Handbook has been created in response to the growing need for an in-depth survey of the applications of logic in AI and computer science.
The Handbook of Logic in Artificial Intelligence and Logic Programming will be published in five volumes. Each volume provides a combination of authoritative exposition, comprehensive survey, and fundamental research exploring the underlying unifying themes in the various areas. this first volume presents the logical foundations and deduction methodologies extensively used in AI.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Recensione
Review of the first three volumes: `.. an essential acquisition for any library covering theoretical computer science and highly desirable for any researcher in the field.' Times Higher Education Supplement
Review of the first three volumes: `... the first three volumes... represent a detailed and comprehensive exposition of the theoretical and computational features of a wide variety of classical and non-classical logics.'`... can be unreservedly recommended to AI practitioners with proficiency in logic and commitment to its role in the development of AI systems.'The Computer Journal
Contenuti
- List of contributors
- 1.1: David J. Israel: The role(s) of logic in artificial intelligence
- 1.2: Martin Davis: First order logic
- 1.3: W. Bibel and E. Eder: Methods and calculi for deduction
- 1.4: Norbert Eisinger and Hans Jürgen Ohlbach: Deduction systems based on resolution
- 1.5: David A. Plaisted: Equational reasoning and term rewriting systems
- 1.6: Melvin Fitting: Basic modal logic
- 1.7: Wilfrid Hodges: Logical features of Horn clauses
- Author index
- Subject index
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Risultati della ricerca per Volume 1: Logic Foundations
Foto dell'editore
Handbook of Logic in Artificial Intelligence and Logic Programming : Volume 1: Logical Foundations
Editore:
Oxford University Press, Incorporated, 1993
ISBN 10: 019853745X
ISBN 13: 9780198537458
Antico o usato
Rilegato
Da: Better World Books, Mishawaka, IN, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: Good. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good. Codice articolo GRP36522382
Compra usato
EUR 122,47
Spedizione gratuita
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 1: Logical Foundations
Da: Books From California, Simi Valley, CA, U.S.A.
Valutazione del venditore 4 su 5 stelle
hardcover. Condizione: Very Good. Cover and edges may have some wear. Codice articolo mon0003999877
Compra usato
EUR 285,85
Spedizione EUR 4,23
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Handbook of Logic in Artificial Intelligence and Logic Programming : Volume 1: Logical Foundations
Da: Buchpark, Trebbin, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: Sehr gut. Zustand: Sehr gut | Seiten: 536 | Sprache: Englisch | Produktart: Bücher | Logic is now widely recognized to be one of the foundational disciplines of computing with applications in virtually all aspects of the subject, from software engineering and hardware development to programming languages and artificial intelligence. There is a growing need for an in-depthsurvey of the applications of logic in AI and computer science. The Handbook of Logic in Artificial Intelligence and Logic Programming and its companion, Handbook of Logic in Computer Science, have been created in response to this need. This book is a combination of authoritative exposition, comprehensive survey, and fundamental research that explores underlying unifying themes in the various subject areas. Chapters have been written by an internationally renowned team of researchers and are coordinated in terms of the theories discussed and the examples offered. This book will be ofinterest to graduate students and researchers in all areas of artificial intelligence, computer science, and logic, as well as to logicians and mathematicians. Codice articolo 2402856/202
Compra usato
EUR 203,00
Spedizione EUR 105,00
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 3 disponibili
Immagini fornite dal venditore
Handbook of Logic in Artificial Intelligence and Logic Programming : Volume 1: Logical Foundations
Da: Buchpark, Trebbin, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: Sehr gut. Zustand: Sehr gut | Seiten: 536 | Sprache: Englisch | Produktart: Bücher | Logic is now widely recognized to be one of the foundational disciplines of computing with applications in virtually all aspects of the subject, from software engineering and hardware development to programming languages and artificial intelligence. There is a growing need for an in-depthsurvey of the applications of logic in AI and computer science. The Handbook of Logic in Artificial Intelligence and Logic Programming and its companion, Handbook of Logic in Computer Science, have been created in response to this need. This book is a combination of authoritative exposition, comprehensive survey, and fundamental research that explores underlying unifying themes in the various subject areas. Chapters have been written by an internationally renowned team of researchers and are coordinated in terms of the theories discussed and the examples offered. This book will be ofinterest to graduate students and researchers in all areas of artificial intelligence, computer science, and logic, as well as to logicians and mathematicians. Codice articolo 2402856/2
Compra usato
EUR 203,00
Spedizione EUR 105,00
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 1 disponibili
Immagini fornite dal venditore
Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 1: Logical Foundations
Editore:
Oxford University Press, 1993
ISBN 10: 019853745X
ISBN 13: 9780198537458
Antico o usato
Rilegato
Da: Antiquariat Bernhardt, Kassel, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: Gut. XIII, 536 Seiten, Volume 1: Logical Foundation. Zust: Gutes Exemplar. Mit Vorbesitzereintrag. Einband mit Goldprägedruck. Buchrücken mit rotem Rückenschildchen. Buchrücken bestoßen. Schneller Versand und persönlicher Service - jedes Buch händisch geprüft und beschrieben - aus unserem Familienbetrieb seit über 25 Jahren. Eine Rechnung mit ausgewiesener Mehrwertsteuer liegt jeder unserer Lieferungen bei. Wir versenden mit der deutschen Post. Sprache: Englisch Gewicht in Gramm: 986 gebundene Ausgabe gebundene Ausgabe. Codice articolo 492390
Compra usato
EUR 282,90
Spedizione EUR 49,90
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 1 disponibili
Immagini fornite dal venditore
Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 1: Logical Foundations
Editore:
Oxford Press; Clarendon Press, 1993
ISBN 10: 019853745X
ISBN 13: 9780198537458
Antico o usato
Rilegato
Da: Coffee Cat Books, Chapel Hill, NC, U.S.A.
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: Near Fine. 2003 Reprint; Reprint Edition. Near Fine. Oxford Reprint (2003) of 1993 Original. Clarendon Press; Oxford University Press. Hardcover. Clean interior w/ no markings. Issued without dust jacket. Decorative boards w/ very light shelf / edge wear. 518 pp. Binding solid & square. Vol 1 of multi-volume academic series. Comprehensive academic handbook covering logical foundations of AI & logic programming w/ resolution methods, semantic structures & deduction methodologies. Handbook of Logic in Artificial Intelligence and Logic Programming Volume 1: Logical Foundations. Ships priority, insured, tracked w/signature confirmation, from USA, quickly and with care. Codice articolo 3420NF-oa110425A5
Compra usato
EUR 388,74
Spedizione EUR 6,78
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 2 disponibili
Immagini fornite dal venditore
Handbook of Logic in Artificial Intelligence and Logic Programming : Logical Foundations
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 79679-n
Compra nuovo
EUR 437,05
Spedizione EUR 2,24
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Handbook of Logic in Artificial Intelligence and Logic Programming : Logical Foundations
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: As New. Unread book in perfect condition. Codice articolo 79679
Compra usato
EUR 437,05
Spedizione EUR 2,24
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 1: Logical Foundations
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. In. Codice articolo ria9780198537458_new
Compra nuovo
EUR 432,96
Spedizione EUR 13,72
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Handbook of Logic in Artificial Intelligence and Logic Programming
Print on DemandDa: PBShop.store UK, Fairford, GLOS, Regno Unito
Valutazione del venditore 4 su 5 stelle
HRD. Condizione: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Codice articolo L1-9780198537458
Compra nuovo
EUR 441,26
Spedizione EUR 7,74
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: Più di 20 disponibili