Cantitate/Preț
Produs

Nonmonotonic and Inductive Logic: 1st International Workshop, Karlsruhe, Germany, December 4-7, 1990. Proceedings: Lecture Notes in Computer Science, cartea 543

Editat de Klaus P. Jantke, Peter H. Schmitt
en Limba Engleză Paperback – 18 sep 1991
This proceedings volume contains revised and reviewed papersbased on talks presented at the first International Workshopon Nonmonotonic and Inductive Logic held in Karlsruhe,December 1990. The workshop was supported by theVolkswagen-Stiftung, Hannover, and provided a forum forresearchers from the two fields to communicate and findareas of cooperation. The papersare organized into sectionson:- Nonmonotonicity in logic programs- Axiomatic approach to nonmonotonic reasoning- Inductive inference- Autoepistemic logic- Belief updatesThe bulk of the papers are devoted to nonmonotonic logic andprovide an up-to-date view of the current state of researchpresented by leading experts in the field. A novelty in thecontributions from the area of inductive logic is theanalysis of nonmonotonicity in the theory of inductivelearning.
Citește tot Restrânge

Din seria Lecture Notes in Computer Science

Preț: 32503 lei

Preț vechi: 40629 lei
-20% Nou

Puncte Express: 488

Preț estimativ în valută:
6220 6480$ 5172£

Carte tipărită la comandă

Livrare economică 08-22 februarie 25

Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783540545644
ISBN-10: 3540545646
Pagini: 260
Ilustrații: X, 250 p.
Dimensiuni: 155 x 235 x 14 mm
Greutate: 0.37 kg
Ediția:1991
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seriile Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence

Locul publicării:Berlin, Heidelberg, Germany

Public țintă

Research

Cuprins

Cumulative inference relations for JTMS and logic programming.- Cumulativity and rationality in semantics of normal logic programs.- Nonmonotonic reasoning and logic programs.- Supracompact inference operations.- Notions of nonmonotonic derivability.- Ranges of strong modal nonmonotonic logics.- On generation of cumulative inference operators by default deduction rules.- Qualitative magnitude reasoning.- Monotonic and non-monotonic inductive inference of functions and patterns.- A note on polynomial-time inference of k-variable pattern languages.- A thesis in inductive inference.- Inductive inference of optimal programs a survey and open problems.- Autoepistemic expansions with incomplete belief introspection.- Is it impossible to keep up to date?.