Descripción del título
Nonmonotonic and Inductive ...
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
Monografía
monografia Rebiun17666683 https://catalogo.rebiun.org/rebiun/record/Rebiun17666683 m o d cr mnu---uuaaa 121227s1991 gw o 000 0 eng 9783540545644 3540545646 9783540384694 3540384693 UPVA 996968225903706 AU@. eng. AU@. OCLCO. OCLCA. UA@. OCLCQ. UV0. GW5XE. ITD. OCLCF. KIJ. ES-VaUB 006.3 23 Dix, J. Nonmonotonic and Inductive Logic Recurs electrònic] 1st International Workshop Karlsruhe, Germany, December 4-7, 1990 Proceedings edited by J. Dix, K.P. Jantke, P.H. Schmitt Berlin, Heidelberg Springer Berlin Heidelberg 1991 Berlin, Heidelberg Berlin, Heidelberg Springer Berlin Heidelberg 1 recurs electrònic (x, 250 pages) 1 recurs electrònic (x, 250 pages) Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence 0302-9743 543 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? Online full text is restricted to subscribers 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 Also available in print Mode of access: World Wide Web Computer science Logic design Artificial intelligence Logic, Symbolic and mathematical Artificial intelligence. fast Computer science. fast Logic design. fast Logic, Symbolic and mathematical. fast Llibres electrònics Jantke, K. P. Schmitt, P. H. Lecture notes in computer science. Lecture notes in artificial intelligence 543 SpringerLink eBooks