Matches in Harvard for { <http://id.lib.harvard.edu/aleph/003098921/catalog> ?p ?o. }
Showing items 1 to 33 of
33
with 100 items per page.
- catalog abstract ""This proceedings volume contains a selection of revised and extended papers presented at the Second International Workshop on Nonmonotonic and InductiveLogic, NIL '91, which took place at Reinhardsbrunn Castle, December 2-6, 1991. The volume opens with an extended version of a tutorial on nonmonotonic logic by G. Brewka, J. Dix, and K. Konolige. Fifteen selected papers follow, on a variety of topics. The majority of papers belong either to the area of nonmonotonic reasoning or to the field of inductive inference, but some papers integrate research from both areas. The first workshop in this series was held at the University of Karlsruhe in December 1990 and its proceedings were published as Lecture Notes in Artificial Intelligence Volume 543. The series of workshops was made possible by financial support from Volkswagen Stiftung, Hannover. This workshop was also supported by IBM Deutschland GmbH and Siemens AG."--PUBLISHER'S WEBSITE.".
- catalog contributor b4504199.
- catalog contributor b4504200.
- catalog contributor b4504201.
- catalog contributor b4504202.
- catalog contributor b4504203.
- catalog created "c1992.".
- catalog date "1993".
- catalog date "c1992.".
- catalog dateCopyrighted "c1992.".
- catalog description ""This proceedings volume contains a selection of revised and extended papers presented at the Second International Workshop on Nonmonotonic and InductiveLogic, NIL '91, which took place at Reinhardsbrunn Castle, December 2-6, 1991. The volume opens with an extended version of a tutorial on nonmonotonic logic by G. Brewka, J. Dix, and K. Konolige. Fifteen selected papers follow, on a variety of topics. The majority of papers belong either to the area of nonmonotonic reasoning or to the field of inductive inference, but some papers integrate research from both areas. The first workshop in this series was held at the University of Karlsruhe in December 1990 and its proceedings were published as Lecture Notes in Artificial Intelligence Volume 543. The series of workshops was made possible by financial support from Volkswagen Stiftung, Hannover. This workshop was also supported by IBM Deutschland GmbH and Siemens AG."--PUBLISHER'S WEBSITE.".
- catalog description "A tutorial on nonmonotonic reasoning / Gerd Brewka, Jurgen Dix, Kurt Konolige -- On the sample complexity of various learning strategies in the probabilistic PAC learning paradigms / Naoki Abe -- More about learning elementary formal systems / Setsuo Arikawa [and others] -- A polynomial time algorithm for finding finite unions of tree pattern languages / Hiroki Arimura, Takeshi Shinohara, Setsuko Otsuki -- Towards efficient inductive synthesis: rapid construction of local regularities / Janis Barzdins, Guntis Barzdins -- Deductive generalization in a default logic setting / Ph. Besnard, E. Gregoire -- Deduction with supernormal defaults / Stefan Brass -- Multi-agent learning: theoretical and empirical studies / Robert Daley -- Predicate synthesis from formal specifications: using mathematical induction for finding the preconditions of theorems / Marta Franova, Yves Kodratoff -- Dual types of hypotheses in inductive inference / Rusins Freivalds, Efim B. Kinber, Rolf Wiehagen -- All I know about Tweety / Gerhard Lakemeyer -- Monotonic versus nonmonotonic language learning / Steffen Lange, Thomas Zeugmann -- Normal form results for default logic / V. Wiktor Marek, Miroslaw Truszczynski -- Retrieval in case-based reasoning using preferred subtheories / Michael Mehl -- Interactive synthesis of process flowcharts / Yuji Takada -- Probabilistic inference of approximations / Juris Viksna.".
- catalog description "Includes bibliographical references.".
- catalog extent "332 p. :".
- catalog hasFormat "Nonmonotonic and inductive logic.".
- catalog identifier "3540564330 (alk. paper)".
- catalog isFormatOf "Nonmonotonic and inductive logic.".
- catalog isPartOf "Lecture notes in computer science ; 659. Lecture notes in artificial intelligence".
- catalog isPartOf "Lecture notes in computer science ; 659.".
- catalog isPartOf "Lecture notes in computer science. Lecture notes in artificial intelligence.".
- catalog issued "1993".
- catalog issued "c1992.".
- catalog language "eng".
- catalog publisher "Berlin ; New York : Springer-Verlag,".
- catalog relation "Nonmonotonic and inductive logic.".
- catalog subject "006.3 20".
- catalog subject "Artificial intelligence Congresses.".
- catalog subject "Logic programming Congresses.".
- catalog subject "QA76.63 .N67 1992".
- catalog tableOfContents "A tutorial on nonmonotonic reasoning / Gerd Brewka, Jurgen Dix, Kurt Konolige -- On the sample complexity of various learning strategies in the probabilistic PAC learning paradigms / Naoki Abe -- More about learning elementary formal systems / Setsuo Arikawa [and others] -- A polynomial time algorithm for finding finite unions of tree pattern languages / Hiroki Arimura, Takeshi Shinohara, Setsuko Otsuki -- Towards efficient inductive synthesis: rapid construction of local regularities / Janis Barzdins, Guntis Barzdins -- Deductive generalization in a default logic setting / Ph. Besnard, E. Gregoire -- Deduction with supernormal defaults / Stefan Brass -- Multi-agent learning: theoretical and empirical studies / Robert Daley -- Predicate synthesis from formal specifications: using mathematical induction for finding the preconditions of theorems / Marta Franova, Yves Kodratoff -- Dual types of hypotheses in inductive inference / Rusins Freivalds, Efim B. Kinber, Rolf Wiehagen -- All I know about Tweety / Gerhard Lakemeyer -- Monotonic versus nonmonotonic language learning / Steffen Lange, Thomas Zeugmann -- Normal form results for default logic / V. Wiktor Marek, Miroslaw Truszczynski -- Retrieval in case-based reasoning using preferred subtheories / Michael Mehl -- Interactive synthesis of process flowcharts / Yuji Takada -- Probabilistic inference of approximations / Juris Viksna.".
- catalog title "Nonmonotonic and inductive logic: second international workshop, Reinhardsbrunn Castle, Germany, December 2-6, 1991 : proceedings / G. Brewka, K.P. Jantke, P.H. Schmitt.".
- catalog type "Conference proceedings. fast".
- catalog type "text".