Show simple item record

dc.contributor.authorWang, KW
dc.contributor.authorZhou, LZ
dc.date.accessioned2006-08-07
dc.date.accessioned2014-06-19T22:41:37Z
dc.date.accessioned2017-03-02T00:10:38Z
dc.date.available2017-03-02T00:10:38Z
dc.date.issued2001
dc.date.modified2014-06-19T22:41:37Z
dc.identifier.issn1000-9000
dc.identifier.doi10.1007/BF02948986
dc.identifier.urihttp://hdl.handle.net/10072/60626
dc.description.abstractIn this paper, the relationship between argumentation and closed world reasoning for disjunctive information is studied. In particular, the authors propose a simple and intuitive generalization of the closed world assumption (CWA) for general disjunctive deductive databases (with default negation). This semantics called DCWA, allows a natural argumentation-based interpretation and can beused to represent reasoning for disjunctive information. We compare DCWA with GCWA and prove that DCWA extends Minker’s GCWA to the class of disjunctive databases with default negation. Also we compare our semantics with some related approaches. In addition, the computational complexity of DCWA is investigated.
dc.description.peerreviewedYes
dc.description.publicationstatusYes
dc.languageEnglish
dc.language.isoeng
dc.publisherSpringer
dc.publisher.placeBeijing
dc.relation.ispartofpagefrom381
dc.relation.ispartofpageto387
dc.relation.ispartofissue4
dc.relation.ispartofjournalJournal of Computer Science and Technology
dc.relation.ispartofvolume16
dc.subject.fieldofresearchInformation and Computing Sciences
dc.subject.fieldofresearchcode08
dc.titleClosed world assumption for disjunctive reasoning
dc.typeJournal article
dc.type.descriptionC1 - Articles
dc.type.codec1x
gro.facultyFaculty of Engineering and Information Technology
gro.hasfulltextNo Full Text
gro.griffith.authorWang, Kewen


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

  • Journal articles
    Contains articles published by Griffith authors in scholarly journals.

Show simple item record