{"id":"https://openalex.org/W1634519357","doi":"https://doi.org/10.29007/nsx4","title":"A Unified View of Induction Reasoning for First-Order Logic","display_name":"A Unified View of Induction Reasoning for First-Order Logic","publication_year":2018,"publication_date":"2018-01-23","ids":{"openalex":"https://openalex.org/W1634519357","doi":"https://doi.org/10.29007/nsx4","mag":"1634519357"},"language":"en","primary_location":{"id":"doi:10.29007/nsx4","is_oa":true,"landing_page_url":"https://doi.org/10.29007/nsx4","pdf_url":"https://easychair.org/publications/open/4qw","source":{"id":"https://openalex.org/S4220651395","display_name":"EPiC series in computing","issn_l":"2398-7340","issn":["2398-7340"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"EPiC Series in Computing","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://easychair.org/publications/open/4qw","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5058631772","display_name":"Sorin Stratulat","orcid":"https://orcid.org/0000-0002-1670-9474"},"institutions":[{"id":"https://openalex.org/I90183372","display_name":"Universit\u00e9 de Lorraine","ror":"https://ror.org/04vfs2w97","country_code":"FR","type":"education","lineage":["https://openalex.org/I90183372"]}],"countries":["FR"],"is_corresponding":true,"raw_author_name":"Sorin Stratulat","raw_affiliation_strings":["LITA, Department of Computer Science Universit de Lorraine Ile du Saulcy, Metz, 57000, FRANCE","PAREO - Formal islands: foundations and applications (France)","LITA - Laboratoire d'Informatique Th\u00e9orique et Appliqu\u00e9e (Universit\u00e9 de Lorraine, Ile du Saulcy, 57045 Metz Cedex 1 - France)"],"affiliations":[{"raw_affiliation_string":"LITA, Department of Computer Science Universit de Lorraine Ile du Saulcy, Metz, 57000, FRANCE","institution_ids":["https://openalex.org/I90183372"]},{"raw_affiliation_string":"PAREO - Formal islands: foundations and applications (France)","institution_ids":[]},{"raw_affiliation_string":"LITA - Laboratoire d'Informatique Th\u00e9orique et Appliqu\u00e9e (Universit\u00e9 de Lorraine, Ile du Saulcy, 57045 Metz Cedex 1 - France)","institution_ids":["https://openalex.org/I90183372"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5058631772"],"corresponding_institution_ids":["https://openalex.org/I90183372"],"apc_list":null,"apc_paid":null,"fwci":0.4887,"has_fulltext":true,"cited_by_count":16,"citation_normalized_percentile":{"value":0.71044164,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"10","issue":null,"first_page":"326","last_page":"298"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9997000098228455,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9997000098228455,"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.9991999864578247,"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/T10215","display_name":"Semantic Web and Ontologies","score":0.9983000159263611,"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/asymmetric-induction","display_name":"Asymmetric induction","score":0.7275117635726929},{"id":"https://openalex.org/keywords/mathematical-induction","display_name":"Mathematical induction","score":0.702104926109314},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5953473448753357},{"id":"https://openalex.org/keywords/rule-induction","display_name":"Rule induction","score":0.5945402383804321},{"id":"https://openalex.org/keywords/induction-heating","display_name":"Induction heating","score":0.5189318656921387},{"id":"https://openalex.org/keywords/backward-induction","display_name":"Backward induction","score":0.4612165689468384},{"id":"https://openalex.org/keywords/proof-of-concept","display_name":"Proof of concept","score":0.4390217065811157},{"id":"https://openalex.org/keywords/electromagnetic-induction","display_name":"Electromagnetic induction","score":0.43605372309684753},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3500787019729614},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.29249703884124756},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.29049670696258545},{"id":"https://openalex.org/keywords/mathematical-economics","display_name":"Mathematical economics","score":0.06737813353538513},{"id":"https://openalex.org/keywords/chemistry","display_name":"Chemistry","score":0.06201434135437012}],"concepts":[{"id":"https://openalex.org/C190603991","wikidata":"https://www.wikidata.org/wiki/Q752656","display_name":"Asymmetric induction","level":4,"score":0.7275117635726929},{"id":"https://openalex.org/C206743973","wikidata":"https://www.wikidata.org/wiki/Q178377","display_name":"Mathematical induction","level":2,"score":0.702104926109314},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5953473448753357},{"id":"https://openalex.org/C2776780472","wikidata":"https://www.wikidata.org/wiki/Q7378945","display_name":"Rule induction","level":2,"score":0.5945402383804321},{"id":"https://openalex.org/C775475","wikidata":"https://www.wikidata.org/wiki/Q1155653","display_name":"Induction heating","level":3,"score":0.5189318656921387},{"id":"https://openalex.org/C160343169","wikidata":"https://www.wikidata.org/wiki/Q968642","display_name":"Backward induction","level":3,"score":0.4612165689468384},{"id":"https://openalex.org/C124978682","wikidata":"https://www.wikidata.org/wiki/Q1201019","display_name":"Proof of concept","level":2,"score":0.4390217065811157},{"id":"https://openalex.org/C102130693","wikidata":"https://www.wikidata.org/wiki/Q988780","display_name":"Electromagnetic induction","level":3,"score":0.43605372309684753},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3500787019729614},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.29249703884124756},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.29049670696258545},{"id":"https://openalex.org/C144237770","wikidata":"https://www.wikidata.org/wiki/Q747534","display_name":"Mathematical economics","level":1,"score":0.06737813353538513},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.06201434135437012},{"id":"https://openalex.org/C177142836","wikidata":"https://www.wikidata.org/wiki/Q44455","display_name":"Game theory","level":2,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"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/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0},{"id":"https://openalex.org/C146686406","wikidata":"https://www.wikidata.org/wiki/Q898628","display_name":"Enantioselective synthesis","level":3,"score":0.0},{"id":"https://openalex.org/C119599485","wikidata":"https://www.wikidata.org/wiki/Q43035","display_name":"Electrical engineering","level":1,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C30403606","wikidata":"https://www.wikidata.org/wiki/Q2981904","display_name":"Electromagnetic coil","level":2,"score":0.0},{"id":"https://openalex.org/C161790260","wikidata":"https://www.wikidata.org/wiki/Q82264","display_name":"Catalysis","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.29007/nsx4","is_oa":true,"landing_page_url":"https://doi.org/10.29007/nsx4","pdf_url":"https://easychair.org/publications/open/4qw","source":{"id":"https://openalex.org/S4220651395","display_name":"EPiC series in computing","issn_l":"2398-7340","issn":["2398-7340"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"EPiC Series in Computing","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.29007/nsx4","is_oa":true,"landing_page_url":"https://doi.org/10.29007/nsx4","pdf_url":"https://easychair.org/publications/open/4qw","source":{"id":"https://openalex.org/S4220651395","display_name":"EPiC series in computing","issn_l":"2398-7340","issn":["2398-7340"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"EPiC Series in Computing","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W1634519357.pdf","grobid_xml":"https://content.openalex.org/works/W1634519357.grobid-xml"},"referenced_works_count":62,"referenced_works":["https://openalex.org/W31322021","https://openalex.org/W113774630","https://openalex.org/W174440544","https://openalex.org/W1480151951","https://openalex.org/W1481699584","https://openalex.org/W1484343045","https://openalex.org/W1499782681","https://openalex.org/W1505699378","https://openalex.org/W1516861936","https://openalex.org/W1520931169","https://openalex.org/W1538091296","https://openalex.org/W1540063690","https://openalex.org/W1542881312","https://openalex.org/W1548250926","https://openalex.org/W1563061915","https://openalex.org/W1571394616","https://openalex.org/W1575501012","https://openalex.org/W1579647526","https://openalex.org/W1583295953","https://openalex.org/W1590828018","https://openalex.org/W1593280365","https://openalex.org/W1598473030","https://openalex.org/W1603851612","https://openalex.org/W1968386045","https://openalex.org/W1980051887","https://openalex.org/W1987150355","https://openalex.org/W1992371661","https://openalex.org/W1999823887","https://openalex.org/W2007008828","https://openalex.org/W2007781051","https://openalex.org/W2015788118","https://openalex.org/W2021173362","https://openalex.org/W2023778211","https://openalex.org/W2052001696","https://openalex.org/W2052021957","https://openalex.org/W2056774266","https://openalex.org/W2057086674","https://openalex.org/W2068188619","https://openalex.org/W2099078002","https://openalex.org/W2099942346","https://openalex.org/W2107872881","https://openalex.org/W2115592109","https://openalex.org/W2123984632","https://openalex.org/W2126160338","https://openalex.org/W2126274963","https://openalex.org/W2135473658","https://openalex.org/W2148943323","https://openalex.org/W2149944932","https://openalex.org/W2159709550","https://openalex.org/W2166089338","https://openalex.org/W2166841305","https://openalex.org/W2287870545","https://openalex.org/W2913001986","https://openalex.org/W3023405642","https://openalex.org/W3199565109","https://openalex.org/W4230919050","https://openalex.org/W4254202520","https://openalex.org/W4388310377","https://openalex.org/W6628931790","https://openalex.org/W6629865871","https://openalex.org/W6647121330","https://openalex.org/W6682355792"],"related_works":["https://openalex.org/W2080874369","https://openalex.org/W2086526810","https://openalex.org/W1975947159","https://openalex.org/W4322100323","https://openalex.org/W2074725965","https://openalex.org/W3136360370","https://openalex.org/W4235275147","https://openalex.org/W4252886121","https://openalex.org/W1634519357","https://openalex.org/W4386417534"],"abstract_inverted_index":{"Induction":[0],"is":[1,67,77],"a":[2,18,44,78],"powerful":[3],"proof":[4,79,85],"technique":[5],"adapted":[6],"to":[7,92],"reason":[8],"on":[9,30,39],"sets":[10],"with":[11],"an":[12],"unbounded":[13],"number":[14],"of":[15,69,74,89,96,107],"elements.":[16],"In":[17],"first-order":[19],"setting,":[20],"two":[21],"different":[22],"methods":[23],"are":[24,104],"distinguished:":[25],"the":[26,35,75,84,87,94],"conventional":[27,100],"induction,":[28,37,58,64],"based":[29,38],"explicit":[31],"induction":[32,47,97,103],"schemas,":[33],"and":[34,65,101],"implicit":[36,102],"reductive":[40,70],"procedures.":[41],"We":[42],"propose":[43],"new":[45],"cycle-based":[46],"method":[48,76],"that":[49,81],"keeps":[50],"their":[51],"best":[52],"features,":[53],"i.e.":[54],"i)":[55],"performs":[56],"lazy":[57],"ii)":[59],"naturally":[60],"fits":[61],"for":[62],"mutual":[63],"iii)":[66],"free":[68],"constraints.":[71],"The":[72,99],"heart":[73],"strategy":[80],"identifies":[82],"in":[83],"script":[86],"subset":[88],"formulas":[90],"contributing":[91],"validate":[93],"application":[95],"hypotheses.":[98],"particular":[105],"cases":[106],"our":[108],"method.":[109]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":2},{"year":2020,"cited_by_count":1},{"year":2018,"cited_by_count":2},{"year":2017,"cited_by_count":2},{"year":2016,"cited_by_count":3},{"year":2015,"cited_by_count":3},{"year":2014,"cited_by_count":1},{"year":2013,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}