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:

The nine full papers presented in this volume in revised version address theoretical, applicational and implementational issues of non-monotonic extensions of logic programming. An introductory  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/semantique> ; # sémantique
   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/programmation_en_logique> ; # programmation en 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_en_logique> # programmation en logique
    a schema:Intangible ;
   schema:name "programmation en logique"@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"@en ;
   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 "2017-10-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.