Show simple item record

dc.contributor.convenorMichael J. Oudshoorn
dc.contributor.authorA. Hagen, Richard
dc.contributor.authorSattar, Abdul
dc.contributor.authorGoodwin, Scott
dc.contributor.editorMichael J.Oudshoorn
dc.date.accessioned2017-05-03T12:09:48Z
dc.date.available2017-05-03T12:09:48Z
dc.date.issued2003
dc.date.modified2008-07-11T04:58:44Z
dc.identifier.urihttp://hdl.handle.net/10072/1745
dc.description.abstractNonmonotonic reasoning has been a field vigorous study for a quarter of a century with practical implementations emerging during the last 15 years. Improving the efficiency of these systems is an important step in them gaining acceptance beyond the research sphere. The use of lemmas - small results can that can be reused later in a proof or derivation - might be one way of improving performance. We have extended an implementation of the THEORIST nonmonotonic reasoning system with four sorts of lemmas: goods, nongoods, derived literals and potential crucial literals. In this paper, we report the results of experiments designed to test wether these lemmas provide general performance boosts.
dc.description.peerreviewedYes
dc.description.publicationstatusYes
dc.format.extent239007 bytes
dc.format.mimetypeapplication/pdf
dc.languageEnglish
dc.language.isoeng
dc.publisherAustralian Computer Society Inc.
dc.publisher.placeSydney
dc.publisher.urihttp://crpit.com/abstracts/CRPITV16Hagen.html
dc.relation.ispartofconferencenameComputer Science 2003 Twenty-Sixth Australasian Computer Science Conference
dc.relation.ispartofconferencetitleProceedings of the Twenty-Sixth Australasian Computer Science Conference, Adelaide, Australia, February 2003.
dc.relation.ispartofdatefrom2003-02-04
dc.relation.ispartofdateto2003-02-07
dc.relation.ispartoflocationAdelaide
dc.subject.fieldofresearchcode280213
dc.titleImproving Search in a Hypothetical Reasoning System
dc.typeConference output
dc.type.descriptionE1 - Conferences
dc.type.codeE - Conference Publications
gro.rights.copyright© 2003 Australian Computer Society Inc. The attached file is reproduced here in accordance with the copyright policy of the publisher. Use hypertext link to access the publisher's website.
gro.date.issued2003
gro.hasfulltextFull Text
gro.griffith.authorSattar, Abdul


Files in this item

This item appears in the following Collection(s)

  • Conference outputs
    Contains papers delivered by Griffith authors at national and international conferences.

Show simple item record