Nonmonotonic and Inductive Logic: 1st International Workshop, Karlsruhe, Germany, December 4-7, 1990. Proceedings

Front Cover
Klaus P. Jantke, Peter H. Schmitt
Springer Science & Business Media, Sep 18, 1991 - Computers - 250 pages
0 Reviews
This proceedings volume contains revised and reviewed papers based on talks presented at the first International Workshop on Nonmonotonic and Inductive Logic held in Karlsruhe, December 1990. The workshop was supported by the Volkswagen-Stiftung, Hannover, and provided a forum for researchers from the two fields to communicate and find areas of cooperation. The papersare organized into sections on: - Nonmonotonicity in logic programs - Axiomatic approach to nonmonotonic reasoning - Inductive inference - Autoepistemic logic - Belief updates The bulk of the papers are devoted to nonmonotonic logic and provide an up-to-date view of the current state of research presented by leading experts in the field. A novelty in the contributions from the area of inductive logic is the analysis of nonmonotonicity in the theory of inductive learning.
 

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

Cumulative Inference Relations for JTMS and Logic Programming
1
Cumulativity and Rationality in Semantics of Normal Logic Programs
13
Nonmonotonic Reasoning and Logic Programs
38
Supracompact Inference Operations
59
Notions of nonmonotonic derivability
74
Ranges of strong modal nonmonotonic logics
85
On Generation of Cumulative Inference Operators By Default Deduction Rules
100
Qualitative Magnitude Reasoning
138
Monotonic and NonMonotonic Inductive Inference of Functions and Patterns
161
Pattern Languages
178
A Thesis in Inductive Inference
184
Inductive Inference of Optimal Programs A Survey and Open Problems
208
Autoepistemic Expansions With Incomplete Belief Introspection
223
Is it Impossible to Keep Up to Date?
233
Copyright

Other editions - View all

Common terms and phrases

About the author (1991)

JA1/4rgen Dix is Associate Professor of Computer Science at The University of Manchester, England.

Bibliographic information