skip to content
Non-monotonic extensions of logic programming : second International Workshop, NMELP '96, Bad Honnef, Germany, September 5-6, 1996 : selected papers Preview this item
ClosePreview this item
Checking...

Non-monotonic extensions of logic programming : second International Workshop, NMELP '96, Bad Honnef, Germany, September 5-6, 1996 : selected papers

Author: J Dix; Luís Moniz Pereira; Teodor C Przymusinski
Publisher: Berlin ; New York : Springer, ©1997.
Series: Lecture notes in computer science, 1216.; Lecture notes in computer science., Lecture notes in artificial intelligence.
Edition/Format:   Print book : Conference publication : EnglishView all editions and formats
Summary:

This book constitutes the thoroughly refereed post-workshop proceedings of the 6th International Workshop on Non-Monotonic Extensions of Logic Programming, NMELP '96, held in Bad Honnef, Germany, in  Read more...

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: Conference papers and proceedings
Congresses
Congrès
Material Type: Conference publication, Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: J Dix; Luís Moniz Pereira; Teodor C Przymusinski
ISBN: 3540628436 9783540628439
OCLC Number: 36630069
Description: xii, 224 pages : illustrations ; 24 cm.
Contents: Prolegomena to logic programming for non-monotonic reasoning / J. Dix, L.M. Pereira, and T. Przymusinski --
On logics and semantics for general logic programs / A. Bochman --
A new logical characterization of stable models and answer sets / D. Pearce --
Aggregation and well-founded semantics / M. Osorio, B. Jayaraman --
Nonmonotonic reasoning by monotonic inferences + priority constraints / X. Wang, J.-H. You, L.-Y. Yuan --
Update-programs can update programs / J.J. Alferes, L.M. Pereira --
An abductive procedure for reasoning about actions in modal LP / M. Baldoni [and others] --
Update rule programs versus revision programs / N. Bidoit, S. Maabout --
Transformation-based bottom-up computation of the well-founded model / S. Brass, S. Zukowski, H. Freitag --
Computation of non-ground disjunctive well-founded semantics with constraint logic programming / J. Dix, F. Stolzenburg.
Series Title: Lecture notes in computer science, 1216.; Lecture notes in computer science., Lecture notes in artificial intelligence.
Other Titles: NMELP '96
Responsibility: Jürgen Dix, Luís Moniz Pereira, Teodor C. Przymusinski, 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/36630069> # Non-monotonic extensions of logic programming : second International Workshop, NMELP '96, Bad Honnef, Germany, September 5-6, 1996 : selected papers
    a schema:Book, schema:CreativeWork ;
    library:oclcnum "36630069" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/774317417#Place/berlin> ; # Berlin
    schema:about <http://experiment.worldcat.org/entity/work/data/774317417#Topic/arquitetura_de_sistemas_de_computacao> ; # Arquitetura de sistemas de computacao
    schema:about <http://id.worldcat.org/fast/1038846> ; # Nonmonotonic reasoning
    schema:about <http://dewey.info/class/005.115/e21/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/774317417#Topic/logisch_programmeren> ; # Logisch programmeren
    schema:about <http://id.loc.gov/authorities/subjects/sh96004467> ; # Nonmonotonic reasoning
    schema:about <http://experiment.worldcat.org/entity/work/data/774317417#Topic/logic_programming> ; # Logic programming
    schema:about <http://experiment.worldcat.org/entity/work/data/774317417#Topic/programacao_de_computadores> ; # Programacao de computadores
    schema:about <http://experiment.worldcat.org/entity/work/data/774317417#Topic/programmation_logique> ; # Programmation logique
    schema:about <http://experiment.worldcat.org/entity/work/data/774317417#Topic/raisonnement_non_monotone> ; # Raisonnement non-monotone
    schema:about <http://id.worldcat.org/fast/1002056> ; # Logic programming
    schema:alternateName "NMELP '96" ;
    schema:bookFormat bgn:PrintBook ;
    schema:contributor <http://viaf.org/viaf/112026597> ; # Jürgen Dix
    schema:contributor <http://viaf.org/viaf/70638343> ; # Teodor C. Przymusinski
    schema:contributor <http://viaf.org/viaf/163615181> ; # Luís Moniz Pereira
    schema:copyrightYear "1997" ;
    schema:creator <http://experiment.worldcat.org/entity/work/data/774317417#Meeting/nmelp_96_2nd_1996_bad_honnef_germany> ; # NMELP '96 (2nd : 1996 : Bad Honnef, Germany)
    schema:datePublished "1997" ;
    schema:description "Prolegomena to logic programming for non-monotonic reasoning / J. Dix, L.M. Pereira, and T. Przymusinski -- On logics and semantics for general logic programs / A. Bochman -- A new logical characterization of stable models and answer sets / D. Pearce -- Aggregation and well-founded semantics / M. Osorio, B. Jayaraman -- Nonmonotonic reasoning by monotonic inferences + priority constraints / X. Wang, J.-H. You, L.-Y. Yuan -- Update-programs can update programs / J.J. Alferes, L.M. Pereira -- An abductive procedure for reasoning about actions in modal LP / M. Baldoni [and others] -- Update rule programs versus revision programs / N. Bidoit, S. Maabout -- Transformation-based bottom-up computation of the well-founded model / S. Brass, S. Zukowski, H. Freitag -- Computation of non-ground disjunctive well-founded semantics with constraint logic programming / J. Dix, F. Stolzenburg."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/774317417> ;
    schema:genre "Conference papers and proceedings"@en ;
    schema:genre "Conference publication"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/774317417#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/774317417#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science.
    schema:name "Non-monotonic extensions of logic programming : second International Workshop, NMELP '96, Bad Honnef, Germany, September 5-6, 1996 : selected papers"@en ;
    schema:productID "36630069" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/36630069#PublicationEvent/berlin_new_york_springer_1997> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/774317417#Agent/springer> ; # Springer
    schema:url <http://dx.doi.org/10.1007/BFb0023798> ;
    schema:url <http://link.springer.com/10.1007/BFb0023798> ;
    schema:url <http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=1216> ;
    schema:url <http://swbplus.bsz-bw.de/bsz058570403cov.htm> ;
    schema:workExample <http://worldcat.org/isbn/9783540628439> ;
    umbel:isLike <http://d-nb.info/949936367> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/36630069> ;
    .


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/774317417#Meeting/nmelp_96_2nd_1996_bad_honnef_germany> # NMELP '96 (2nd : 1996 : Bad Honnef, Germany)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/774317417#Place/bad_honnef_germany> ; # Bad Honnef, Germany)
    schema:name "NMELP '96 (2nd : 1996 : Bad Honnef, Germany)" ;
    .

<http://experiment.worldcat.org/entity/work/data/774317417#Place/bad_honnef_germany> # Bad Honnef, Germany)
    a schema:Place ;
    schema:name "Bad Honnef, Germany)" ;
    .

<http://experiment.worldcat.org/entity/work/data/774317417#Series/lecture_notes_in_computer_science> # Lecture notes in computer science.
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/36630069> ; # Non-monotonic extensions of logic programming : second International Workshop, NMELP '96, Bad Honnef, Germany, September 5-6, 1996 : selected papers
    schema:name "Lecture notes in computer science." ;
    schema:name "Lecture notes in computer science ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/774317417#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/36630069> ; # Non-monotonic extensions of logic programming : second International Workshop, NMELP '96, Bad Honnef, Germany, September 5-6, 1996 : selected papers
    schema:name "Lecture notes in computer science ; Lecture notes in artificial intelligence" ;
    .

<http://experiment.worldcat.org/entity/work/data/774317417#Topic/arquitetura_de_sistemas_de_computacao> # Arquitetura de sistemas de computacao
    a schema:Intangible ;
    schema:name "Arquitetura de sistemas de computacao"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/774317417#Topic/logisch_programmeren> # Logisch programmeren
    a schema:Intangible ;
    schema:name "Logisch programmeren"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/774317417#Topic/programacao_de_computadores> # Programacao de computadores
    a schema:Intangible ;
    schema:name "Programacao de computadores"@en ;
    .

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

<http://experiment.worldcat.org/entity/work/data/774317417#Topic/raisonnement_non_monotone> # Raisonnement non-monotone
    a schema:Intangible ;
    schema:name "Raisonnement non-monotone"@fr ;
    .

<http://id.loc.gov/authorities/subjects/sh96004467> # Nonmonotonic reasoning
    a schema:Intangible ;
    schema:name "Nonmonotonic reasoning"@en ;
    .

<http://id.worldcat.org/fast/1002056> # Logic programming
    a schema:Intangible ;
    schema:name "Logic programming"@en ;
    .

<http://id.worldcat.org/fast/1038846> # Nonmonotonic reasoning
    a schema:Intangible ;
    schema:name "Nonmonotonic reasoning"@en ;
    .

<http://link.springer.com/10.1007/BFb0023798>
    rdfs:comment "eBook available for UOIT via SpringerLink. Click link to access" ;
    .

<http://viaf.org/viaf/112026597> # Jürgen Dix
    a schema:Person ;
    schema:birthDate "1961" ;
    schema:familyName "Dix" ;
    schema:givenName "Jürgen" ;
    schema:givenName "J." ;
    schema:name "Jürgen Dix" ;
    .

<http://viaf.org/viaf/163615181> # Luís Moniz Pereira
    a schema:Person ;
    schema:familyName "Pereira" ;
    schema:givenName "Luís Moniz" ;
    schema:name "Luís Moniz Pereira" ;
    .

<http://viaf.org/viaf/70638343> # Teodor C. Przymusinski
    a schema:Person ;
    schema:birthDate "1947" ;
    schema:familyName "Przymusinski" ;
    schema:givenName "Teodor C." ;
    schema:name "Teodor C. Przymusinski" ;
    .

<http://worldcat.org/isbn/9783540628439>
    a schema:ProductModel ;
    schema:isbn "3540628436" ;
    schema:isbn "9783540628439" ;
    .

<http://www.worldcat.org/title/-/oclc/36630069>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/36630069> ; # Non-monotonic extensions of logic programming : second International Workshop, NMELP '96, Bad Honnef, Germany, September 5-6, 1996 : selected papers
    schema:dateModified "2018-09-14" ;
    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.