| Description |
1 online resource (x, 250 pages) |
| Series |
Lecture notes in computer science ; 543, 0302-9743 |
|
Lecture notes in computer science. Lecture notes in artificial intelligence ; 543.
|
| Contents |
Nonmonotonicity in logic programs ; Cumulative inference relations for JTMS and logic programming / Gerhard Brewka, David Makinson, Karl Schlechta -- Cumulativity and rationality in semantics of normal logic programs / Jürgen Dix -- Nonmonotonic reasoning and logic programs / Heinrich Herre -- Axiomatic approach to nonmonotonic reasoning ; Supracompact inference operations / Michael Freund -- Notions of nonmonotonic derivability / Gerhard Jäger -- Ranges of strong modal nonmonotonic logics / Wiktor Marek, Grigori F. Schwarz, Mirosław Truszczyński -- On generation of cumulative inference operators by default deduction rules / Helmut Thiele -- Qualitative magnitude reasoning / Emil Weydert -- Inductive inference ; Monotonic and non-monotonic inductive inference of functions and patterns / Klaus P. Jantke -- A note on polynomial-time inference of [italic] k-variable pattern languages / Steffen Lange -- A thesis in inductive inference / Rolf Wiehagen -- Inductive inference of optimal programs : a survey and open problems / Thomas Zeugmann -- Autoepistemic logic ; Autoepistemic expansions with incomplete belief introspection / Jürgen Kalinski-- Belief updates ; Is it impossible to keep up to date? / Michael Morreau and Hans Rott |
| Summary |
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 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 |
| Notes |
English |
| Subject |
Computer science.
|
|
Logic design.
|
|
Artificial intelligence.
|
|
Logic, Symbolic and mathematical.
|
|
Electronic data processing.
|
|
computer science.
|
|
data processing.
|
|
artificial intelligence.
|
|
Electronic data processing
|
|
Artificial intelligence
|
|
Computer science
|
|
Logic design
|
|
Logic, Symbolic and mathematical
|
| Form |
Electronic book
|
| Author |
Dix, J. (Jürgen), 1961- editor.
|
|
Jantke, K. P. (Klaus P.), editor.
|
|
Schmitt, P. H. (Peter H.), 1948- editor.
|
| ISBN |
9783540545644 |
|
3540545646 |
|
9783540384694 |
|
3540384693 |
|
