{"id":"https://openalex.org/W2076641616","doi":"https://doi.org/10.1109/aire.2014.6894854","title":"On requirements representation and reasoning using answer set programming","display_name":"On requirements representation and reasoning using answer set programming","publication_year":2014,"publication_date":"2014-08-01","ids":{"openalex":"https://openalex.org/W2076641616","doi":"https://doi.org/10.1109/aire.2014.6894854","mag":"2076641616"},"language":"en","primary_location":{"id":"doi:10.1109/aire.2014.6894854","is_oa":false,"landing_page_url":"https://doi.org/10.1109/aire.2014.6894854","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2014 IEEE 1st International Workshop on Artificial Intelligence for Requirements Engineering (AIRE)","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5005596564","display_name":"Juli\u00e1n Padget","orcid":"https://orcid.org/0000-0003-1314-2094"},"institutions":[{"id":"https://openalex.org/I51601045","display_name":"University of Bath","ror":"https://ror.org/002h8g185","country_code":"GB","type":"education","lineage":["https://openalex.org/I51601045"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Julian Padget","raw_affiliation_strings":["Department of Computer Science, University of Bath, UK","Department of Computer Science, University of Bath, Uk"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Bath, UK","institution_ids":["https://openalex.org/I51601045"]},{"raw_affiliation_string":"Department of Computer Science, University of Bath, Uk","institution_ids":["https://openalex.org/I51601045"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5032536091","display_name":"Emad Eldeen Elakehal","orcid":null},"institutions":[{"id":"https://openalex.org/I51601045","display_name":"University of Bath","ror":"https://ror.org/002h8g185","country_code":"GB","type":"education","lineage":["https://openalex.org/I51601045"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Emad Eldeen Elakehal","raw_affiliation_strings":["Department of Computer Science, University of Bath, UK","Department of Computer Science, University of Bath, Uk"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Bath, UK","institution_ids":["https://openalex.org/I51601045"]},{"raw_affiliation_string":"Department of Computer Science, University of Bath, Uk","institution_ids":["https://openalex.org/I51601045"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5113451385","display_name":"Ken Satoh","orcid":null},"institutions":[{"id":"https://openalex.org/I184597095","display_name":"National Institute of Informatics","ror":"https://ror.org/04ksd4g47","country_code":"JP","type":"facility","lineage":["https://openalex.org/I1319490839","https://openalex.org/I184597095","https://openalex.org/I4210158934"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Ken Satoh","raw_affiliation_strings":["National Institute of Informatics and Sokendai, Japan","National Institute of Informatics and Sokendai, Japan#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"National Institute of Informatics and Sokendai, Japan","institution_ids":["https://openalex.org/I184597095"]},{"raw_affiliation_string":"National Institute of Informatics and Sokendai, Japan#TAB#","institution_ids":["https://openalex.org/I184597095"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5103091045","display_name":"Fuyuki Ishikawa","orcid":"https://orcid.org/0000-0001-7725-2618"},"institutions":[{"id":"https://openalex.org/I184597095","display_name":"National Institute of Informatics","ror":"https://ror.org/04ksd4g47","country_code":"JP","type":"facility","lineage":["https://openalex.org/I1319490839","https://openalex.org/I184597095","https://openalex.org/I4210158934"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Fuyuki Ishikawa","raw_affiliation_strings":["National Institute of Informatics, Japan","National institute of informatics, Japan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"National Institute of Informatics, Japan","institution_ids":["https://openalex.org/I184597095"]},{"raw_affiliation_string":"National institute of informatics, Japan","institution_ids":["https://openalex.org/I184597095"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.2687,"has_fulltext":false,"cited_by_count":7,"citation_normalized_percentile":{"value":0.85399419,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":96},"biblio":{"volume":"8291","issue":null,"first_page":"35","last_page":"42"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10456","display_name":"Multi-Agent Systems and Negotiation","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9878000020980835,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7624111175537109},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.6187766194343567},{"id":"https://openalex.org/keywords/metamodeling","display_name":"Metamodeling","score":0.5674191117286682},{"id":"https://openalex.org/keywords/agile-software-development","display_name":"Agile software development","score":0.5073692202568054},{"id":"https://openalex.org/keywords/software-system","display_name":"Software system","score":0.4372374713420868},{"id":"https://openalex.org/keywords/business-requirements","display_name":"Business requirements","score":0.4253261983394623},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3803466558456421},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.3370249569416046},{"id":"https://openalex.org/keywords/systems-engineering","display_name":"Systems engineering","score":0.33447688817977905},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.28668051958084106},{"id":"https://openalex.org/keywords/business-process","display_name":"Business process","score":0.19821780920028687},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.11560171842575073}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7624111175537109},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.6187766194343567},{"id":"https://openalex.org/C86610423","wikidata":"https://www.wikidata.org/wiki/Q1925081","display_name":"Metamodeling","level":2,"score":0.5674191117286682},{"id":"https://openalex.org/C14185376","wikidata":"https://www.wikidata.org/wiki/Q30232","display_name":"Agile software development","level":2,"score":0.5073692202568054},{"id":"https://openalex.org/C149091818","wikidata":"https://www.wikidata.org/wiki/Q2429814","display_name":"Software system","level":3,"score":0.4372374713420868},{"id":"https://openalex.org/C123247970","wikidata":"https://www.wikidata.org/wiki/Q5001932","display_name":"Business requirements","level":4,"score":0.4253261983394623},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3803466558456421},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.3370249569416046},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.33447688817977905},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.28668051958084106},{"id":"https://openalex.org/C85345410","wikidata":"https://www.wikidata.org/wiki/Q851587","display_name":"Business process","level":3,"score":0.19821780920028687},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.11560171842575073},{"id":"https://openalex.org/C2778648169","wikidata":"https://www.wikidata.org/wiki/Q967768","display_name":"Compatibility (geochemistry)","level":2,"score":0.0},{"id":"https://openalex.org/C42360764","wikidata":"https://www.wikidata.org/wiki/Q83588","display_name":"Chemical engineering","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1109/aire.2014.6894854","is_oa":false,"landing_page_url":"https://doi.org/10.1109/aire.2014.6894854","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2014 IEEE 1st International Workshop on Artificial Intelligence for Requirements Engineering (AIRE)","raw_type":"proceedings-article"},{"id":"pmh:oai:opus.bath.ac.uk:45451","is_oa":false,"landing_page_url":"http://opus.bath.ac.uk/45451/1/aire14_crc.pdf","pdf_url":null,"source":{"id":"https://openalex.org/S4306401631","display_name":"The University of Bath Online Publications Store (The University of Bath)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I51601045","host_organization_name":"University of Bath","host_organization_lineage":["https://openalex.org/I51601045"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":"","raw_type":"Conference or Workshop Items"},{"id":"pmh:oai:purehost.bath.ac.uk:publications/13f8c354-8820-476c-bc00-2727d79d2901","is_oa":false,"landing_page_url":"https://researchportal.bath.ac.uk/en/publications/13f8c354-8820-476c-bc00-2727d79d2901","pdf_url":null,"source":{"id":"https://openalex.org/S4377196294","display_name":"Pure (University of Bath)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I51601045","host_organization_name":"University of Bath","host_organization_lineage":["https://openalex.org/I51601045"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":""}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Industry, innovation and infrastructure","id":"https://metadata.un.org/sdg/9","score":0.41999998688697815}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":51,"referenced_works":["https://openalex.org/W27688605","https://openalex.org/W137085984","https://openalex.org/W170631939","https://openalex.org/W188944008","https://openalex.org/W326286545","https://openalex.org/W1482532598","https://openalex.org/W1485575985","https://openalex.org/W1516687603","https://openalex.org/W1568010849","https://openalex.org/W1568555283","https://openalex.org/W1583439140","https://openalex.org/W1590109373","https://openalex.org/W1606891084","https://openalex.org/W1607886930","https://openalex.org/W1654692083","https://openalex.org/W1869778509","https://openalex.org/W1975701403","https://openalex.org/W2008190734","https://openalex.org/W2012280568","https://openalex.org/W2070630043","https://openalex.org/W2073077149","https://openalex.org/W2076698873","https://openalex.org/W2090948362","https://openalex.org/W2094838541","https://openalex.org/W2099749184","https://openalex.org/W2108247069","https://openalex.org/W2115648475","https://openalex.org/W2119471769","https://openalex.org/W2128788546","https://openalex.org/W2130273205","https://openalex.org/W2137200446","https://openalex.org/W2137671432","https://openalex.org/W2148787155","https://openalex.org/W2155867448","https://openalex.org/W2162255975","https://openalex.org/W2165808003","https://openalex.org/W2271357370","https://openalex.org/W2899987233","https://openalex.org/W2910736593","https://openalex.org/W4285719527","https://openalex.org/W6605483243","https://openalex.org/W6606852694","https://openalex.org/W6607609017","https://openalex.org/W6629081023","https://openalex.org/W6631067380","https://openalex.org/W6634004851","https://openalex.org/W6636234602","https://openalex.org/W6639086533","https://openalex.org/W6652640654","https://openalex.org/W6677521637","https://openalex.org/W6682639537"],"related_works":["https://openalex.org/W2080167534","https://openalex.org/W3146440365","https://openalex.org/W2011315860","https://openalex.org/W2140792736","https://openalex.org/W2280241695","https://openalex.org/W2130588191","https://openalex.org/W4239214709","https://openalex.org/W86865726","https://openalex.org/W4231268542","https://openalex.org/W2361245240"],"abstract_inverted_index":{"We":[0,38],"describe":[1],"an":[2,192],"approach":[3,42,136],"to":[4,17,121,144,151,165,217,246,283],"the":[5,21,41,66,98,105,115,123,139,148,170,263,271],"representation":[6,77],"of":[7,23,51,68,92,100,107,128,172,186,224,232,273,288],"requirements":[8,269],"using":[9],"answer":[10],"set":[11],"programming":[12],"and":[13,55,78,84,114,126,191,239,254,285],"how":[14,40],"this":[15],"leads":[16],"a":[18,31,49,62,72,86,173,189,209,228,279],"vision":[19],"for":[20,75,110],"role":[22],"artificial":[24,56],"intelligence":[25,57],"techniques":[26],"in":[27,104,131,142,160,169,208,270],"software":[28,53,87,156],"engineering":[29],"with":[30],"particular":[32],"focus":[33],"on":[34],"adaptive":[35],"business":[36,108],"systems.":[37,94,134,290],"outline":[39],"has":[43],"developed":[44],"over":[45,262],"several":[46,101],"years":[47,102],"through":[48,220,268],"combination":[50],"commercial":[52],"development":[54,106],"research,":[58],"resulting":[59],"in:":[60],"(i)":[61],"metamodel":[63,96],"that":[64,89,141,157,161,275],"incorporates":[65],"notion":[67],"runtime":[69,116],"requirements,":[70],"(ii)":[71],"formal":[73],"language":[74],"their":[76],"its":[79],"supporting":[80],"computational":[81],"model":[82],"(InstAL),":[83],"(iii)":[85],"architecture":[88],"enables":[90],"monitoring":[91],"distributed":[93,132],"The":[95],"is":[97,118,163,181,235,281],"result":[99],"experience":[103],"systems":[109],"e-tailing,":[111],"while":[112],"InstAL":[113],"monitor":[117,247],"on-going":[119],"research":[120],"support":[122],"specification,":[124],"verification":[125],"application":[127],"normative":[129],"frameworks":[130],"intelligent":[133],"Our":[135],"derives":[137],"from":[138],"view":[140],"order":[143],"build":[145],"agile":[146],"systems,":[147],"components":[149,203,234],"need":[150],"be":[152,166,197,206,218,266,277],"structured":[153],"more":[154],"like":[155],"controls":[158],"robots,":[159],"it":[162,243],"designed":[164],"relatively":[167],"resilient":[168],"face":[171],"non-deterministic,":[174],"dynamic,":[175],"complex":[176,238],"environment":[177],"about":[178],"which":[179],"there":[180],"incomplete":[182],"information.":[183],"Thus,":[184],"degrees":[185],"autonomy":[187],"become":[188],"strength":[190],"opportunity,":[193],"but":[194],"must":[195],"somehow":[196],"constrained":[198],"by":[199],"informing":[200],"these":[201],"autonomous":[202,233],"what":[204,213],"should":[205],"done":[207],"certain":[210],"situation":[211],"or":[212],"system":[214,229,264],"state":[215],"ought":[216],"achieved":[219],"norms":[221],"as":[222],"expressions":[223],"requirements.":[225],"Because":[226],"such":[227],"made":[230],"up":[231],"potentially":[236],"behaviourally":[237],"not":[240,256],"just":[241],"complicated,":[242],"becomes":[244],"essential":[245],"both":[248],"whether":[249],"norms/requirements":[250],"are":[251],"being":[252],"fulfilled":[253],"if":[255],"why":[257],"not.":[258],"Finally,":[259],"because":[260],"control":[261],"can":[265,276],"expressed":[267],"form":[272],"data":[274],"changed,":[278],"route":[280],"opened":[282],"adjustment":[284],"dynamic":[286],"re-direction":[287],"running":[289]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2021,"cited_by_count":2},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":2}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}