{"id":"https://openalex.org/W2378352143","doi":null,"title":"INTEGRATING THEOREM PROVING WITH OBJECT-ORIENTED PROGRAMMING FOR PROBLEM AUTOMATION","display_name":"INTEGRATING THEOREM PROVING WITH OBJECT-ORIENTED PROGRAMMING FOR PROBLEM AUTOMATION","publication_year":1996,"publication_date":"1996-01-01","ids":{"openalex":"https://openalex.org/W2378352143","mag":"2378352143"},"language":"en","primary_location":{"id":"mag:2378352143","doi":null,"is_oa":false,"landing_page_url":"https://en.cnki.com.cn/Article_en/CJFDTOTAL-JYRJ199602002.htm","pdf_url":null,"source":{"id":"https://openalex.org/S2764447030","display_name":"Computer Applications and Software","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":"Computer Applications and Software","raw_type":null},"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/A5079774825","display_name":"Ian Y","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Ian Y","raw_affiliation_strings":["UAN"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"UAN","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5079774825"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.0,"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/T10906","display_name":"AI-based Problem Solving and Planning","score":0.3747999966144562,"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.3747999966144562,"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/T13734","display_name":"Advanced Computational Techniques and Applications","score":0.15410000085830688,"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/T11734","display_name":"Decision Support System Applications","score":0.11840000003576279,"subfield":{"id":"https://openalex.org/subfields/1404","display_name":"Management Information Systems"},"field":{"id":"https://openalex.org/fields/14","display_name":"Business, Management and Accounting"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/theorem-proving","display_name":"theorem proving","score":0.9739999771118164},{"id":"https://openalex.org/keywords/object-oriented-programming","display_name":"object-oriented programming","score":1.0},{"id":"https://openalex.org/keywords/decision-support-system","display_name":"decision support system","score":0.8930000066757202},{"id":"https://openalex.org/keywords/knowledge-representation","display_name":"knowledge representation","score":0.8859999775886536},{"id":"https://openalex.org/keywords/knowledge-based-problem-solving","display_name":"knowledge-based problem solving","score":0.7590000033378601},{"id":"https://openalex.org/keywords/resolution-principle","display_name":"resolution principle","score":0.9649999737739563}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8009982109069824},{"id":"https://openalex.org/C161301231","wikidata":"https://www.wikidata.org/wiki/Q3478658","display_name":"Knowledge representation and reasoning","level":2,"score":0.664923906326294},{"id":"https://openalex.org/C73752529","wikidata":"https://www.wikidata.org/wiki/Q79872","display_name":"Object-oriented programming","level":2,"score":0.6336642503738403},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.5496791005134583},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.5410977005958557},{"id":"https://openalex.org/C9652623","wikidata":"https://www.wikidata.org/wiki/Q190109","display_name":"Field (mathematics)","level":2,"score":0.5315641760826111},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4945540130138397},{"id":"https://openalex.org/C115901376","wikidata":"https://www.wikidata.org/wiki/Q184199","display_name":"Automation","level":2,"score":0.4633754789829254},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.4450906813144684},{"id":"https://openalex.org/C2781238097","wikidata":"https://www.wikidata.org/wiki/Q175026","display_name":"Object (grammar)","level":2,"score":0.4437273144721985},{"id":"https://openalex.org/C115925183","wikidata":"https://www.wikidata.org/wiki/Q1412694","display_name":"Knowledge-based systems","level":2,"score":0.4146689772605896},{"id":"https://openalex.org/C206880738","wikidata":"https://www.wikidata.org/wiki/Q431667","display_name":"Automated theorem proving","level":2,"score":0.41428640484809875},{"id":"https://openalex.org/C138268822","wikidata":"https://www.wikidata.org/wiki/Q1051925","display_name":"Resolution (logic)","level":2,"score":0.4104304015636444},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.31466370820999146},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.07726550102233887},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.0},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.0},{"id":"https://openalex.org/C78519656","wikidata":"https://www.wikidata.org/wiki/Q101333","display_name":"Mechanical engineering","level":1,"score":0.0},{"id":"https://openalex.org/C94625758","wikidata":"https://www.wikidata.org/wiki/Q7163","display_name":"Politics","level":2,"score":0.0},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"mag:2378352143","doi":null,"is_oa":false,"landing_page_url":"https://en.cnki.com.cn/Article_en/CJFDTOTAL-JYRJ199602002.htm","pdf_url":null,"source":{"id":"https://openalex.org/S2764447030","display_name":"Computer Applications and Software","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":"Computer Applications and Software","raw_type":null}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2355952219","https://openalex.org/W2620857818","https://openalex.org/W7099970454","https://openalex.org/W2532566961","https://openalex.org/W1582041991","https://openalex.org/W7099982946","https://openalex.org/W110137239","https://openalex.org/W2143623769","https://openalex.org/W1597311554","https://openalex.org/W2389241765"],"abstract_inverted_index":{"Considering":[0],"the":[1,33,36,54,80],"key":[2],"capabilities":[3],"and":[4,20,47,67,90],"techniques":[5],"regularly":[6],"employed":[7],"in":[8],"ihe":[9],"DSS":[10],"field":[11],"are":[12],"reasonably":[13],"well":[14],"supported":[15],"by":[16,59],"current":[17],"commercial":[18],"methods":[19],"tools,":[21],"e.g":[22],"many":[23],"ideas":[24],"of":[25],"early":[26],"AI":[27],"have":[28],"become":[29],"everyday":[30],"tools":[31],"for":[32],"system":[34,51,57,78],"developer,":[35],"paper":[37],"emphasizes":[38],"that":[39],"object-oriented":[40],"programming":[41],"can":[42],"unify":[43],"knowledge":[44,66,69],"representation,":[45],"reasoning":[46,85],"real":[48],"world":[49],"objective":[50],"description,":[52],"with":[53,93],"unique":[55],"formali-zation":[56],"implemented":[58],"OOP,":[60],"i.e.":[61],"integrate":[62],"descriptive":[63],"knowledge,":[64],"procedural":[65],"espiodic":[68],"to":[70,82],"form":[71],"systematic":[72],"knowledge-based":[73],"problem":[74],"solving":[75],"system.":[76],"The":[77],"has":[79],"capability":[81],"perform":[83],"operational":[84],"based":[86],"on":[87],"resolution":[88],"principle":[89],"manipulating":[91],"models":[92],"model":[94],"algebra.":[95]},"counts_by_year":[],"updated_date":"2025-10-10T17:16:08.811792","created_date":"2016-06-24T00:00:00"}