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:   Print book : 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: Conference papers and proceedings
Congresses
Congrès
Additional Physical Format: Online version:
Nonclassical logics and information processing.
Berlin ; New York : Springer, 1992
(OCoLC)645864838
Material Type: Conference publication
Document Type: Book
All Authors / Contributors: David A Pearce; H Wansing
ISBN: 3540557458 9783540557456 0387557458 9780387557458
OCLC Number: 26556722
Description: 171 pages ; 24 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:

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/26556722> # Nonclassical logics and information processing : international workshop, Berlin, November 9-10, 1990 : proceedings
    a schema:CreativeWork, schema:Book ;
   library:oclcnum "26556722" ;
   library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/352218779#Place/berlin> ; # Berlin
   schema:about <http://id.worldcat.org/fast/906956> ; # Electronic data processing
   schema:about <http://dewey.info/class/006.3/e20/> ;
   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/intelligence_artificielle> ; # Intelligence artificielle
   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/preuve_theorie_de_la_congres> ; # Preuve, Théorie de la--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/artificial_intelligence> ; # Artificial intelligence
   schema:about <http://experiment.worldcat.org/entity/work/data/352218779#Topic/logica> ; # Logica
   schema:about <http://experiment.worldcat.org/entity/work/data/352218779#Topic/modalite_logique_congres> ; # Modalité (logique)--Congrès
   schema:about <http://experiment.worldcat.org/entity/work/data/352218779#Topic/bewijstheorie> ; # Bewijstheorie
   schema:about <http://id.worldcat.org/fast/817247> ; # Artificial intelligence
   schema:about <http://id.worldcat.org/fast/1002068> ; # Logic, Symbolic and mathematical
   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/intelligence_artificielle_congres> ; # Intelligence artificielle--Congrès
   schema:about <http://experiment.worldcat.org/entity/work/data/352218779#Topic/programmation_logique_congres> ; # Programmation logique--Congrès
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://viaf.org/viaf/54284921> ; # Heinrich Wansing
   schema:contributor <http://viaf.org/viaf/109363980> ; # David A. Pearce
   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."--PUBLISHER'S WEBSITE."@en ;
   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:isSimilarTo <http://www.worldcat.org/oclc/645864838> ;
   schema:name "Nonclassical logics and information processing : international workshop, Berlin, November 9-10, 1990 : proceedings"@en ;
   schema:productID "26556722" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/26556722#PublicationEvent/berlin_new_york_springer_1992> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/352218779#Agent/springer> ; # Springer
   schema:workExample <http://worldcat.org/isbn/9783540557456> ;
   schema:workExample <http://worldcat.org/isbn/9780387557458> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/26556722> ;
    .


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#Series/lecture_notes_in_computer_science> # Lecture notes in computer science.
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/26556722> ; # Nonclassical logics and information processing : international workshop, Berlin, 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/26556722> ; # Nonclassical logics and information processing : international workshop, Berlin, 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/intelligence_artificielle> # Intelligence artificielle
    a schema:Intangible ;
   schema:name "Intelligence artificielle"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/352218779#Topic/intelligence_artificielle_congres> # Intelligence artificielle--Congrès
    a schema:Intangible ;
   schema:name "Intelligence artificielle--Congrès"@en ;
    .

<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/modalite_logique_congres> # Modalité (logique)--Congrès
    a schema:Intangible ;
   schema:name "Modalité (logique)--Congrès"@en ;
    .

<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://experiment.worldcat.org/entity/work/data/352218779#Topic/programmation_logique_congres> # Programmation logique--Congrès
    a schema:Intangible ;
   schema:name "Programmation logique--Congrès"@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/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/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/oclc/645864838>
    a schema:CreativeWork ;
   rdfs:label "Nonclassical logics and information processing." ;
   schema:description "Online version:" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/26556722> ; # Nonclassical logics and information processing : international workshop, Berlin, November 9-10, 1990 : proceedings
    .

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