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.
Klaus P. Jantke
Belief Revision Inductive Logic Induktive Logik Konzeptuelles Lernen Nicht-monotone Logik Nicht-monotones Schließen Nonmonotonic Reasoning Variable concept Learning learning logic logic programming nonmonotonic reasoning semantics