skip to content
Vivid Logic : Knowledge-Based Reasoning with Two Kinds of Negation Preview this item
ClosePreview this item
Checking...

Vivid Logic : Knowledge-Based Reasoning with Two Kinds of Negation

Author: Gerd Wagner
Publisher: Berlin, Heidelberg : Springer-Verlag : Springer e-books, 1994.
Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence, 764
Edition/Format:   Computer file : Document : EnglishView all editions and formats
Database:WorldCat
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

Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Gerd Wagner
ISBN: 9783540482888 3540482881
OCLC Number: 801045386
Notes: L'accès complet au document est possible pour les usagers de tous les établissements publics français (situés ou non sur le territoire français) ayant des missions d'enseignement supérieur et/ou de recherche, des établissements d'enseignement supérieur privés, des bibliothèques publiques.
Description: 1 online resource.
Series Title: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence, 764
Responsibility: by Gerd Wagner.

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/801045386> # Vivid Logic Knowledge-Based Reasoning with Two Kinds of Negation
    a schema:CreativeWork, bgn:ComputerFile, schema:MediaObject ;
   library:oclcnum "801045386" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/197360427#Place/berlin_heidelberg> ; # Berlin, Heidelberg
   schema:about <http://experiment.worldcat.org/entity/work/data/197360427#Thing/artificial_intelligence_incl_robotics> ; # Artificial Intelligence (incl. Robotics)
   schema:about <http://id.worldcat.org/fast/817247> ; # Artificial intelligence
   schema:about <http://id.worldcat.org/fast/872451> ; # Computer science
   schema:about <http://id.worldcat.org/fast/1002068> ; # Logic, Symbolic and mathematical
   schema:about <http://experiment.worldcat.org/entity/work/data/197360427#Thing/computer_science> ; # Computer Science
   schema:about <http://experiment.worldcat.org/entity/work/data/197360427#Thing/mathematical_logic_and_formal_languages> ; # Mathematical Logic and Formal Languages
   schema:about <http://experiment.worldcat.org/entity/work/data/197360427#Thing/mathematical_logic_and_foundations> ; # Mathematical Logic and Foundations
   schema:about <http://dewey.info/class/006.3/e23/> ;
   schema:creator <http://experiment.worldcat.org/entity/work/data/197360427#Person/wagner_gerd> ; # Gerd Wagner
   schema:datePublished "1994" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/197360427> ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://worldcat.org/issn/0302-9743> ; # Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence,
   schema:name "Vivid Logic Knowledge-Based Reasoning with Two Kinds of Negation" ;
   schema:productID "801045386" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/801045386#PublicationEvent/berlin_heidelberg_springer_verlag_springer_e_books_1994> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/197360427#Agent/springer_verlag> ; # Springer-Verlag
   schema:publisher <http://experiment.worldcat.org/entity/work/data/197360427#Agent/springer_e_books> ; # Springer e-books
   schema:url <http://dx.doi.org/10.1007/3-540-57604-5> ;
   schema:workExample <http://worldcat.org/isbn/9783540482888> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/801045386> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/197360427#Agent/springer_e_books> # Springer e-books
    a bgn:Agent ;
   schema:name "Springer e-books" ;
    .

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

<http://experiment.worldcat.org/entity/work/data/197360427#Person/wagner_gerd> # Gerd Wagner
    a schema:Person ;
   schema:familyName "Wagner" ;
   schema:givenName "Gerd" ;
   schema:name "Gerd Wagner" ;
    .

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

<http://experiment.worldcat.org/entity/work/data/197360427#Thing/artificial_intelligence_incl_robotics> # Artificial Intelligence (incl. Robotics)
    a schema:Thing ;
   schema:name "Artificial Intelligence (incl. Robotics)" ;
    .

<http://experiment.worldcat.org/entity/work/data/197360427#Thing/computer_science> # Computer Science
    a schema:Thing ;
   schema:name "Computer Science" ;
    .

<http://experiment.worldcat.org/entity/work/data/197360427#Thing/mathematical_logic_and_formal_languages> # Mathematical Logic and Formal Languages
    a schema:Thing ;
   schema:name "Mathematical Logic and Formal Languages" ;
    .

<http://experiment.worldcat.org/entity/work/data/197360427#Thing/mathematical_logic_and_foundations> # Mathematical Logic and Foundations
    a schema:Thing ;
   schema:name "Mathematical Logic and Foundations" ;
    .

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

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

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

<http://worldcat.org/isbn/9783540482888>
    a schema:ProductModel ;
   schema:isbn "3540482881" ;
   schema:isbn "9783540482888" ;
    .

<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/801045386> ; # Vivid Logic Knowledge-Based Reasoning with Two Kinds of Negation
   schema:issn "0302-9743" ;
   schema:name "Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence," ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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