Show simple item record

dc.contributor.convenorFrancesca Rossi
dc.contributor.authorGebser, Martin
dc.contributor.authorKaufmann, Benjamin
dc.contributor.authorSchaub, Torsten
dc.contributor.editorSebastian Thrun, Francesca Rossi
dc.date.accessioned2017-12-05T01:45:56Z
dc.date.available2017-12-05T01:45:56Z
dc.date.issued2013
dc.identifier.refurihttp://ijcai13.org/
dc.identifier.urihttp://hdl.handle.net/10072/59772
dc.description.abstractWe introduce a new approach to disjunctive ASP solving that aims at an equitable interplay between "generating" and "testing" solver units. To this end, we develop novel characterizations of answer sets and unfounded sets allowing for a bidirectional dynamic information exchange between solver units for orthogonal tasks. This results in the new multithreaded disjunctive ASP solver claspD-2, greatly improving the performance of existing systems.
dc.description.peerreviewedYes
dc.description.publicationstatusYes
dc.format.extent362403 bytes
dc.format.mimetypeapplication/pdf
dc.languageEnglish
dc.language.isoeng
dc.publisherAAAI Press
dc.publisher.placeUnited States
dc.publisher.urihttp://www.ijcai.org/Abstract/13/140
dc.relation.ispartofstudentpublicationN
dc.relation.ispartofconferencenameIJCAI-13
dc.relation.ispartofconferencetitleTwenty-Third International Joint Conference on Artificial Intelligence (IJCAI-13) proceedings
dc.relation.ispartofdatefrom2013-08-03
dc.relation.ispartofdateto2013-08-09
dc.relation.ispartoflocationBeijing, China
dc.relation.ispartofpagefrom912
dc.relation.ispartofpageto918
dc.rights.retentionY
dc.subject.fieldofresearchAdaptive Agents and Intelligent Robotics
dc.subject.fieldofresearchcode080101
dc.titleAdvanced conflict-driven disjunctive answer set solving
dc.typeConference output
dc.type.descriptionE1 - Conferences
dc.type.codeE - Conference Publications
dc.description.versionVersion of Record (VoR)
gro.rights.copyright© 2013 International Joint Conference on Artificial Intelligence. The attached file is reproduced here in accordance with the copyright policy of the publisher. Please refer to the Conference's website for access to the definitive, published version.
gro.date.issued2015-02-26T05:45:24Z
gro.hasfulltextFull Text
gro.griffith.authorSchaub, Torsten


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