Nonmonotonic and inductive logic [electronic resource] : second international workshop, Reinhardsbrunn Castle, Germany, December 2-6, 1991 : proceedings / G. Brewka, K.P. Jantke, P.H. Schmitt (eds.)
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 nonmo...
Saved in:
| Online Access: |
Full Text (via Springer) |
|---|---|
| Corporate Author: | |
| Other Authors: | , , |
| Format: | Electronic Conference Proceeding eBook |
| Language: | English |
| Published: |
Berlin ; New York :
Springer-Verlag,
©1993.
|
| Series: | Lecture notes in computer science ;
659. Lecture notes in computer science. Lecture notes in artificial intelligence. |
| Subjects: |
MARC
| LEADER | 00000cam a2200000xa 4500 | ||
|---|---|---|---|
| 001 | b7986385 | ||
| 006 | m o d | ||
| 007 | cr ||||||||||| | ||
| 008 | 110316s1993 gw a ob 100 0 eng d | ||
| 005 | 20240418143733.4 | ||
| 019 | |a 150398440 |a 321345639 | ||
| 020 | |a 9783540475576 |q (electronic bk.) | ||
| 020 | |a 3540475575 |q (electronic bk.) | ||
| 020 | |z 3540564330 |q (Berlin ; |q acidfree paper) | ||
| 020 | |z 9783540564331 |q (Berlin ; |q acidfree paper) | ||
| 020 | |z 0387564330 |q (New York ; |q acidfree paper) | ||
| 020 | |z 9780387564333 |q (New York ; |q acidfree paper) | ||
| 035 | |a (OCoLC)spr707591668 | ||
| 035 | |a (OCoLC)707591668 |z (OCoLC)150398440 |z (OCoLC)321345639 | ||
| 037 | |a spr10.1007/BFb0030385 | ||
| 040 | |a OCLCE |b eng |e pn |c OCLCE |d OCLCQ |d OCLCO |d OCLCQ |d NLGGC |d CUSER |d C$Q |d OCLCQ |d GW5XE |d OCLCA |d OCLCF |d GW5XE |d OCLCQ |d ITD |d OCLCO |d OCL |d OCLCO |d OCLCQ | ||
| 042 | |a dlr | ||
| 049 | |a GWRE | ||
| 050 | 4 | |a QA76.63 |b .N67 1993 | |
| 245 | 0 | 0 | |a Nonmonotonic and inductive logic |h [electronic resource] : |b second international workshop, Reinhardsbrunn Castle, Germany, December 2-6, 1991 : proceedings / |c G. Brewka, K.P. Jantke, P.H. Schmitt (eds.) |
| 260 | |a Berlin ; |a New York : |b Springer-Verlag, |c ©1993. | ||
| 300 | |a 1 online resource (viii, 332 pages) : |b illustrations. | ||
| 336 | |a text |b txt |2 rdacontent. | ||
| 337 | |a computer |b c |2 rdamedia. | ||
| 338 | |a online resource |b cr |2 rdacarrier. | ||
| 490 | 1 | |a Lecture notes in computer science, |x 0302-9743 ; |v 659. |a Lecture notes in artificial intelligence. | |
| 500 | |a Proceedings of revised and extended papers presented at the second International Workshop on Nonmonotonic and Inductive Logic, NIL '91, which took place at Reinhardsbrunn Castle, Dec. 2-6, 1991. | ||
| 504 | |a Includes bibliographical references. | ||
| 505 | 0 | |a 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. | |
| 520 | |a 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. | ||
| 588 | 0 | |a Online resource; title from PDF title page (SpringerLink, viewed Nov. 1, 2013) | |
| 650 | 0 | |a Logic programming |v Congresses. |0 http://id.loc.gov/authorities/subjects/sh2008107111. | |
| 650 | 0 | |a Artificial intelligence |v Congresses. |0 http://id.loc.gov/authorities/subjects/sh2007101476. | |
| 650 | 7 | |a Artificial intelligence. |2 fast |0 (OCoLC)fst00817247. | |
| 650 | 7 | |a Logic programming. |2 fast |0 (OCoLC)fst01002056. | |
| 655 | 7 | |a Conference papers and proceedings. |2 fast |0 (OCoLC)fst01423772. | |
| 700 | 1 | |a Brewka, Gerhard. |0 http://id.loc.gov/authorities/names/n91038978 |1 http://isni.org/isni/0000000081513473. | |
| 700 | 1 | |a Janke, K. P. |q (Klaus P.) | |
| 700 | 1 | |a Schmitt, P. H. |q (Peter H.), |d 1948- |0 http://id.loc.gov/authorities/names/n91083199 |1 http://isni.org/isni/000000010882036X. | |
| 711 | 2 | |a International Workshop on Nonmonotonic and Inductive Logic, NIL '91 |n (2nd : |d 1991 : |c Reinhardsbrunn Castle) | |
| 776 | 0 | 8 | |i Print version: |t Nonmonotonic and inductive logic. |d Berlin ; New York : Springer-Verlag, ©1993 |w (DLC) 92046636 |w (OCoLC)27186539. |
| 830 | 0 | |a Lecture notes in computer science ; |v 659. |0 http://id.loc.gov/authorities/names/n42015162. | |
| 830 | 0 | |a Lecture notes in computer science. |p Lecture notes in artificial intelligence. |0 http://id.loc.gov/authorities/names/n86736436. | |
| 856 | 4 | 0 | |u https://colorado.idm.oclc.org/login?url=http://link.springer.com/10.1007/BFb0030385 |z Full Text (via Springer) |
| 907 | |a .b79863851 |b 05-04-22 |c 06-01-15 | ||
| 998 | |a web |b 05-01-17 |c g |d b |e - |f eng |g gw |h 0 |i 1 | ||
| 907 | |a .b79863851 |b 07-02-19 |c 06-01-15 | ||
| 944 | |a MARS - RDA ENRICHED | ||
| 907 | |a .b79863851 |b 07-06-17 |c 06-01-15 | ||
| 907 | |a .b79863851 |b 05-23-17 |c 06-01-15 | ||
| 915 | |a I | ||
| 956 | |a Springer e-books | ||
| 956 | |b Springer Nature - Springer Book Archive - Springer Computer Science | ||
| 956 | |a Computer Science | ||
| 956 | |a Springer e-books: Archive | ||
| 999 | f | f | |i eaf9c2fe-6f8d-5530-a409-9290d8a8c4b5 |s e8fe8c05-864d-5ab6-98d7-46d7d5e87185 |
| 952 | f | f | |p Can circulate |a University of Colorado Boulder |b Online |c Online |d Online |e QA76.63 .N67 1993 |h Library of Congress classification |i Ebooks, Prospector |n 1 |