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

Nonclassical logics and information processing : international workshop, Berlin, November 9-10, 1990 : proceedings

Author: David A Pearce; H Wansing
Publisher: Berlin ; New York : Springer, 1992.
Series: Lecture notes in computer science, 619.; Lecture notes in computer science., Lecture notes in artificial intelligence.
Edition/Format:   eBook : Document : Conference publication : EnglishView all editions and formats
Summary:
This volume comprises the proceedings of the First All-Berlin Workshop on Nonclassical Logics and Information Processing, held at the Free University of Berlin, November 9-10, 1990. The scope of the ten papers in the volume is broad, covering various different subfields of logic - particularly nonclassical logic - and its applications in artificial intelligence. The papers are grouped according to the four major  Read more...
Rating:

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

Subjects
More like this

 

Find a copy in the library

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

Details

Genre/Form: Electronic books
Conference papers and proceedings
Congresses
Congrès
Additional Physical Format: Print version:
Nonclassical logics and information processing.
Berlin ; New York : Springer, 1992
(DLC) 93102667
(OCoLC)26556722
Material Type: Conference publication, Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: David A Pearce; H Wansing
ISBN: 9783540472803 3540472800
OCLC Number: 301279783
Reproduction Notes: Electronic reproduction. [S.l.] : HathiTrust Digital Library, 2010. MiAaHDL
Description: 1 online resource (171 pages) : illustrations.
Details: Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002.
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.).

Abstract:

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.  Read more...

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/301279783> # Nonclassical logics and information processing : international workshop, Berlin, November 9-10, 1990 : proceedings
    a schema:CreativeWork, schema:MediaObject, schema:Book ;
   library:oclcnum "301279783" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/352218779#Topic/preuve_theorie_de_la_congres> ; # Preuve, Théorie de la--Congrès
   schema:about <http://experiment.worldcat.org/entity/work/data/352218779#Topic/programmation_logique> ; # Programmation logique
   schema:about <http://experiment.worldcat.org/entity/work/data/352218779#Topic/logic_symbolic_and_mathematical> ; # Logic, Symbolic and mathematical
   schema:about <http://experiment.worldcat.org/entity/work/data/352218779#Topic/bewijstheorie> ; # Bewijstheorie
   schema:about <http://id.worldcat.org/fast/906956> ; # Electronic data processing
   schema:about <http://id.worldcat.org/fast/817247> ; # Artificial intelligence
   schema:about <http://experiment.worldcat.org/entity/work/data/352218779#Topic/intelligence_artificielle> ; # Intelligence artificielle
   schema:about <http://experiment.worldcat.org/entity/work/data/352218779#Topic/artificial_intelligence> ; # Artificial intelligence
   schema:about <http://experiment.worldcat.org/entity/work/data/352218779#Topic/logique_mathematique_non_classique_congres> ; # Logique mathématique non classique--Congrès
   schema:about <http://experiment.worldcat.org/entity/work/data/352218779#Topic/electronic_data_processing> ; # Electronic data processing
   schema:about <http://experiment.worldcat.org/entity/work/data/352218779#Topic/logica> ; # Logica
   schema:about <http://id.worldcat.org/fast/1002068> ; # Logic, Symbolic and mathematical
   schema:about <http://dewey.info/class/006.3/e20/> ;
   schema:bookFormat schema:EBook ;
   schema:contributor <http://viaf.org/viaf/109363980> ; # David A. Pearce
   schema:contributor <http://viaf.org/viaf/54284921> ; # Heinrich Wansing
   schema:creator <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:datePublished "1992" ;
   schema:description "This volume comprises the proceedings of the First All-Berlin Workshop on Nonclassical Logics and Information Processing, held at the Free University of Berlin, November 9-10, 1990. The scope of the ten papers in the volume is broad, covering various different subfields of logic - particularly nonclassical logic - and its applications in artificial intelligence. The papers are grouped according to the four major topics that emerged at the meeting: modal systems, logic programming, nonmonotonic logics, and proof theory. The classification is only a rough guide since the four areas overlap considerably."@en ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/352218779> ;
   schema:genre "Conference papers and proceedings"@en ;
   schema:genre "Conference publication"@en ;
   schema:genre "Electronic books"@en ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://worldcat.org/issn/0302-9743> ; # Lecture notes in computer science ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/352218779#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science.
   schema:isSimilarTo <http://www.worldcat.org/oclc/26556722> ;
   schema:name "Nonclassical logics and information processing : international workshop, Berlin, November 9-10, 1990 : proceedings"@en ;
   schema:productID "301279783" ;
   schema:url <http://catalog.hathitrust.org/api/volumes/oclc/26556722.html> ;
   schema:url <http://books.google.com/books?id=p4hQAAAAMAAJ> ;
   schema:url <http://dx.doi.org/10.1007/BFb0031919> ;
   schema:url <https://login.proxy.lib.strath.ac.uk/login?url=http://link.springer.com/10.1007/BFb0031919> ;
   schema:workExample <http://worldcat.org/isbn/9783540472803> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/301279783> ;
    .


Related Entities

<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/301279783> ; # Nonclassical logics and information processing : international workshop, Berlin, November 9-10, 1990 : proceedings
   schema:name "Lecture notes in computer science." ;
    .

<http://experiment.worldcat.org/entity/work/data/352218779#Topic/intelligence_artificielle> # Intelligence artificielle
    a schema:Intangible ;
   schema:name "Intelligence artificielle"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/352218779#Topic/logique_mathematique_non_classique_congres> # Logique mathématique non classique--Congrès
    a schema:Intangible ;
   schema:name "Logique mathématique non classique--Congrès"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/352218779#Topic/preuve_theorie_de_la_congres> # Preuve, Théorie de la--Congrès
    a schema:Intangible ;
   schema:name "Preuve, Théorie de la--Congrès"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/352218779#Topic/programmation_logique> # Programmation logique
    a schema:Intangible ;
   schema:name "Programmation logique"@fr ;
    .

<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/906956> # Electronic data processing
    a schema:Intangible ;
   schema:name "Electronic data processing"@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/9783540472803>
    a schema:ProductModel ;
   schema:isbn "3540472800" ;
   schema:isbn "9783540472803" ;
    .

<http://worldcat.org/issn/0302-9743> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/301279783> ; # Nonclassical logics and information processing : international workshop, Berlin, November 9-10, 1990 : proceedings
   schema:issn "0302-9743" ;
   schema:name "Lecture notes in computer science ;" ;
   schema:name "Lecture notes in computer science, Lecture notes in artificial intelligence" ;
    .

<http://www.worldcat.org/oclc/26556722>
    a schema:CreativeWork ;
   rdfs:label "Nonclassical logics and information processing." ;
   schema:description "Print version:" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/301279783> ; # Nonclassical logics and information processing : international workshop, Berlin, November 9-10, 1990 : proceedings
    .

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