Nonmonotonic and Inductive Logic (Record no. 35401)

000 -LEADER
fixed length control field 03937nam a22005415i 4500
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
ISBN 9783540475576
-- 978-3-540-47557-6
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 006.3
245 10 - TITLE STATEMENT
Title Nonmonotonic and Inductive Logic
Sub Title Second International Workshop Reinhardsbrunn Castle, Germany December 2–6, 1991 Proceedings /
Statement of responsibility, etc edited by Gerhard Brewka, Klaus P. Jantke, Peter H. Schmitt.
260 #1 - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication Berlin, Heidelberg :
Name of publisher Springer Berlin Heidelberg,
Year of publication 1993.
300 ## - PHYSICAL DESCRIPTION
Number of Pages X, 338 p.
Other physical details online resource.
490 1# - SERIES STATEMENT
Series statement Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence,
505 0# - FORMATTED CONTENTS NOTE
Formatted contents note A tutorial on Nonmonotonic Reasoning -- On the sample complexity of various learning strategies in the probabilistic PAC learning paradigms -- More about learning elementary formal systems -- A polynomial time algorithm for finding finite unions of tree pattern languages -- Towards efficient inductive synthesis: Rapid construction of local regularities -- Deductive generalization in a default logic setting -- Deduction with supernormal defaults -- Multi-agent learning: Theoretical and empirical studies -- Predicate synthesis from formal specifications: Using mathematical induction for finding the preconditions of theorems -- Dual types of hypotheses in inductive inference -- All I know about Tweety -- Monotonic versus non-monotonic language learning -- Normal form results for default logic -- Retrieval in case-based reasoning using preferred subtheories -- Interactive synthesis of process flowcharts -- Probabilistic inference of approximations.
520 ## - SUMMARY, ETC.
Summary, etc 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.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical Term Computer science.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical Term Artificial intelligence.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical Term Logic, Symbolic and mathematical.
650 14 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical Term Computer Science.
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical Term Artificial Intelligence (incl. Robotics).
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical Term Mathematical Logic and Formal Languages.
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical Term Mathematical Logic and Foundations.
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Brewka, Gerhard.
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Jantke, Klaus P.
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Schmitt, Peter H.
856 40 - ELECTRONIC LOCATION AND ACCESS
Uniform Resource Identifier http://dx.doi.org/10.1007/BFb0030385
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Koha item type E-BOOKS
264 #1 -
-- Berlin, Heidelberg :
-- Springer Berlin Heidelberg,
-- 1993.
336 ## -
-- text
-- txt
-- rdacontent
337 ## -
-- computer
-- c
-- rdamedia
338 ## -
-- online resource
-- cr
-- rdacarrier
347 ## -
-- text file
-- PDF
-- rda
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE
-- 0302-9743 ;
Holdings
Withdrawn status Lost status Damaged status Not for loan Current library Accession Number Uniform Resource Identifier Koha item type
        IMSc Library EBK6107 http://dx.doi.org/10.1007/BFb0030385 E-BOOKS
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha