Italiano
Svizzera
registrati
Soffiata di it.eurobuch.ch
Libri simili
Altri libri che potrebbero essere simili a questo:
Strumento di ricerca
Libri consigliati
Attuale
Pubblicità
FILTRO
- 0 Risultati
prezzo più basso: 8,00 €, prezzo più alto: 176,54 €, prezzo medio: 134,23 €
Nonmonotonic Logic - V. Wiktor Marek
libro esaurito
(*)
V. Wiktor Marek:
Nonmonotonic Logic - nuovo libro

ISBN: 9783540564485

ID: 837328205

This monograph provides a thorough analysis of two importantformalisms for nonmonotonic reasoning: default logic andmodal nonmonotonic logics. It is also shown how they arerelated to each other and how they provide the formalfoundations for logic programming. The discussion isrigorous, and all main results are formally proved. Many ofthe results are deep and surprising, some of them previouslyunpublished.The book has three parts, on default logic, modalnonmonotonic logics, and connections and complexity issues,respectively. The study of general default logic is followedby a discussion of normal default logic and its connectionsto the closed world assumption, and also a presentation ofrelated aspects of logic programming. The general theory ofthe family of modal nonmonotonic logics introduced byMcDermott and Doyle is followed by studies of autoepistemiclogic, the logic of reflexive knowledge, and the logic ofpure necessitation, and also a short discussion ofalgorithms for computing knowledge and belief sets. Thethird part explores connections between default logic andmodal nonmonotonic logics and contains results on thecomplexity of nonmonotonic reasoning.The ideas are presented with an elegance and unity ofperspective that set a new standard of scholarship for booksin this area, and the work indicates that the field hasreached a very high level of maturity and sophistication.The book is intended as a reference on default logic,nonmonotonic logics, and related computational issues, andis addressed to researchers, programmers, and graduatestudents in the Artificial Intelligence community. weltbild.at > Bücher > Computer & Internet > Fachbücher Informatik, [PU: Springer, Berlin/Heidelberg]

Libro nuovo Weltbild
Costi di spedizione:lieferbar in 5 Tag(en), zzgl. Versandkosten, Costi di spedizione aggiuntivi
Details...
(*) Libro esaurito significa che il libro non è attualmente disponibile in una qualsiasi delle piattaforme associate che di ricerca.
Nonmonotonic Logic - Marek, V. W. / Truszczynski, Miroslaw / Reiter, R.
libro esaurito
(*)
Marek, V. W. / Truszczynski, Miroslaw / Reiter, R.:
Nonmonotonic Logic - libri usati

ISBN: 9783540564485

ID: 7965113

This monograph provides a thorough analysis of two important formalisms for nonmonotonic reasoning: default logic and modal nonmonotonic logics. It is also shown how they are related to each other and how they provide the formal foundations for logic programming. The discussion is rigorous, and all main results are formally proved. Many of the results are deep and surprising, some of them previously unpublished. The book has three parts, on default logic, modal nonmonotonic logics, and connections and complexity issues, respectively. The study of general default logic is followed by a discussion of normal default logic and its connections to the closed world assumption, and also a presentation of related aspects of logic programming. The general theory of the family of modal nonmonotonic logics introduced by McDermott and Doyle is followed by studies of autoepistemic logic, the logic of reflexive knowledge, and the logic of pure necessitation, and also a short discussion of algorithms for computing knowledge and belief sets. The third part explores connections between default logic and modal nonmonotonic logics and contains results on the complexity of nonmonotonic reasoning. The ideas are presented with an elegance and unity of perspective that set a new standard of scholarship for books in this area, and the work indicates that the field has reached a very high level of maturity and sophistication. The book is intended as a reference on default logic, nonmonotonic logics, and related computational issues, and is addressed to researchers, programmers, and graduate students in the Artificial Intelligence community. Nonmonotonic Logic Marek, V. W. / Truszczynski, Miroslaw / Reiter, R., Springer

libro usato Betterworldbooks.com
Costi di spedizione:zzgl. Versandkosten, Costi di spedizione aggiuntivi
Details...
(*) Libro esaurito significa che il libro non è attualmente disponibile in una qualsiasi delle piattaforme associate che di ricerca.
Nonmonotonic Logic : Context-Dependent Reasoning - M. Truszczynski; V.W. Marek
libro esaurito
(*)
M. Truszczynski; V.W. Marek:
Nonmonotonic Logic : Context-Dependent Reasoning - libri usati

1970, ISBN: 3540564489

ID: 18734859

When I first participated in exploring theories of nonmonotonic reasoning in the late 1970s, I had no idea of the wealth of conceptual and mathematical results that would emerge from those halting first steps. This book by Wiktor Marek and Miroslaw Truszczynski is an elegant treatment of a large body of these results. It provides the first comprehensive treatment of two influen tial nonmonotonic logics - autoepistemic and default logic - and describes a number of surprising and deep unifying relationships between them. It also relates them to various modal logics studied in the philosophical logic litera ture, and provides a thorough treatment of their applications as foundations for logic programming semantics and for truth maintenance systems. It is particularly appropriate that Marek and Truszczynski should have authored this book, since so much of the research that went into these results is due to them. Both authors were trained in the Polish school of logic and they bring to their research and writing the logical insights and sophisticated mathematics that one would expect from such a background. I believe that this book is a splendid example of the intellectual maturity of the field of artificial intelligence, and that it will provide a model of scholarship for us all for many years to come. Ray Reiter Department of Computer Science University of Toronto Toronto, Canada M5S 1A4 and The Canadian Institute for Advanced Research Table of Contents 1 1 Introduction ........ used books,books Books, Springer

libro usato Thriftbooks.com
used. Costi di spedizione:zzgl. Versandkosten., Costi di spedizione aggiuntivi
Details...
(*) Libro esaurito significa che il libro non è attualmente disponibile in una qualsiasi delle piattaforme associate che di ricerca.
Nonmonotonic Logic Context-Dependent Reasoning - Marek, V. Wiktor; Truszczynski, Miroslaw
libro esaurito
(*)
Marek, V. Wiktor; Truszczynski, Miroslaw:
Nonmonotonic Logic Context-Dependent Reasoning - copertina rigida, flessible

1993, ISBN: 3540564489

ID: A414003

1993 Gebundene Ausgabe EDV / Theorie / Allgemeines, Logik, Philosophie / Logik, Mathematische Grundlagen, Mathematik: Logik, Informatik, Theoretische Informatik, Künstliche Intelligenz, algorithms; artificial intelligence; closed world assumption; complexity; intelligence; knowledge; nonmonotonic reasoning; Programming, mit Schutzumschlag neu, [PU:Springer Berlin Heidelberg; Springer Berlin]

Libro nuovo Achtung-Buecher.de
MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
Costi di spedizione:Versandkostenfrei innerhalb der BRD. (EUR 0.00)
Details...
(*) Libro esaurito significa che il libro non è attualmente disponibile in una qualsiasi delle piattaforme associate che di ricerca.
Nonmonotonic Logic - R. Reiter; V. Wiktor Marek; Miroslaw Truszczynski
libro esaurito
(*)
R. Reiter; V. Wiktor Marek; Miroslaw Truszczynski:
Nonmonotonic Logic - nuovo libro

ISBN: 9783540564485

ID: 9783540564485

Computer Science; Artificial Intelligence (incl. Robotics); Mathematical Logic and Formal Languages; Mathematical Logic and Foundations algorithms, artificial intelligence, closed world assumption, complexity, intelligence, knowledge, logic, nonmonotonic reasoning, programming Books Book, Springer Science+Business Media

Libro nuovo Springer.com
Costi di spedizione: EUR 0.00
Details...
(*) Libro esaurito significa che il libro non è attualmente disponibile in una qualsiasi delle piattaforme associate che di ricerca.

Dettagli del libro
Nonmonotonic Logic

This monograph provides a thorough analysis of two importantformalisms for nonmonotonic reasoning: default logic andmodal nonmonotonic logics. It is also shown how they arerelated to each other and how they provide the formalfoundations for logic programming. The discussion isrigorous, and all main results are formally proved. Many ofthe results are deep and surprising, some of them previouslyunpublished.The book has three parts, on default logic, modalnonmonotonic logics, and connections and complexity issues,respectively. The study of general default logic is followedby a discussion of normal default logic and its connectionsto the closed world assumption, and also a presentation ofrelated aspects of logic programming. The general theory ofthe family of modal nonmonotonic logics introduced byMcDermott and Doyle is followed by studies of autoepistemiclogic, the logic of reflexive knowledge, and the logic ofpure necessitation, and also a short discussion ofalgorithms for computing knowledge and belief sets. Thethird part explores connections between default logic andmodal nonmonotonic logics and contains results on thecomplexity of nonmonotonic reasoning.The ideas are presented with an elegance and unity ofperspective that set a new standard of scholarship for booksin this area, and the work indicates that the field hasreached a very high level of maturity and sophistication.The book is intended as a reference on default logic,nonmonotonic logics, and related computational issues, andis addressed to researchers, programmers, and graduatestudents in the Artificial Intelligence community.

Informazioni dettagliate del libro - Nonmonotonic Logic


EAN (ISBN-13): 9783540564485
ISBN (ISBN-10): 3540564489
Copertina rigida
Anno di pubblicazione: 1993
Editore: Springer-Verlag GmbH
417 Pagine
Peso: 0,818 kg
Lingua: Englisch

Libro nella banca dati dal 28.06.2007 07:44:19
libro trovato per l'ultima volta il16.01.2018 00:43:03
ISBN/EAN: 3540564489

ISBN - Stili di scrittura alternativi:
3-540-56448-9, 978-3-540-56448-5


< Per archiviare...
Libri correlati