skip to content
Nonclassical logics and information processing : International Workshop, Berlin, Germany, November 9-10, 1990 : proceedings Preview this item
ClosePreview this item
Checking...

Nonclassical logics and information processing : International Workshop, Berlin, Germany, November 9-10, 1990 : proceedings

Author: David A Pearce; H Wansing
Publisher: Berlin ; New York : Springer-Verlag, ©1992.
Series: Lecture notes in computer science, 619.; Lecture notes in computer science., Lecture notes in artificial intelligence.
Edition/Format:   Print book : Conference publication : EnglishView all editions and formats
Summary:

This volume comprises the proceedings of the FirstAll-Berlin Workshop on Nonclassical Logics and InformationProcessing, held at the Free University of Berlin, November9-10, 1990.

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: Conference papers and proceedings
Congresses
Material Type: Conference publication, Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: David A Pearce; H Wansing
ISBN: 3540557458 9783540557456 0387557458 9780387557458
OCLC Number: 238785056
Notes: "This volume comprises the proceedings of the First All-Berlin Workshop on Nonclassical Logics and Information Processing which was held at the Freie Universität on the first anniversary of the opening of the Berlin Wall, 9-10 November, 1990"--Preface.
Description: 171 pages ; 25 cm.
Contents: Algebraic aspects of the relational knowledge representation: Modal relation algebras.- A logic for memory.- Actions with preconditions and postconditions.- Testclasses and closed world assumptions for non-horn theories.- Reasoning with negative information, II: Hard negation, strong negation and logic programs.- Lindenbaum-algebraic semantics of logic programs.- Conditional logics and cumulative logics.- Semantics of nonmonotonic reasoning in logic programming.- Formulas-as-types for a hierarchy of sublogics of intuitionistic propositional logic.- Cut-elimination in logics with definitional reflection.
Series Title: Lecture notes in computer science, 619.; Lecture notes in computer science., Lecture notes in artificial intelligence.
Responsibility: D. Pearce, H. Wansing, eds.
More information:

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/238785056> # Nonclassical logics and information processing : International Workshop, Berlin, Germany, November 9-10, 1990 : proceedings
    a schema:CreativeWork, schema:Book ;
   library:oclcnum "238785056" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
   library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/352218779#Place/berlin> ; # Berlin
   schema:about <http://experiment.worldcat.org/entity/work/data/352218779#Topic/modallogik> ; # Modallogik
   schema:about <http://id.worldcat.org/fast/1002056> ; # Logic programming
   schema:about <http://id.worldcat.org/fast/1038606> ; # Nonclassical mathematical logic
   schema:about <http://experiment.worldcat.org/entity/work/data/352218779#Topic/beweistheorie> ; # Beweistheorie
   schema:about <http://experiment.worldcat.org/entity/work/data/352218779#Topic/logic_programming> ; # Logic programming
   schema:about <http://id.loc.gov/authorities/subjects/sh85092240> ; # Nonclassical mathematical logic
   schema:about <http://experiment.worldcat.org/entity/work/data/352218779#Topic/nichtmonotone_logik> ; # Nichtmonotone Logik
   schema:about <http://id.loc.gov/authorities/subjects/sh85107437> ; # Proof theory
   schema:about <http://id.worldcat.org/fast/1078942> ; # Proof theory
   schema:about <http://experiment.worldcat.org/entity/work/data/352218779#Topic/logische_programmierung> ; # Logische Programmierung
   schema:about <http://experiment.worldcat.org/entity/work/data/352218779#Place/berlin_1990> ; # Berlin <1990>
   schema:about <http://experiment.worldcat.org/entity/work/data/352218779#Topic/artificial_intelligence> ; # Artificial intelligence
   schema:about <http://id.worldcat.org/fast/817247> ; # Artificial intelligence
   schema:about <http://dewey.info/class/006.3/> ;
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://experiment.worldcat.org/entity/work/data/352218779#Meeting/all_berlin_workshop_on_nonclassical_logics_and_information_processing_1st_1990_berlin_germany> ; # All-Berlin Workshop on Nonclassical Logics and Information Processing (1st : 1990 : Berlin, Germany)
   schema:contributor <http://viaf.org/viaf/109363980> ; # David A. Pearce
   schema:contributor <http://viaf.org/viaf/54284921> ; # Heinrich Wansing
   schema:copyrightYear "1992" ;
   schema:datePublished "1992" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/352218779> ;
   schema:genre "Conference publication"@en ;
   schema:genre "Conference papers and proceedings"@en ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/352218779#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science.
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/352218779#Series/lecture_notes_in_computer_science_lecture_notes_in_artificial_intelligence> ; # Lecture notes in computer science ; Lecture notes in artificial intelligence.
   schema:name "Nonclassical logics and information processing : International Workshop, Berlin, Germany, November 9-10, 1990 : proceedings"@en ;
   schema:productID "238785056" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/238785056#PublicationEvent/berlin_new_york_springer_verlag_1992> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/352218779#Agent/springer_verlag> ; # Springer-Verlag
   schema:url <http://www.gbv.de/dms/bowker/toc/9780387557458.pdf> ;
   schema:workExample <http://worldcat.org/isbn/9783540557456> ;
   schema:workExample <http://worldcat.org/isbn/9780387557458> ;
   umbel:isLike <http://d-nb.info/920963919> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/238785056> ;
    .


Related Entities

<http://dbpedia.org/resource/New_York_City> # New York
    a schema:Place ;
   schema:name "New York" ;
    .

<http://experiment.worldcat.org/entity/work/data/352218779#Agent/springer_verlag> # Springer-Verlag
    a bgn:Agent ;
   schema:name "Springer-Verlag" ;
    .

<http://experiment.worldcat.org/entity/work/data/352218779#Meeting/all_berlin_workshop_on_nonclassical_logics_and_information_processing_1st_1990_berlin_germany> # All-Berlin Workshop on Nonclassical Logics and Information Processing (1st : 1990 : Berlin, Germany)
    a bgn:Meeting, schema:Event ;
   schema:location <http://experiment.worldcat.org/entity/work/data/352218779#Place/berlin_germany> ; # Berlin, Germany)
   schema:name "All-Berlin Workshop on Nonclassical Logics and Information Processing (1st : 1990 : Berlin, Germany)" ;
    .

<http://experiment.worldcat.org/entity/work/data/352218779#Place/berlin_germany> # Berlin, Germany)
    a schema:Place ;
   schema:name "Berlin, Germany)" ;
    .

<http://experiment.worldcat.org/entity/work/data/352218779#Series/lecture_notes_in_computer_science> # Lecture notes in computer science.
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/238785056> ; # Nonclassical logics and information processing : International Workshop, Berlin, Germany, November 9-10, 1990 : proceedings
   schema:name "Lecture notes in computer science." ;
   schema:name "Lecture notes in computer science ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/352218779#Series/lecture_notes_in_computer_science_lecture_notes_in_artificial_intelligence> # Lecture notes in computer science ; Lecture notes in artificial intelligence.
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/238785056> ; # Nonclassical logics and information processing : International Workshop, Berlin, Germany, November 9-10, 1990 : proceedings
   schema:name "Lecture notes in computer science ; Lecture notes in artificial intelligence." ;
    .

<http://experiment.worldcat.org/entity/work/data/352218779#Topic/logische_programmierung> # Logische Programmierung
    a schema:Intangible ;
   schema:name "Logische Programmierung"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/352218779#Topic/nichtmonotone_logik> # Nichtmonotone Logik
    a schema:Intangible ;
   schema:name "Nichtmonotone Logik"@en ;
    .

<http://id.loc.gov/authorities/subjects/sh85092240> # Nonclassical mathematical logic
    a schema:Intangible ;
   schema:name "Nonclassical mathematical logic"@en ;
    .

<http://id.loc.gov/authorities/subjects/sh85107437> # Proof theory
    a schema:Intangible ;
   schema:name "Proof theory"@en ;
    .

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

<http://id.worldcat.org/fast/1038606> # Nonclassical mathematical logic
    a schema:Intangible ;
   schema:name "Nonclassical mathematical logic"@en ;
    .

<http://id.worldcat.org/fast/1078942> # Proof theory
    a schema:Intangible ;
   schema:name "Proof theory"@en ;
    .

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

<http://viaf.org/viaf/109363980> # David A. Pearce
    a schema:Person ;
   schema:birthDate "1952" ;
   schema:familyName "Pearce" ;
   schema:givenName "David A." ;
   schema:name "David A. Pearce" ;
    .

<http://viaf.org/viaf/54284921> # Heinrich Wansing
    a schema:Person ;
   schema:familyName "Wansing" ;
   schema:givenName "Heinrich" ;
   schema:givenName "H." ;
   schema:name "Heinrich Wansing" ;
    .

<http://worldcat.org/isbn/9780387557458>
    a schema:ProductModel ;
   schema:isbn "0387557458" ;
   schema:isbn "9780387557458" ;
    .

<http://worldcat.org/isbn/9783540557456>
    a schema:ProductModel ;
   schema:isbn "3540557458" ;
   schema:isbn "9783540557456" ;
    .

<http://www.worldcat.org/title/-/oclc/238785056>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/238785056> ; # Nonclassical logics and information processing : International Workshop, Berlin, Germany, November 9-10, 1990 : proceedings
   schema:dateModified "2017-10-22" ;
   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.