skip to content
Nonmonotonic and Inductive Logic : 1st International Workshop Karlsruhe, Germany, December 4-7, 1990 Proceedings Preview this item
ClosePreview this item
Checking...

Nonmonotonic and Inductive Logic : 1st International Workshop Karlsruhe, Germany, December 4-7, 1990 Proceedings

Author: J Dix; K P Jantke; P H Schmitt
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1991.
Series: Lecture notes in computer science., Lecture notes in artificial intelligence ;, 543.
Edition/Format:   eBook : Document : EnglishView all editions and formats
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 papersare organized into sections on: - Nonmonotonicity  Read more...
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Electronic books
Additional Physical Format: Printed edition
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: J Dix; K P Jantke; P H Schmitt
ISBN: 9783540545644 3540545646 9783540384694 3540384693
OCLC Number: 851800466
Language Note: English.
Description: 1 online resource (x, 250 pages).
Contents: 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?
Series Title: Lecture notes in computer science., Lecture notes in artificial intelligence ;, 543.
Responsibility: edited by J. Dix, K.P. Jantke, P.H. Schmitt.

Abstract:

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.

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/851800466> # Nonmonotonic and Inductive Logic : 1st International Workshop Karlsruhe, Germany, December 4-7, 1990 Proceedings
    a schema:Book, schema:MediaObject, schema:CreativeWork ;
   library:oclcnum "851800466" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/873021921#Place/berlin_heidelberg> ; # Berlin, Heidelberg
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
   schema:about <http://id.worldcat.org/fast/872451> ; # Computer science
   schema:about <http://id.worldcat.org/fast/817247> ; # Artificial intelligence
   schema:about <http://id.worldcat.org/fast/1002045> ; # Logic design
   schema:about <http://dewey.info/class/006.3/e23/> ;
   schema:about <http://id.worldcat.org/fast/1002068> ; # Logic, Symbolic and mathematical
   schema:bookFormat schema:EBook ;
   schema:contributor <http://viaf.org/viaf/27167817> ; # P. H. Schmitt
   schema:contributor <http://experiment.worldcat.org/entity/work/data/873021921#Person/jantke_k_p> ; # K. P. Jantke
   schema:creator <http://viaf.org/viaf/112026597> ; # J. Dix
   schema:datePublished "1991" ;
   schema:description "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?"@en ;
   schema:description "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."@en ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/873021921> ;
   schema:genre "Electronic books"@en ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://worldcat.org/issn/0302-9743> ; # Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence,
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/873021921#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science.
   schema:isSimilarTo <http://worldcat.org/entity/work/data/873021921#CreativeWork/> ;
   schema:name "Nonmonotonic and Inductive Logic : 1st International Workshop Karlsruhe, Germany, December 4-7, 1990 Proceedings"@en ;
   schema:productID "851800466" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/851800466#PublicationEvent/berlin_heidelberg_springer_berlin_heidelberg_1991> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/873021921#Agent/springer_berlin_heidelberg> ; # Springer Berlin Heidelberg
   schema:url <http://dx.doi.org/10.1007/BFb0023313> ;
   schema:url <http://link.springer.com/10.1007/BFb0023313> ;
   schema:workExample <http://worldcat.org/isbn/9783540384694> ;
   schema:workExample <http://worldcat.org/isbn/9783540545644> ;
   schema:workExample <http://dx.doi.org/10.1007/BFb0023313> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/851800466> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/873021921#Agent/springer_berlin_heidelberg> # Springer Berlin Heidelberg
    a bgn:Agent ;
   schema:name "Springer Berlin Heidelberg" ;
    .

<http://experiment.worldcat.org/entity/work/data/873021921#Person/jantke_k_p> # K. P. Jantke
    a schema:Person ;
   schema:familyName "Jantke" ;
   schema:givenName "K. P." ;
   schema:name "K. P. Jantke" ;
    .

<http://experiment.worldcat.org/entity/work/data/873021921#Place/berlin_heidelberg> # Berlin, Heidelberg
    a schema:Place ;
   schema:name "Berlin, Heidelberg" ;
    .

<http://experiment.worldcat.org/entity/work/data/873021921#Series/lecture_notes_in_computer_science> # Lecture notes in computer science.
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/851800466> ; # Nonmonotonic and Inductive Logic : 1st International Workshop Karlsruhe, Germany, December 4-7, 1990 Proceedings
   schema:name "Lecture notes in computer science." ;
    .

<http://id.worldcat.org/fast/1002045> # Logic design
    a schema:Intangible ;
   schema:name "Logic design"@en ;
    .

<http://id.worldcat.org/fast/1002068> # Logic, Symbolic and mathematical
    a schema:Intangible ;
   schema:name "Logic, Symbolic and mathematical"@en ;
    .

<http://id.worldcat.org/fast/817247> # Artificial intelligence
    a schema:Intangible ;
   schema:name "Artificial intelligence"@en ;
    .

<http://id.worldcat.org/fast/872451> # Computer science
    a schema:Intangible ;
   schema:name "Computer science"@en ;
    .

<http://viaf.org/viaf/112026597> # J. Dix
    a schema:Person ;
   schema:familyName "Dix" ;
   schema:givenName "J." ;
   schema:name "J. Dix" ;
    .

<http://viaf.org/viaf/27167817> # P. H. Schmitt
    a schema:Person ;
   schema:familyName "Schmitt" ;
   schema:givenName "P. H." ;
   schema:name "P. H. Schmitt" ;
    .

<http://worldcat.org/entity/work/data/873021921#CreativeWork/>
    a schema:CreativeWork ;
   schema:description "Printed edition" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/851800466> ; # Nonmonotonic and Inductive Logic : 1st International Workshop Karlsruhe, Germany, December 4-7, 1990 Proceedings
    .

<http://worldcat.org/isbn/9783540384694>
    a schema:ProductModel ;
   schema:isbn "3540384693" ;
   schema:isbn "9783540384694" ;
    .

<http://worldcat.org/isbn/9783540545644>
    a schema:ProductModel ;
   schema:isbn "3540545646" ;
   schema:isbn "9783540545644" ;
    .

<http://worldcat.org/issn/0302-9743> # Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence,
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/851800466> ; # Nonmonotonic and Inductive Logic : 1st International Workshop Karlsruhe, Germany, December 4-7, 1990 Proceedings
   schema:issn "0302-9743" ;
   schema:name "Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence," ;
    .

<http://www.worldcat.org/title/-/oclc/851800466>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/851800466> ; # Nonmonotonic and Inductive Logic : 1st International Workshop Karlsruhe, Germany, December 4-7, 1990 Proceedings
   schema:dateModified "2017-10-21" ;
   void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.