{"id":"https://openalex.org/W334299520","doi":null,"title":"Coupled resolution engines for programming knowledge based systems in logic","display_name":"Coupled resolution engines for programming knowledge based systems in logic","publication_year":1989,"publication_date":"1989-01-01","ids":{"openalex":"https://openalex.org/W334299520","mag":"334299520"},"language":"en","primary_location":{"id":"pmh:oai:CiteSeerX.psu:10.1.1.701.9889","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.701.9889","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.macs.hw.ac.uk/%7Ehamish/ps/phd.pdf","raw_type":"text"},"volume":null,"type":"article","is_traditional":true,"indexed_in":[],"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/A5068022015","display_name":"Hamish Taylor","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Hamish Taylor","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5068022015"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.346,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.59639923,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.8353999853134155,"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.8353999853134155,"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.06459999829530716,"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"}},{"id":"https://openalex.org/T10906","display_name":"AI-based Problem Solving and Planning","score":0.06350000202655792,"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/expert-systems","display_name":"expert systems","score":0.8140000104904175},{"id":"https://openalex.org/keywords/logic-programming","display_name":"logic programming","score":0.8799999952316284},{"id":"https://openalex.org/keywords/resolution-theorem-proving","display_name":"resolution theorem proving","score":0.7120000123977661}],"concepts":[{"id":"https://openalex.org/C81721847","wikidata":"https://www.wikidata.org/wiki/Q163468","display_name":"Prolog","level":2,"score":0.9232053160667419},{"id":"https://openalex.org/C128838566","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic programming","level":2,"score":0.7999622821807861},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7972708940505981},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6556301712989807},{"id":"https://openalex.org/C46743427","wikidata":"https://www.wikidata.org/wiki/Q1341685","display_name":"Inference engine","level":3,"score":0.5682012438774109},{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.5339879393577576},{"id":"https://openalex.org/C34165917","wikidata":"https://www.wikidata.org/wiki/Q188267","display_name":"Programming paradigm","level":2,"score":0.4819900393486023},{"id":"https://openalex.org/C189790780","wikidata":"https://www.wikidata.org/wiki/Q933932","display_name":"Horn clause","level":3,"score":0.4789165258407593},{"id":"https://openalex.org/C50033165","wikidata":"https://www.wikidata.org/wiki/Q15712089","display_name":"Inductive programming","level":3,"score":0.47279900312423706},{"id":"https://openalex.org/C4554734","wikidata":"https://www.wikidata.org/wiki/Q593744","display_name":"Knowledge base","level":2,"score":0.46634596586227417},{"id":"https://openalex.org/C120558287","wikidata":"https://www.wikidata.org/wiki/Q1418502","display_name":"Procedural programming","level":4,"score":0.4411606192588806},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.1737757921218872}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:CiteSeerX.psu:10.1.1.701.9889","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.701.9889","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.macs.hw.ac.uk/%7Ehamish/ps/phd.pdf","raw_type":"text"},{"id":"mag:334299520","doi":null,"is_oa":false,"landing_page_url":"http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.253854","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":125,"referenced_works":["https://openalex.org/W5023611","https://openalex.org/W24842412","https://openalex.org/W28822005","https://openalex.org/W33547770","https://openalex.org/W35848413","https://openalex.org/W43975728","https://openalex.org/W46517763","https://openalex.org/W49071959","https://openalex.org/W56921414","https://openalex.org/W60816665","https://openalex.org/W65123984","https://openalex.org/W78425815","https://openalex.org/W83875380","https://openalex.org/W84896566","https://openalex.org/W85468207","https://openalex.org/W88990880","https://openalex.org/W92368220","https://openalex.org/W93088177","https://openalex.org/W96537591","https://openalex.org/W100489838","https://openalex.org/W104274908","https://openalex.org/W115754324","https://openalex.org/W115757739","https://openalex.org/W117015770","https://openalex.org/W125960988","https://openalex.org/W131848451","https://openalex.org/W132294151","https://openalex.org/W134824564","https://openalex.org/W136416057","https://openalex.org/W136576737","https://openalex.org/W138572563","https://openalex.org/W144089366","https://openalex.org/W147006928","https://openalex.org/W159710003","https://openalex.org/W164962280","https://openalex.org/W172945512","https://openalex.org/W180996895","https://openalex.org/W181759094","https://openalex.org/W184223775","https://openalex.org/W184979250","https://openalex.org/W187371254","https://openalex.org/W193574555","https://openalex.org/W197939411","https://openalex.org/W202270155","https://openalex.org/W203401512","https://openalex.org/W229636913","https://openalex.org/W326023023","https://openalex.org/W438108364","https://openalex.org/W1479676602","https://openalex.org/W1482532876","https://openalex.org/W1502343123","https://openalex.org/W1503179130","https://openalex.org/W1503740743","https://openalex.org/W1508859734","https://openalex.org/W1514620164","https://openalex.org/W1522225310","https://openalex.org/W1527935828","https://openalex.org/W1530765221","https://openalex.org/W1530974209","https://openalex.org/W1536402233","https://openalex.org/W1545478138","https://openalex.org/W1548505684","https://openalex.org/W1550844224","https://openalex.org/W1552346309","https://openalex.org/W1562460337","https://openalex.org/W1576264880","https://openalex.org/W1576609504","https://openalex.org/W1585085979","https://openalex.org/W1586891858","https://openalex.org/W1595663182","https://openalex.org/W1602023752","https://openalex.org/W1604663342","https://openalex.org/W1766332311","https://openalex.org/W1770006921","https://openalex.org/W1984097535","https://openalex.org/W2003812531","https://openalex.org/W2017637575","https://openalex.org/W2018083690","https://openalex.org/W2021503621","https://openalex.org/W2023578426","https://openalex.org/W2028543183","https://openalex.org/W2029735324","https://openalex.org/W2033514658","https://openalex.org/W2034828140","https://openalex.org/W2051223322","https://openalex.org/W2053384008","https://openalex.org/W2055093184","https://openalex.org/W2055823834","https://openalex.org/W2064811181","https://openalex.org/W2069430439","https://openalex.org/W2071136304","https://openalex.org/W2072794470","https://openalex.org/W2076248384","https://openalex.org/W2079259376","https://openalex.org/W2081448291","https://openalex.org/W2092842298","https://openalex.org/W2099859391","https://openalex.org/W2100738443","https://openalex.org/W2103219113","https://openalex.org/W2108911687","https://openalex.org/W2111646587","https://openalex.org/W2116070819","https://openalex.org/W2123396057","https://openalex.org/W2132063146","https://openalex.org/W2138404642","https://openalex.org/W2138709157","https://openalex.org/W2143211847","https://openalex.org/W2143326699","https://openalex.org/W2143382644","https://openalex.org/W2146293637","https://openalex.org/W2148389812","https://openalex.org/W2155770311","https://openalex.org/W2161160885","https://openalex.org/W2163058466","https://openalex.org/W2165467455","https://openalex.org/W2172307690","https://openalex.org/W2175268987","https://openalex.org/W2474932500","https://openalex.org/W2757881148","https://openalex.org/W2762514766","https://openalex.org/W2989925984","https://openalex.org/W3129197529","https://openalex.org/W3144054342","https://openalex.org/W3144368627","https://openalex.org/W3202953747"],"related_works":["https://openalex.org/W1513063139","https://openalex.org/W94240311","https://openalex.org/W2066872458","https://openalex.org/W5293904","https://openalex.org/W2494827040","https://openalex.org/W2463142531","https://openalex.org/W7099988588","https://openalex.org/W593894321","https://openalex.org/W64915775","https://openalex.org/W2059647742"],"abstract_inverted_index":{"This":[0,78],"copy":[1],"of":[2,48,55],"the":[3,20,31,44,49],"thesis":[4],"has":[5,80,103],"been":[6,82,104],"supplied":[7],"on":[8],"condition":[9],"that":[10,19,27],"anyone,":[11],"who":[12],"consults":[13],"it,":[14],"is":[15,58,76],"under-stood":[16],"to":[17],"recognise":[18],"copyright":[21],"rests":[22],"with":[23],"its":[24],"author,":[25,50],"and":[26,33],"any":[28,34,87,93],"quotation":[29],"from":[30,37],"the-sis":[32],"information":[35],"derived":[36],"it":[38],"may":[39],"only":[40],"be":[41,107],"published":[42,108],"without":[43],"prior":[45],"written":[46],"con-sent":[47],"if":[51],"a":[52],"full":[53],"acknowledgement":[54,75],"this":[56,65,91,101],"source":[57],"made.":[59,77],"Declaration":[60],"The":[61],"work":[62],"presented":[63,99],"in":[64,100],"dissertation":[66,79],"was":[67],"carried":[68],"out":[69],"by":[70,84],"myself,":[71],"except":[72],"where":[73],"due":[74],"not":[81],"submitted":[83],"me":[85],"for":[86],"other":[88,94],"degree":[89],"at":[90],"or":[92,105],"university.":[95],"However,":[96],"some":[97],"material":[98],"document":[102],"will":[106],"as":[109],"follows:":[110]},"counts_by_year":[],"updated_date":"2026-11-04T10:54:05.112534","created_date":"2016-06-24T00:00:00"}