skip to content
Foundations of knowledge representation and reasoning Preview this item
ClosePreview this item
Checking...

Foundations of knowledge representation and reasoning

Author: Gerhard Lakemeyer
Publisher: Berlin u.a. : Springer, 1994.
Series: Lecture notes in computer science, 810 : Lecture.
Edition/Format:   eBook : Document : Conference publication : EnglishView all editions and formats
Summary:

This collection of thoroughly refereed papers presents state-of-the-art research results by well-known researchers on the foundations of knowledge representation and reasoning.

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: Aufsatzsammlung
Kongreß
Material Type: Conference publication, Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Gerhard Lakemeyer
ISBN: 0387581073 9780387581071 3540581073 9783540581079
OCLC Number: 873607896
Description: VIII, 355 Seiten
Contents: Foundations of knowledge representation and reasoning.- Collective entities and relations in concept languages.- Computing extensions of terminological default theories.- A formalization of interval-based temporal subsumption in first order logic.- Normative, subjunctive and autoepistemic defaults.- Abductive reasoning with abstraction axioms.- Queries, rules and definitions as epistemic sentences in concept languages.- The power of beliefs or translating default logic into standard autoepistemic logic.- Learning an optimally accurate representation system.- Default reasoning via negation as failure.- Weak autoepistemic reasoning and well-founded semantics.- Forming concepts for fast inference.- A common-sense theory of time.- Reasoning with analogical representations.- Asking about possibilities - Revision and update semantics for subjunctive queries Extended report.- On the impact of stratification on the complexity of nonmonotonic reasoning.- Logics of mental attitudes in AI.- Hyperrational conditionals.- Revision by expansion in logic programs.
Series Title: Lecture notes in computer science, 810 : Lecture.
Responsibility: Gerhard Lakemeyer ... (eds.).

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/873607896> # Foundations of knowledge representation and reasoning
    a schema:CreativeWork, schema:Book, schema:MediaObject ;
    library:oclcnum "873607896" ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/353471609#Place/berlin_u_a> ; # Berlin u.a.
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    schema:about <http://dewey.info/class/006.33/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/353471609#Topic/computer_science> ; # Computer science
    schema:about <http://experiment.worldcat.org/entity/work/data/353471609#Topic/automatisches_beweisverfahren> ; # Automatisches Beweisverfahren
    schema:about <http://experiment.worldcat.org/entity/work/data/353471609#Topic/wissensbasiertes_system> ; # Wissensbasiertes System
    schema:about <http://experiment.worldcat.org/entity/work/data/353471609#Topic/artificial_intelligence> ; # Artificial intelligence
    schema:about <http://experiment.worldcat.org/entity/work/data/353471609#Topic/wissensreprasentation> ; # Wissensrepräsentation
    schema:about <http://experiment.worldcat.org/entity/work/data/353471609#Topic/denken> ; # Denken
    schema:about <http://experiment.worldcat.org/entity/work/data/353471609#Topic/kunstliche_intelligenz> ; # Künstliche Intelligenz
    schema:about <http://experiment.worldcat.org/entity/work/data/353471609#Topic/logischer_schluss> ; # Logischer Schluss
    schema:bookFormat schema:EBook ;
    schema:contributor <http://experiment.worldcat.org/entity/work/data/353471609#Person/lakemeyer_gerhard> ; # Gerhard Lakemeyer
    schema:datePublished "1994" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/353471609> ;
    schema:genre "Conference publication"@en ;
    schema:genre "Kongreß" ;
    schema:genre "Aufsatzsammlung" ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/353471609#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science ;
    schema:name "Foundations of knowledge representation and reasoning" ;
    schema:productID "873607896" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/873607896#PublicationEvent/berlin_u_a_springer_1994> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/353471609#Agent/springer> ; # Springer
    schema:url <https://doi.org/10.1007/3-540-58107-3> ;
    schema:workExample <http://dx.doi.org/10.1007/3-540-58107-3> ;
    schema:workExample <http://worldcat.org/isbn/9780387581071> ;
    schema:workExample <http://worldcat.org/isbn/9783540581079> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/873607896> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/353471609#Person/lakemeyer_gerhard> # Gerhard Lakemeyer
    a schema:Person ;
    schema:familyName "Lakemeyer" ;
    schema:givenName "Gerhard" ;
    schema:name "Gerhard Lakemeyer" ;
    schema:sameAs <http://d-nb.info/gnd/114029407> ;
    .

<http://experiment.worldcat.org/entity/work/data/353471609#Series/lecture_notes_in_computer_science> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/873607896> ; # Foundations of knowledge representation and reasoning
    schema:name "Lecture notes in computer science ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/353471609#Topic/artificial_intelligence> # Artificial intelligence
    a schema:Intangible ;
    schema:name "Artificial intelligence" ;
    .

<http://experiment.worldcat.org/entity/work/data/353471609#Topic/automatisches_beweisverfahren> # Automatisches Beweisverfahren
    a schema:Intangible ;
    schema:name "Automatisches Beweisverfahren" ;
    .

<http://experiment.worldcat.org/entity/work/data/353471609#Topic/computer_science> # Computer science
    a schema:Intangible ;
    schema:name "Computer science" ;
    .

<http://experiment.worldcat.org/entity/work/data/353471609#Topic/kunstliche_intelligenz> # Künstliche Intelligenz
    a schema:Intangible ;
    schema:name "Künstliche Intelligenz" ;
    .

<http://experiment.worldcat.org/entity/work/data/353471609#Topic/logischer_schluss> # Logischer Schluss
    a schema:Intangible ;
    schema:name "Logischer Schluss" ;
    .

<http://experiment.worldcat.org/entity/work/data/353471609#Topic/wissensbasiertes_system> # Wissensbasiertes System
    a schema:Intangible ;
    schema:name "Wissensbasiertes System" ;
    .

<http://experiment.worldcat.org/entity/work/data/353471609#Topic/wissensreprasentation> # Wissensrepräsentation
    a schema:Intangible ;
    schema:name "Wissensrepräsentation" ;
    .

<http://worldcat.org/isbn/9780387581071>
    a schema:ProductModel ;
    schema:isbn "0387581073" ;
    schema:isbn "9780387581071" ;
    .

<http://worldcat.org/isbn/9783540581079>
    a schema:ProductModel ;
    schema:isbn "3540581073" ;
    schema:isbn "9783540581079" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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