Miroslaw Truszczynski – författare
Visar alla böcker från författaren Miroslaw Truszczynski. Handla med fri frakt och snabb leverans.
9 produkter
9 produkter
Häftad, Engelska, 2011
251 kr
Skickas inom 5-8 vardagar
Del 9060 - Lecture Notes in Computer Science
Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation
Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday
Häftad, Engelska, 2015
566 kr
Skickas inom 10-15 vardagar
This Festschrift is published in honor of Gerhard Brewka on the occasion of his 60th birthday and contains articles from fields reflecting the breadth of Gerd's work. The 24 scientific papers included in the book are written by close friends and colleagues and cover topics such as Actions and Agents, Nonmonotonic and Human Reasoning, Preferences and Argumentation.
E-bok
PDF, Engelska, 2015714 kr
Läs direkt efter köp
This Festschrift is published in honor of Gerhard Brewka on the occasion of his 60th birthday and contains articles from fields reflecting the breadth of Gerd''s work. The 24 scientific papers included in the book are written by close friends and colleagues and cover topics such as Actions and Agents, Nonmonotonic and Human Reasoning, Preferences and Argumentation.
Del 9345 - Lecture Notes in Computer Science
Logic Programming and Nonmonotonic Reasoning
13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings
Häftad, Engelska, 2015
566 kr
Skickas inom 10-15 vardagar
This volume contains the refereed proceedings of the 13th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2015, held in September 2015 in Lexington, KY, USA. The 290long and 11 short papers presented together with 3 invited talks, the paper reporting on the Answer Set Programming competition, and four papers presented by LPNMR student attendees at the doctoral consortium were carefully reviewed and selected from 60 submissions. LPNMR is a forum for exchanging ideas on declarative logic programming, nonmonotonic reasoning, and knowledge representation. The aim of the LPNMR conferences is to facilitate interactions between researchers interested in the design and implementation of logic-based programming languages and database systems, and researchers who work in the areas of knowledge representation and nonmonotonic reasoning.
E-bok
PDF, Engelska, 2015687 kr
Läs direkt efter köp
This volume contains the refereed proceedings of the 13th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2015, held in September 2015 in Lexington, KY, USA. The 290long and 11 short papers presented together with 3 invited talks, the paper reporting on the Answer Set Programming competition, and four papers presented by LPNMR student attendees at the doctoral consortium were carefully reviewed and selected from 60 submissions. LPNMR is a forum for exchanging ideas on declarative logic programming, nonmonotonic reasoning, and knowledge representation. The aim of the LPNMR conferences is to facilitate interactions between researchers interested in the design and implementation of logic-based programming languages and database systems, and researchers who work in the areas of knowledge representation and nonmonotonic reasoning.
Inbunden, Engelska, 1993
1 634 kr
Skickas inom 10-15 vardagar
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 .........
566 kr
Skickas inom 10-15 vardagar
This book constitutes the thoroughly revised and refereed post-workshop documentation of two international workshops held in conjunction with the Pacific Rim International Conference on Artificial Intelligence, PRICAI'96, in Cairns, Australia, in August 1996.The volume presents 14 revised full papers togehter with two invited contributions and two introductory surveys particularly commissioned for this book. Among the topics addressed are computational learning, commonsense reasoning, constraint logic programming, fuzzy reasoning, vague data, inductive inference, belief revision, action theory, uncertainty, and probabilistic diagnosis.
E-bok
PDF, Engelska, 20131 995 kr
Läs direkt efter köp
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 .........
Häftad, Engelska, 2012
1 742 kr
Skickas inom 10-15 vardagar
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 .........