Nonmonotonic and Inductive Logic, Klaus P. Jantke; Peter H. Schmitt

Автор: Esra Erdem; Fangzhen Lin; Torsten Schaub
Название: Logic Programming and Nonmonotonic Reasoning
ISBN: 3642042376 ISBN-13(EAN): 9783642042379
Издательство: Springer
Рейтинг:
Цена: 16769.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This volume contains the proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2009), held during September 14-18, 2009 in Potsdam, Germany.

Автор: Alexander Bochman
Название: A Logical Theory of Nonmonotonic Inference and Belief Change
ISBN: 3642075169 ISBN-13(EAN): 9783642075162
Издательство: Springer
Рейтинг:
Цена: 21661.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This is the first book that integrates nonmonotonic reasoning and belief change into a single framework from an artificial intelligence logic point-of-view. The approach to both these subjects is based on a powerful notion of an epistemic state that subsumes both existing models for nonmonotonic inference and current models for belief change.

Автор: Inoue
Название: Inductive Logic Programming
ISBN: 3319405659 ISBN-13(EAN): 9783319405650
Издательство: Springer
Рейтинг:
Цена: 6988.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the thoroughly refereed post-conference proceedings of the 25th International Conference on Inductive Logic Programming, ILP 2015, held in Kyoto, Japan, in August 2015.The 14 revised papers presented were carefully reviewed and selected from 44 submissions. The papers focus on topics such as theories, algorithms, representations and languages, systems and applications of ILP, and cover all areas of learning in logic, relational learning, relational data mining, statistical relational learning, multi-relational data mining, relational reinforcement learning, graph mining, connections with other learning paradigms, among others.

Автор: Gerson Zaverucha; V?tor Santos Costa; Aline Paes
Название: Inductive Logic Programming
ISBN: 3662449226 ISBN-13(EAN): 9783662449226
Издательство: Springer
Рейтинг:
Цена: 5590.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The conference now focuses on all aspects of learning in logic, multi-relational learning and data mining, statistical relational learning, graph and tree mining, relational reinforcement learning, and other forms of learning from structured data.

Автор: Sa?o D?eroski; Bart Goethals; Pan?e Panov
Название: Inductive Databases and Constraint-Based Data Mining
ISBN: 1489982175 ISBN-13(EAN): 9781489982179
Издательство: Springer
Рейтинг:
Цена: 19564.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book is about inductive databases and constraint-based data mining, emerging research topics lying at the intersection of data mining and database research. The aim of the book as to provide an overview of the state-of- the art in this novel and - citing research area. Of special interest are the recent methods for constraint-based mining of global models for prediction and clustering, the uni?cation of pattern mining approaches through constraint programming, the clari?cation of the re- tionship between mining local patterns and global models, and the proposed in- grative frameworks and approaches for inducive databases. On the application side, applications to practically relevant problems from bioinformatics are presented. Inductive databases (IDBs) represent a database view on data mining and kno- edge discovery. IDBs contain not only data, but also generalizations (patterns and models) valid in the data. In an IDB, ordinary queries can be used to access and - nipulate data, while inductive queries can be used to generate (mine), manipulate, and apply patterns and models. In the IDB framework, patterns and models become ”?rst-class citizens” and KDD becomes an extended querying process in which both the data and the patterns/models that hold in the data are queried.

Автор: D. Paul Benjamin
Название: Change of Representation and Inductive Bias
ISBN: 0792390555 ISBN-13(EAN): 9780792390558
Издательство: Springer
Рейтинг:
Цена: 25149.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Change of Representation and Inductive Bias One of the most important emerging concerns of machine learning researchers is the dependence of their learning programs on the underlying representations, especially on the languages used to describe hypotheses.

Автор: V. Wiktor Marek; Anil Nerode; Miroslaw Truszcynski
Название: Logic Programming and Nonmonotonic Reasoning
ISBN: 3540594876 ISBN-13(EAN): 9783540594871
Издательство: Springer
Рейтинг:
Цена: 10480.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This volume contains the revised refereed papers accepted for the presentation at the Third International Conference on Logic Programming and Nonmonotonic Reasoning. The 28 papers presented define the state of the art in this interdisciplinary area of research.

Автор: Marcello Balduccini; Tomi Janhunen
Название: Logic Programming and Nonmonotonic Reasoning
ISBN: 3319616595 ISBN-13(EAN): 9783319616599
Издательство: Springer
Рейтинг:
Цена: 9083.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 14th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2017, held in Espoo, Finland, in July 2017. The 16 full papers and 11 short papers presented in this volume were carefully reviewed and selected from 47 submissions.

Автор: Pedro Cabalar; Tran Cao Son
Название: Logic Programming and Nonmonotonic Reasoning
ISBN: 3642405630 ISBN-13(EAN): 9783642405631
Издательство: Springer
Рейтинг:
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The 34 revised full papers (22 technical papers, 9 application description, and 3 system descriptions) and 19 short papers (11 technical papers, 3 application descriptions, and 5 system descriptions) presented together with 2 invited talks, were carefully reviewed and selected from 91 submissions.

Автор: R. Reiter; V. Wiktor Marek; Miroslaw Truszczynski
Название: Nonmonotonic Logic
ISBN: 3662029081 ISBN-13(EAN): 9783662029084
Издательство: Springer
Рейтинг:
Цена: 22359.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 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.

Автор: Dov M. Gabbay; Karl Schlechta
Название: A New Perspective on Nonmonotonic Logics
ISBN: 3319468154 ISBN-13(EAN): 9783319468150
Издательство: Springer
Рейтинг:
Цена: 15372.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: In this book the authors present new results on interpolation for nonmonotonic logics, abstract (function) independence, the Talmudic Kal Vachomer rule, and an equational solution of contrary-to-duty obligations. The chapter on formal construction is the conceptual core of the book, where the authors combine the ideas of several types of nonmonotonic logics and their analysis of 'natural' concepts into a formal logic, a special preferential construction that combines formal clarity with the intuitive advantages of Reiter defaults, defeasible inheritance, theory revision, and epistemic considerations.It is suitable for researchers in the area of computer science and mathematical logic.

Автор: Brewka
Название: Nonmonotonic Reasoning
ISBN: 0521383943 ISBN-13(EAN): 9780521383943
Издательство: Cambridge Academ
Рейтинг:
Цена: 10771.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This 1991 book gives an overview of different areas of research in nonmonotonic reasoning. The guiding principles are: clarification of the different research activities in the area and appreciation of the fact that these research activities often represent different means to the same ends, namely sound theoretical foundations and efficient computation.