{"id":"https://openalex.org/W1537705076","doi":"https://doi.org/10.1109/icci-cc.2015.7259365","title":"An epistemic programming approach for automated theorem finding","display_name":"An epistemic programming approach for automated theorem finding","publication_year":2015,"publication_date":"2015-07-01","ids":{"openalex":"https://openalex.org/W1537705076","doi":"https://doi.org/10.1109/icci-cc.2015.7259365","mag":"1537705076"},"language":"en","primary_location":{"is_oa":false,"landing_page_url":"https://doi.org/10.1109/icci-cc.2015.7259365","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},"type":"article","type_crossref":"proceedings-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/A5101013321","display_name":"Hongbiao Gao","orcid":null},"institutions":[{"id":"https://openalex.org/I72253084","display_name":"Saitama University","ror":"https://ror.org/02evnh647","country_code":"JP","type":"education","lineage":["https://openalex.org/I72253084"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Hongbiao Gao","raw_affiliation_strings":["Department of Information and Computer Sciences, Saitama University, 338-8570, Japan"],"affiliations":[{"raw_affiliation_string":"Department of Information and Computer Sciences, Saitama University, 338-8570, Japan","institution_ids":["https://openalex.org/I72253084"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5113731889","display_name":"Jingde Cheng","orcid":null},"institutions":[{"id":"https://openalex.org/I72253084","display_name":"Saitama University","ror":"https://ror.org/02evnh647","country_code":"JP","type":"education","lineage":["https://openalex.org/I72253084"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Jingde Cheng","raw_affiliation_strings":["Department of Information and Computer Sciences, Saitama University, 338-8570, Japan"],"affiliations":[{"raw_affiliation_string":"Department of Information and Computer Sciences, Saitama University, 338-8570, Japan","institution_ids":["https://openalex.org/I72253084"]}]}],"institution_assertions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.271,"has_fulltext":true,"fulltext_origin":"ngrams","cited_by_count":4,"citation_normalized_percentile":{"value":0.562221,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":79,"max":81},"biblio":{"volume":null,"issue":null,"first_page":"49","last_page":"58"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9979,"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.9979,"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/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9925,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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.9877,"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":[],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6444342},{"id":"https://openalex.org/C206880738","wikidata":"https://www.wikidata.org/wiki/Q431667","display_name":"Automated theorem proving","level":2,"score":0.53605795},{"id":"https://openalex.org/C50033165","wikidata":"https://www.wikidata.org/wiki/Q15712089","display_name":"Inductive programming","level":3,"score":0.49350798},{"id":"https://openalex.org/C2777855551","wikidata":"https://www.wikidata.org/wiki/Q12310021","display_name":"Subject (documents)","level":2,"score":0.48209026},{"id":"https://openalex.org/C107247716","wikidata":"https://www.wikidata.org/wiki/Q1347436","display_name":"Epistemic modal logic","level":4,"score":0.4350664},{"id":"https://openalex.org/C34165917","wikidata":"https://www.wikidata.org/wiki/Q188267","display_name":"Programming paradigm","level":2,"score":0.42672166},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.36053216},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3507575},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.33066663},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.32239848},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.079815894},{"id":"https://openalex.org/C203659156","wikidata":"https://www.wikidata.org/wiki/Q6934805","display_name":"Multimodal logic","level":3,"score":0.0},{"id":"https://openalex.org/C161191863","wikidata":"https://www.wikidata.org/wiki/Q199655","display_name":"Library science","level":1,"score":0.0},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"is_oa":false,"landing_page_url":"https://doi.org/10.1109/icci-cc.2015.7259365","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false}],"best_oa_location":null,"sustainable_development_goals":[],"grants":[],"datasets":[],"versions":[],"referenced_works_count":17,"referenced_works":["https://openalex.org/W1499566634","https://openalex.org/W1520700150","https://openalex.org/W1526001900","https://openalex.org/W1592435576","https://openalex.org/W1600661924","https://openalex.org/W1735557409","https://openalex.org/W1918573702","https://openalex.org/W1978735259","https://openalex.org/W1983376640","https://openalex.org/W1990812879","https://openalex.org/W2000227239","https://openalex.org/W2013434344","https://openalex.org/W2096540897","https://openalex.org/W2123376705","https://openalex.org/W2147107225","https://openalex.org/W2798588639","https://openalex.org/W2938938672"],"related_works":["https://openalex.org/W4387445043","https://openalex.org/W4296878212","https://openalex.org/W4287829362","https://openalex.org/W3117088238","https://openalex.org/W3009891130","https://openalex.org/W2378928660","https://openalex.org/W2172209430","https://openalex.org/W2161156675","https://openalex.org/W1988273104","https://openalex.org/W1943224404"],"abstract_inverted_index":{"The":[0,22],"problem":[1,23,28],"of":[2,8,36,52,85,94,103,112],"automated":[3,14,53,65,139,153],"theorem":[4,54,66,140,154],"finding":[5,67,141,155],"is":[6,24,33],"one":[7],"33":[9],"basic":[10,101],"research":[11],"problems":[12],"in":[13,43,49,68],"reasoning":[15],"which":[16,88],"was":[17,74],"originally":[18],"proposed":[19,75],"by":[20,156],"Wos.":[21],"still":[25],"an":[26,134],"open":[27],"until":[29],"now.":[30],"Specific":[31],"knowledge":[32],"the":[34,50,57,69,92,110,143,158],"power":[35],"any":[37],"scientist,":[38],"therefore,":[39],"if":[40],"a":[41,44,77],"scientist":[42,58],"particular":[45],"area":[46],"takes":[47,96],"part":[48],"process":[51],"finding,":[55],"then":[56],"should":[59],"certainly":[60],"make":[61],"some":[62,149],"contributions":[63],"for":[64,125,138],"target":[70],"area.":[71],"Epistemic":[72,114],"programming":[73,115,119,136,145],"as":[76,91,100,109],"novel":[78],"program":[79,82],"paradigm":[80,146],"to":[81,127,151],"epistemic":[83,98,107,135,144],"processes":[84,108],"scientific":[86],"discovery,":[87],"regards":[89,106],"conditionals":[90],"subject":[93,111],"computing,":[95,104],"primary":[97],"operations":[99,102],"and":[105,147],"programming.":[113],"provides":[116],"not":[117],"only":[118],"means":[120,124],"but":[121],"also":[122],"interactive":[123],"scientists":[126],"control":[128],"cognitive":[129],"processes.":[130],"This":[131],"paper":[132],"proposes":[133],"approach":[137],"following":[142],"shows":[148],"examples":[150],"do":[152],"using":[157],"approach.":[159]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W1537705076","counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2015,"cited_by_count":1}],"updated_date":"2024-12-09T20:33:29.562141","created_date":"2016-06-24"}