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

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 t...

Full description

Bibliographic Details
Other Authors: Jantke, Klaus P. (Editor), Schmitt, Peter H. (Editor)
Format: eBook
Language:English
Published: Berlin, Heidelberg Springer Berlin Heidelberg 1991, 1991
Edition:1st ed. 1991
Series:Lecture Notes in Artificial Intelligence
Subjects:
Online Access:
Collection: Springer Book Archives -2004 - Collection details see MPG.ReNa
LEADER 02859nmm a2200337 u 4500
001 EB000654333
003 EBX01000000000000000507415
005 00000000000000.0
007 cr|||||||||||||||||||||
008 140122 ||| eng
020 |a 9783540384694 
100 1 |a Jantke, Klaus P.  |e [editor] 
245 0 0 |a Nonmonotonic and Inductive Logic  |h Elektronische Ressource  |b 1st International Workshop, Karlsruhe, Germany, December 4-7, 1990. Proceedings  |c edited by Klaus P. Jantke, Peter H. Schmitt 
250 |a 1st ed. 1991 
260 |a Berlin, Heidelberg  |b Springer Berlin Heidelberg  |c 1991, 1991 
300 |a X, 250 p  |b online resource 
505 0 |a 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? 
653 |a Computer Science Logic and Foundations of Programming 
653 |a Computer science 
653 |a Mathematical logic 
653 |a Artificial Intelligence 
653 |a Artificial intelligence 
653 |a Mathematical Logic and Foundations 
700 1 |a Schmitt, Peter H.  |e [editor] 
041 0 7 |a eng  |2 ISO 639-2 
989 |b SBA  |a Springer Book Archives -2004 
490 0 |a Lecture Notes in Artificial Intelligence 
028 5 0 |a 10.1007/BFb0023313 
856 4 0 |u https://doi.org/10.1007/BFb0023313?nosfx=y  |x Verlag  |3 Volltext 
082 0 |a 006.3 
520 |a 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