Nonmonotonic and Inductive Logic

This proceedings volume contains revised papers from the first International Workshop on Nonmonotonic and Inductive Logic. Topics covered include nonmonotonicity in logic programs, axiomatic approach to nonmonotonic reasoning, inductive inference, autoepistemic logic, and belief updates.

Inhalt
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?.