{"id":"https://openalex.org/W2051156733","doi":"https://doi.org/10.1142/s0218213001000684","title":"THE APPLICATION OF MACHINE LEARNING TOOLS TO THE VALIDATION OF AN AIR TRAFFIC CONTROL DOMAIN THEORY","display_name":"THE APPLICATION OF MACHINE LEARNING TOOLS TO THE VALIDATION OF AN AIR TRAFFIC CONTROL DOMAIN THEORY","publication_year":2001,"publication_date":"2001-12-01","ids":{"openalex":"https://openalex.org/W2051156733","doi":"https://doi.org/10.1142/s0218213001000684","mag":"2051156733"},"language":"en","primary_location":{"id":"doi:10.1142/s0218213001000684","is_oa":false,"landing_page_url":"https://doi.org/10.1142/s0218213001000684","pdf_url":null,"source":{"id":"https://openalex.org/S178780388","display_name":"International Journal of Artificial Intelligence Tools","issn_l":"0218-2130","issn":["0218-2130","1793-6349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319815","host_organization_name":"World Scientific","host_organization_lineage":["https://openalex.org/P4310319815"],"host_organization_lineage_names":["World Scientific"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal on Artificial Intelligence Tools","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"http://eprints.hud.ac.uk/id/eprint/543/1/AccessIJAITy.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5109044019","display_name":"Margaret M. West","orcid":null},"institutions":[{"id":"https://openalex.org/I133837150","display_name":"University of Huddersfield","ror":"https://ror.org/05t1h8f27","country_code":"GB","type":"education","lineage":["https://openalex.org/I133837150"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"M. M. WEST","raw_affiliation_strings":["School of Computing and Mathematics, The University of Huddersfield, HD1\u20093DH, UK"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Computing and Mathematics, The University of Huddersfield, HD1\u20093DH, UK","institution_ids":["https://openalex.org/I133837150"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5010229910","display_name":"T.L. McCluskey","orcid":"https://orcid.org/0000-0001-8181-8127"},"institutions":[{"id":"https://openalex.org/I133837150","display_name":"University of Huddersfield","ror":"https://ror.org/05t1h8f27","country_code":"GB","type":"education","lineage":["https://openalex.org/I133837150"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"T. L. McCLUSKEY","raw_affiliation_strings":["School of Computing and Mathematics, The University of Huddersfield, HD1\u20093DH, UK"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Computing and Mathematics, The University of Huddersfield, HD1\u20093DH, UK","institution_ids":["https://openalex.org/I133837150"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5109044019"],"corresponding_institution_ids":["https://openalex.org/I133837150"],"apc_list":null,"apc_paid":null,"fwci":0.5466,"has_fulltext":true,"cited_by_count":7,"citation_normalized_percentile":{"value":0.78329764,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"10","issue":"04","first_page":"613","last_page":"637"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10181","display_name":"Natural Language Processing Techniques","score":0.9994000196456909,"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/T10181","display_name":"Natural Language Processing Techniques","score":0.9994000196456909,"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/T10260","display_name":"Software Engineering Research","score":0.9986000061035156,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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.9979000091552734,"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.8685022592544556},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.6813462972640991},{"id":"https://openalex.org/keywords/domain-theory","display_name":"Domain theory","score":0.5685065984725952},{"id":"https://openalex.org/keywords/air-traffic-control","display_name":"Air traffic control","score":0.5580247640609741},{"id":"https://openalex.org/keywords/component","display_name":"Component (thermodynamics)","score":0.5465018153190613},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.5214361548423767},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.4664788842201233},{"id":"https://openalex.org/keywords/mode","display_name":"Mode (computer interface)","score":0.4225214123725891},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.3943633437156677},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.33431389927864075},{"id":"https://openalex.org/keywords/human\u2013computer-interaction","display_name":"Human\u2013computer interaction","score":0.21289575099945068}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8685022592544556},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.6813462972640991},{"id":"https://openalex.org/C29585364","wikidata":"https://www.wikidata.org/wiki/Q1079166","display_name":"Domain theory","level":2,"score":0.5685065984725952},{"id":"https://openalex.org/C166961238","wikidata":"https://www.wikidata.org/wiki/Q221395","display_name":"Air traffic control","level":2,"score":0.5580247640609741},{"id":"https://openalex.org/C168167062","wikidata":"https://www.wikidata.org/wiki/Q1117970","display_name":"Component (thermodynamics)","level":2,"score":0.5465018153190613},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.5214361548423767},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.4664788842201233},{"id":"https://openalex.org/C48677424","wikidata":"https://www.wikidata.org/wiki/Q6888088","display_name":"Mode (computer interface)","level":2,"score":0.4225214123725891},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.3943633437156677},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.33431389927864075},{"id":"https://openalex.org/C107457646","wikidata":"https://www.wikidata.org/wiki/Q207434","display_name":"Human\u2013computer interaction","level":1,"score":0.21289575099945068},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C97355855","wikidata":"https://www.wikidata.org/wiki/Q11473","display_name":"Thermodynamics","level":1,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C146978453","wikidata":"https://www.wikidata.org/wiki/Q3798668","display_name":"Aerospace engineering","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1142/s0218213001000684","is_oa":false,"landing_page_url":"https://doi.org/10.1142/s0218213001000684","pdf_url":null,"source":{"id":"https://openalex.org/S178780388","display_name":"International Journal of Artificial Intelligence Tools","issn_l":"0218-2130","issn":["0218-2130","1793-6349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319815","host_organization_name":"World Scientific","host_organization_lineage":["https://openalex.org/P4310319815"],"host_organization_lineage_names":["World Scientific"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal on Artificial Intelligence Tools","raw_type":"journal-article"},{"id":"pmh:oai:eprints.hud.ac.uk:543","is_oa":true,"landing_page_url":null,"pdf_url":"http://eprints.hud.ac.uk/id/eprint/543/1/AccessIJAITy.pdf","source":{"id":"https://openalex.org/S4306401852","display_name":"University of Huddersfield Repository (University of Huddersfield)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I133837150","host_organization_name":"University of Huddersfield","host_organization_lineage":["https://openalex.org/I133837150"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Article"}],"best_oa_location":{"id":"pmh:oai:eprints.hud.ac.uk:543","is_oa":true,"landing_page_url":null,"pdf_url":"http://eprints.hud.ac.uk/id/eprint/543/1/AccessIJAITy.pdf","source":{"id":"https://openalex.org/S4306401852","display_name":"University of Huddersfield Repository (University of Huddersfield)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I133837150","host_organization_name":"University of Huddersfield","host_organization_lineage":["https://openalex.org/I133837150"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2051156733.pdf","grobid_xml":"https://content.openalex.org/works/W2051156733.grobid-xml"},"referenced_works_count":11,"referenced_works":["https://openalex.org/W652893010","https://openalex.org/W1551385022","https://openalex.org/W1946621657","https://openalex.org/W1987902506","https://openalex.org/W1988418269","https://openalex.org/W2001375211","https://openalex.org/W2023301330","https://openalex.org/W2052603522","https://openalex.org/W2126006342","https://openalex.org/W2142545871","https://openalex.org/W2162152259"],"related_works":["https://openalex.org/W2044764672","https://openalex.org/W1562770917","https://openalex.org/W1530724957","https://openalex.org/W2089250532","https://openalex.org/W238907795","https://openalex.org/W2002795397","https://openalex.org/W1537567337","https://openalex.org/W1972879445","https://openalex.org/W2324060893","https://openalex.org/W2368237856"],"abstract_inverted_index":{"In":[0],"this":[1,91],"paper":[2],"we":[3,83,93],"describe":[4],"a":[5,66,114],"project":[6],"(IMPRESS)":[7],"in":[8,29,56,61,110],"which":[9,59,68],"machine":[10],"learning":[11],"(ML)":[12],"tools":[13,115],"were":[14,38,54],"created":[15],"and":[16,72,108],"utilised":[17],"for":[18,40],"the":[19,34,41,63,85,104,126],"validation":[20],"of":[21,44,65,87],"an":[22,57],"Air":[23],"Traffic":[24],"Control":[25],"domain":[26],"theory":[27,67],"written":[28],"first":[30],"order":[31],"logic.":[32],"During":[33],"project,":[35],"novel":[36],"techniques":[37,53],"devised":[39],"automated":[42],"revision":[43,75],"general":[45],"clause":[46],"form":[47],"theories":[48],"using":[49],"training":[50],"examples.":[51],"These":[52],"combined":[55],"algorithm":[58],"focused":[60,102],"on":[62],"parts":[64],"involve":[69],"ordinal":[70],"sorts,":[71],"applied":[73],"geometrical":[74],"operators":[76],"to":[77,90,96,103],"repair":[78],"faulty":[79],"component":[80],"parts.":[81],"While":[82],"illustrate":[84],"feasibility":[86],"applying":[88],"ML":[89],"area,":[92],"conclude":[94],"that":[95],"be":[97,101],"effective":[98],"it":[99],"must":[100],"application":[105],"at":[106],"hand,":[107],"used":[109],"mixed-initiative":[111],"mode":[112],"within":[113],"environment.":[116],"The":[117],"method":[118],"is":[119],"illustrated":[120],"with":[121],"experimental":[122],"results":[123],"obtained":[124],"during":[125],"project.":[127]},"counts_by_year":[{"year":2012,"cited_by_count":1}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}