{"id":"https://openalex.org/W1992786186","doi":"https://doi.org/10.1080/08839519108927927","title":"EXTENDING THE PROOF PLAN METHODOLOGY TO COMPUTER CONFIGURATION PROBLEMS","display_name":"EXTENDING THE PROOF PLAN METHODOLOGY TO COMPUTER CONFIGURATION PROBLEMS","publication_year":1991,"publication_date":"1991-01-01","ids":{"openalex":"https://openalex.org/W1992786186","doi":"https://doi.org/10.1080/08839519108927927","mag":"1992786186"},"language":"en","primary_location":{"id":"doi:10.1080/08839519108927927","doi":"https://doi.org/10.1080/08839519108927927","is_oa":false,"landing_page_url":"https://doi.org/10.1080/08839519108927927","pdf_url":null,"source":{"id":"https://openalex.org/S125501549","display_name":"Applied Artificial Intelligence","issn_l":"0883-9514","issn":["0883-9514","1087-6545"],"is_oa":false,"is_in_doaj":true,"is_core":true,"listed_in":["anvur-scientific","cwts-core","doaj","dongbi-c","jufo-1","ki-jl-1","norway-1","oarl","poland-40","russia-white-list-2"],"host_organization":"https://openalex.org/P4310320547","host_organization_name":"Taylor & Francis","host_organization_lineage":["https://openalex.org/P4310320547","https://openalex.org/P4310320449"],"host_organization_lineage_names":["Taylor & Francis","Informa"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Applied Artificial Intelligence","raw_type":"journal-article"},"volume":null,"type":"article","is_traditional":true,"indexed_in":["crossref","doaj"],"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/A5110217679","display_name":"Helen Lowe","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I98677209","display_name":"University of Edinburgh","ror":"https://ror.org/01nrxwf90","country_code":"GB","type":"education","lineage":["https://openalex.org/I98677209"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"HELEN LOWE","raw_affiliation_strings":["Department of Artificial Intelligence, University of Edinburgh, 80 South Bridge, Edinburgh, U.K"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Artificial Intelligence, University of Edinburgh, 80 South Bridge, Edinburgh, U.K","institution_ids":["https://openalex.org/I98677209"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5110217679"],"corresponding_institution_ids":["https://openalex.org/I98677209"],"apc_list":{"value":2195,"currency":"USD","value_usd":2195},"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.18890654,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":88,"max":93},"biblio":{"volume":"5","issue":"3","first_page":"227","last_page":"252"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10906","display_name":"AI-based Problem Solving and Planning","score":0.9980000257492065,"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/T10906","display_name":"AI-based Problem Solving and Planning","score":0.9980000257492065,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.0005000000237487257,"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.0003000000142492354,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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-configuration","display_name":"computer configuration","score":0.7329999804496765},{"id":"https://openalex.org/keywords/large-computer-systems","display_name":"large computer systems","score":0.6370000243186951},{"id":"https://openalex.org/keywords/sales-orders","display_name":"sales orders","score":0.5189999938011169},{"id":"https://openalex.org/keywords/planning-strategies","display_name":"planning strategies","score":0.40299999713897705},{"id":"https://openalex.org/keywords/theorem-proving","display_name":"theorem proving","score":0.5320000052452087}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8659147024154663},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.7054916620254517},{"id":"https://openalex.org/C2776505523","wikidata":"https://www.wikidata.org/wiki/Q4785468","display_name":"Plan (archaeology)","level":2,"score":0.6906362771987915},{"id":"https://openalex.org/C182306322","wikidata":"https://www.wikidata.org/wiki/Q1779371","display_name":"Order (exchange)","level":2,"score":0.5295686721801758},{"id":"https://openalex.org/C206880738","wikidata":"https://www.wikidata.org/wiki/Q431667","display_name":"Automated theorem proving","level":2,"score":0.4742545187473297},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.345022976398468},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.11301189661026001},{"id":"https://openalex.org/C10138342","wikidata":"https://www.wikidata.org/wiki/Q43015","display_name":"Finance","level":1,"score":0.05956658720970154},{"id":"https://openalex.org/C166957645","wikidata":"https://www.wikidata.org/wiki/Q23498","display_name":"Archaeology","level":1,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C95457728","wikidata":"https://www.wikidata.org/wiki/Q309","display_name":"History","level":0,"score":0.0},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1080/08839519108927927","doi":"https://doi.org/10.1080/08839519108927927","is_oa":false,"landing_page_url":"https://doi.org/10.1080/08839519108927927","pdf_url":null,"source":{"id":"https://openalex.org/S125501549","display_name":"Applied Artificial Intelligence","issn_l":"0883-9514","issn":["0883-9514","1087-6545"],"is_oa":false,"is_in_doaj":true,"is_core":true,"listed_in":["anvur-scientific","cwts-core","doaj","dongbi-c","jufo-1","ki-jl-1","norway-1","oarl","poland-40","russia-white-list-2"],"host_organization":"https://openalex.org/P4310320547","host_organization_name":"Taylor & Francis","host_organization_lineage":["https://openalex.org/P4310320547","https://openalex.org/P4310320449"],"host_organization_lineage_names":["Taylor & Francis","Informa"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Applied Artificial Intelligence","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320337041","display_name":"Department of Artificial Intelligence, Korea University","ror":null}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":7,"referenced_works":["https://openalex.org/W166237558","https://openalex.org/W2005004006","https://openalex.org/W2021337406","https://openalex.org/W2034500240","https://openalex.org/W2045066785","https://openalex.org/W2179064824","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W2622501507","https://openalex.org/W7100859125","https://openalex.org/W7033370479","https://openalex.org/W1874365936","https://openalex.org/W7097628469","https://openalex.org/W7100614363","https://openalex.org/W56488815","https://openalex.org/W127345038","https://openalex.org/W2601327412","https://openalex.org/W7095499883"],"abstract_inverted_index":{"Can":[0],"the":[1,25,57,65],"technique":[2],"of":[3,27,33,43,59],"proof":[4],"plans,":[5],"developed":[6],"originally":[7],"for":[8,47,61],"use":[9],"in":[10,68],"theorem":[11],"proving,":[12],"be":[13,52,74],"successfully":[14],"applied":[15],"outside":[16],"mathematics?":[17],"We":[18,55],"look":[19],"at":[20],"a":[21],"problem":[22],"associated":[23],"with":[24],"configuration":[26],"large":[28],"computer":[29],"systems,":[30],"namely":[31],"that":[32],"checking":[34,63],"orders":[35],"drawn":[36],"up":[37],"by":[38],"sales":[39],"people":[40],"on":[41],"behalf":[42],"customers.":[44],"Strategies":[45],"exist":[46],"this":[48],"task":[49],"which":[50],"may":[51],"explicitly":[53],"encoded.":[54],"discuss":[56],"formation":[58],"plans":[60,72],"order":[62],"and":[64],"factors":[66],"involved":[67],"determining":[69],"whether":[70],"such":[71],"can":[73],"guaranteed":[75],"to":[76],"succeed.":[77]},"counts_by_year":[{"year":2012,"cited_by_count":1}],"updated_date":"2026-10-30T12:39:25.321706","created_date":"2016-06-24T00:00:00"}