skip to content
Logics in artificial intelligence : European workshop, JELIA '96, Évora, Portugal, September 30 - October 3, 1996 ; proceedings Preview this item
ClosePreview this item
Checking...

Logics in artificial intelligence : European workshop, JELIA '96, Évora, Portugal, September 30 - October 3, 1996 ; proceedings

Author: José Júlio Alferes; JELIA
Publisher: Berlin [u.a.] Springer 1996
Series: Lecture notes in computer science; Lecture notes in artificial intelligence
Edition/Format:   Computer file : EnglishView all editions and formats
Summary:

This book presents the refereed proceedings of the Sixth European Workshop on Logics in Artificial Intelligence, JELIA '96, held in Evora, Portugal in September/October 1996.The 25 revised full  Read more...

Rating:

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

Subjects
More like this

 

Find a copy online

Find a copy in the library

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

Details

Material Type: Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: José Júlio Alferes; JELIA
ISBN: 3540616306 9783540616306
OCLC Number: 845509009
Notes: Literaturangaben
Description: Online-Ressource (IX, 416 S.)
Contents: Hyper tableaux.- An algorithm for the retrieval of unifiers from discrimination trees.- Building proofs or counterexamples by analogy in a resolution framework.- What you always wanted to know about rigid E-unification.- Labelled proofs for quantified modal logic.- A uniform tableaux method for nonmonotonic modal logics.- Design and implementation of diagnostic strategies using modal logic.- A modal action logic based framework for organization specification and analysis.- McCarthy's idea.- Strong and explicit negation in non-monotonic reasoning and logic programming.- Only persistence makes nonmonotonicity monotonous.- Ordering-based representations of rational inference.- Semi-representability of default theories in rational default logic.- A query answering algorithm for Lukaszewicz' general open default theory.- Infinitary default logic for specification of nonmonotonic reasoning.- A system for computing constrained default logic extensions.- The Oz programming model.- An abductive framework for negation in disjunctive logic programming.- Characterizing D-WFS: Confluence and iterated GCWA.- Modules and specifications.- Logic programming with integrity constraints.- Temporal reasoning over linear discrete time.- Similarity saturation for first order linear temporal logic with UNLESS.- Carving Up space: Steps towards construction of an absolutely complete theory of spatial regions.- Informational logic for automated reasoning.- Extensions for open default theories via the domain closure assumption.- Revising and updating using a back-up semantics.- A simple signed system for paraconsistent reasoning.
Series Title: Lecture notes in computer science; Lecture notes in artificial intelligence
Responsibility: José Júlio Alferes ... (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/845509009> # Logics in artificial intelligence : European workshop, JELIA '96, Évora, Portugal, September 30 - October 3, 1996 ; proceedings
    a bgn:ComputerFile, schema:CreativeWork ;
   library:oclcnum "845509009" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/353728531#Place/berlin_u_a> ; # Berlin u.a.
   schema:about <http://experiment.worldcat.org/entity/work/data/353728531#Place/evora_1996> ; # Évora <1996>
   schema:about <http://dewey.info/class/006.3015113/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/353728531#Topic/kunstliche_intelligenz> ; # Künstliche Intelligenz
   schema:about <http://experiment.worldcat.org/entity/work/data/353728531#Topic/logic_symbolic_and_mathematical_congresses> ; # Logic, Symbolic and mathematical--Congresses
   schema:about <http://experiment.worldcat.org/entity/work/data/353728531#Topic/mathematische_logik> ; # Mathematische Logik
   schema:about <http://experiment.worldcat.org/entity/work/data/353728531#Thing/kongress> ; # Kongress
   schema:about <http://experiment.worldcat.org/entity/work/data/353728531#Topic/artificial_intelligence_congresses> ; # Artificial intelligence--Congresses
   schema:contributor <http://viaf.org/viaf/98668469> ; # José Júlio Alferes
   schema:contributor <http://experiment.worldcat.org/entity/work/data/353728531#Meeting/jelia_5_1996_09_30_10_03_evora> ; # JELIA (5 1996.09.30-10.03 Évora)
   schema:contributor <http://viaf.org/viaf/131017350> ; # JELIA
   schema:contributor <http://experiment.worldcat.org/entity/work/data/353728531#Meeting/journees_europeennes_sur_la_logique_en_intelligence_artificielle_5_1996_09_30_10_03_evora> ; # Journées Européennes sur la Logique en Intelligence Artificielle (5 1996.09.30-10.03 Évora)
   schema:contributor <http://experiment.worldcat.org/entity/work/data/353728531#Meeting/european_workshop_on_logics_in_artificial_intelligence_5_1996_09_30_10_03_evora> ; # European Workshop on Logics in Artificial Intelligence (5 1996.09.30-10.03 Évora)
   schema:datePublished "1996" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/353728531> ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/353728531#Series/lecture_notes_in_computer_science_lecture_notes_in_artificial_intelligence> ; # Lecture notes in computer science Lecture notes in artificial intelligence
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/353728531#Series/> ; #
   schema:name "Logics in artificial intelligence : European workshop, JELIA '96, Évora, Portugal, September 30 - October 3, 1996 ; proceedings" ;
   schema:productID "845509009" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/845509009#PublicationEvent/berlin_u_a_springer1996> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/353728531#Agent/springer> ; # Springer
   schema:url <http://www.springerlink.de/openurl.asp?genre=book&isbn=978-3-540-61630-6> ;
   schema:url <http://www.springerlink.com/content/x7346j888282> ;
   schema:url <http://dx.doi.org/10.1007/3-540-61630-6> ;
   schema:workExample <http://worldcat.org/isbn/9783540616306> ;
   schema:workExample <http://dx.doi.org/10.1007/3-540-61630-6> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/845509009> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/353728531#Meeting/european_workshop_on_logics_in_artificial_intelligence_5_1996_09_30_10_03_evora> # European Workshop on Logics in Artificial Intelligence (5 1996.09.30-10.03 Évora)
    a bgn:Meeting, schema:Event ;
   schema:location <http://experiment.worldcat.org/entity/work/data/353728531#Place/evora> ; # Évora)
   schema:name "European Workshop on Logics in Artificial Intelligence (5 1996.09.30-10.03 Évora)" ;
    .

<http://experiment.worldcat.org/entity/work/data/353728531#Meeting/journees_europeennes_sur_la_logique_en_intelligence_artificielle_5_1996_09_30_10_03_evora> # Journées Européennes sur la Logique en Intelligence Artificielle (5 1996.09.30-10.03 Évora)
    a bgn:Meeting, schema:Event ;
   schema:location <http://experiment.worldcat.org/entity/work/data/353728531#Place/evora> ; # Évora)
   schema:name "Journées Européennes sur la Logique en Intelligence Artificielle (5 1996.09.30-10.03 Évora)" ;
    .

<http://experiment.worldcat.org/entity/work/data/353728531#Series/> #
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/845509009> ; # Logics in artificial intelligence : European workshop, JELIA '96, Évora, Portugal, September 30 - October 3, 1996 ; proceedings
   schema:name "" ;
    .

<http://experiment.worldcat.org/entity/work/data/353728531#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/845509009> ; # Logics in artificial intelligence : European workshop, JELIA '96, Évora, Portugal, September 30 - October 3, 1996 ; proceedings
   schema:name "Lecture notes in computer science Lecture notes in artificial intelligence" ;
    .

<http://experiment.worldcat.org/entity/work/data/353728531#Topic/artificial_intelligence_congresses> # Artificial intelligence--Congresses
    a schema:Intangible ;
   schema:name "Artificial intelligence--Congresses" ;
    .

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

<http://experiment.worldcat.org/entity/work/data/353728531#Topic/logic_symbolic_and_mathematical_congresses> # Logic, Symbolic and mathematical--Congresses
    a schema:Intangible ;
   schema:name "Logic, Symbolic and mathematical--Congresses" ;
    .

<http://experiment.worldcat.org/entity/work/data/353728531#Topic/mathematische_logik> # Mathematische Logik
    a schema:Intangible ;
   schema:name "Mathematische Logik" ;
    .

<http://viaf.org/viaf/98668469> # José Júlio Alferes
    a schema:Person ;
   schema:familyName "Alferes" ;
   schema:givenName "José Júlio" ;
   schema:name "José Júlio Alferes" ;
    .

<http://worldcat.org/isbn/9783540616306>
    a schema:ProductModel ;
   schema:isbn "3540616306" ;
   schema:isbn "9783540616306" ;
    .

<http://www.worldcat.org/title/-/oclc/845509009>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/845509009> ; # Logics in artificial intelligence : European workshop, JELIA '96, Évora, Portugal, September 30 - October 3, 1996 ; proceedings
   schema:dateModified "2017-12-24" ;
   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.