Please use this identifier to cite or link to this item: https://hdl.handle.net/20.500.14365/3980
Full metadata record
DC FieldValueLanguage
dc.contributor.authorAkgun O.-
dc.contributor.authorMiguel I.-
dc.contributor.authorJefferson C.-
dc.contributor.authorFrisch A.M.-
dc.contributor.authorHnich B.-
dc.date.accessioned2023-06-16T15:06:33Z-
dc.date.available2023-06-16T15:06:33Z-
dc.date.issued2011-
dc.identifier.isbn9.78158E+12-
dc.identifier.urihttps://hdl.handle.net/20.500.14365/3980-
dc.descriptionAssociation for the Advancement of Artificial Intelligence (AAAI);National Science Foundation;AI Journal;Google, Inc.;Microsoft Researchen_US
dc.description25th AAAI Conference on Artificial Intelligence and the 23rd Innovative Applications of Artificial Intelligence Conference, AAAI-11 / IAAI-11 -- 7 August 2011 through 11 August 2011 -- San Francisco, CA -- 87049en_US
dc.description.abstractIn constraint solving, a critical bottleneck is the formulation of an effective constraint model of a given problem. The CONJURE system described in this paper, a substantial step forward over prototype versions of CONJURE previously reported, makes a valuable contribution to the automation of constraint modelling by automatically producing constraint models from their specifications in the abstract constraint specification language ESSENCE. A set of rules is used to refine an abstract specification into a concrete constraint model. We demonstrate that this set of rules is readily extensible to increase the space of possible constraint models CONJURE can produce. Our empirical results confirm that CONJURE can reproduce successfully the kernels of the constraint models of 32 benchmark problems found in the literature. Copyright © 2011, Association for the Advancement of Artificial Intelligence. All rights reserved.en_US
dc.language.isoenen_US
dc.relation.ispartofProceedings of the National Conference on Artificial Intelligenceen_US
dc.rightsinfo:eu-repo/semantics/closedAccessen_US
dc.subjectAbstract specificationsen_US
dc.subjectBench-mark problemsen_US
dc.subjectConstraint modelen_US
dc.subjectConstraint modellingen_US
dc.subjectConstraint Solvingen_US
dc.subjectConstraint specification languagesen_US
dc.subjectEmpirical resultsen_US
dc.subjectPrototype versionsen_US
dc.subjectSet of rulesen_US
dc.subjectAbstractingen_US
dc.subjectSpecification languagesen_US
dc.subjectSpecificationsen_US
dc.subjectArtificial intelligenceen_US
dc.titleExtensible automated constraint modellingen_US
dc.typeConference Objecten_US
dc.identifier.scopus2-s2.0-80055050149en_US
dc.authorscopusid53979404400-
dc.authorscopusid56232171100-
dc.authorscopusid7005590984-
dc.authorscopusid6602458958-
dc.identifier.volume1en_US
dc.identifier.startpage4en_US
dc.identifier.endpage11en_US
dc.relation.publicationcategoryKonferans Öğesi - Uluslararası - Kurum Öğretim Elemanıen_US
dc.identifier.scopusqualityN/A-
dc.identifier.wosqualityN/A-
item.grantfulltextreserved-
item.openairetypeConference Object-
item.openairecristypehttp://purl.org/coar/resource_type/c_18cf-
item.fulltextWith Fulltext-
item.languageiso639-1en-
item.cerifentitytypePublications-
Appears in Collections:Scopus İndeksli Yayınlar Koleksiyonu / Scopus Indexed Publications Collection
Files in This Item:
File SizeFormat 
3007.pdf
  Restricted Access		161.15 kBAdobe PDFView/Open    Request a copy
Show simple item record



CORE Recommender

SCOPUSTM   
Citations

19
checked on Nov 20, 2024

Page view(s)

64
checked on Nov 18, 2024

Google ScholarTM

Check




Altmetric


Items in GCRIS Repository are protected by copyright, with all rights reserved, unless otherwise indicated.