Show simple item record

dc.contributor.convenorMichael J. Oudshoornen_AU
dc.contributor.authorA. Hagen, Richarden_US
dc.contributor.authorSattar, Abdulen_US
dc.contributor.authorGoodwin, Scotten_US
dc.contributor.editorMichael J.Oudshoornen_US
dc.date.accessioned2017-05-03T12:09:48Z
dc.date.available2017-05-03T12:09:48Z
dc.date.issued2003en_US
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.en_US
dc.description.peerreviewedYesen_US
dc.description.publicationstatusYesen_AU
dc.format.extent239007 bytes
dc.format.mimetypeapplication/pdf
dc.languageEnglishen_US
dc.language.isoen_AU
dc.publisherAustralian Computer Society Inc.en_US
dc.publisher.placeSydneyen_US
dc.publisher.urihttp://crpit.com/abstracts/CRPITV16Hagen.htmlen_US
dc.relation.ispartofconferencenameComputer Science 2003 Twenty-Sixth Australasian Computer Science Conferenceen_US
dc.relation.ispartofconferencetitleProceedings of the Twenty-Sixth Australasian Computer Science Conference, Adelaide, Australia, February 2003.en_US
dc.relation.ispartofdatefrom2003-02-04en_US
dc.relation.ispartofdateto2003-02-07en_US
dc.relation.ispartoflocationAdelaideen_US
dc.subject.fieldofresearchcode280213en_US
dc.titleImproving Search in a Hypothetical Reasoning Systemen_US
dc.typeConference outputen_US
dc.type.descriptionE1 - Conference Publications (HERDC)en_US
dc.type.codeE - Conference Publicationsen_US
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.en_US
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