Sökt på: gerhard brewka
totalt 13 träffar
Nonmonotonic Reasoning
Nonmonotonic reasoning in its broadest sense is reasoning to conclusions on the basis of incomplete information. Given more information, previously drawn inferences may be …
Nonmonotonic Reasoning. Essays Celebrating Its 30th Anniversary
KI 2001: Advances in Artificial Intelligence
This book constitutes the refereed proceedings of the Joint German/Austrian Conference on Artificial Intelligence, KI 2001, held in Vienna, Austria in September 2001. The 29 …
Computational Models of Rationality. Essays Dedicated to Gabriele Kern-Isberner on the occasion of her 60th birthday
Logic Programming and Nonmonotonic Reasoning
This book constitutes the refereed proceedings of the 9th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2007, held in Tempe, AZ, USA, May 2007. …
Logic Programming and Nonmonotonic Reasoning
This book constitutes the refereed proceedings of the 9th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2007, held in Tempe, AZ, USA, May 2007. …
Nonmonotonic Reasoning
In this 1991 book the author gives a broad overview of different areas of research in nonmonotonic reasoning, and presents some results and ideas based on his research. The guiding …
Principles of Knowledge Representation
The book contains a collection of eight survey papers written by some of the best researchers in foundations of knowledge representation and reasoning. It covers topics like …
Logics in Artificial Intelligence
Logics have, for many years, laid claim to providing a formal basis for the study of arti?cial intelligence. With the depth and maturity of methodologies, formalisms, procedures, …
KI 2001: Advances in Artificial Intelligence
This volume contains the contributions to the Joint German/Austrian Con- rence on Arti?cial Intelligence, KI 2001, which comprises the 24th German and the 9th Austrian Conference …
KI-97: Advances in Artificial Intelligence
This book constitutes the refereed proceedings of the 21st Annual German Conference on Artificial Intelligence, KI-97, held in Freiburg, Germany, in September 1997.The volume …
Nonmonotonic and Inductive Logic
This proceedings volume contains a selection of revised andextended papers presented at the Second InternationalWorkshop on Nonmonotonic and InductiveLogic, NIL '91, whichtook …