{"id":"https://openalex.org/W1991091179","doi":"https://doi.org/10.1142/s0218213006002540","title":"MILESTONES FOR AUTOMATED REASONING WITH OTTER","display_name":"MILESTONES FOR AUTOMATED REASONING WITH OTTER","publication_year":2006,"publication_date":"2006-01-24","ids":{"openalex":"https://openalex.org/W1991091179","doi":"https://doi.org/10.1142/s0218213006002540","mag":"1991091179"},"language":"en","primary_location":{"id":"doi:10.1142/s0218213006002540","is_oa":false,"landing_page_url":"https://doi.org/10.1142/s0218213006002540","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":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5110154732","display_name":"Larry Wos","orcid":null},"institutions":[{"id":"https://openalex.org/I1282105669","display_name":"Argonne National Laboratory","ror":"https://ror.org/05gvnxz63","country_code":"US","type":"facility","lineage":["https://openalex.org/I1282105669","https://openalex.org/I1330989302","https://openalex.org/I39565521","https://openalex.org/I40347166"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"LARRY WOS","raw_affiliation_strings":["Mathematics and Computer Science Division, Argonne National Laboratory, 9700 South Cass Avenue, Argonne, Illinois 60439, USA"],"affiliations":[{"raw_affiliation_string":"Mathematics and Computer Science Division, Argonne National Laboratory, 9700 South Cass Avenue, Argonne, Illinois 60439, USA","institution_ids":["https://openalex.org/I1282105669"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5110154732"],"corresponding_institution_ids":["https://openalex.org/I1282105669"],"apc_list":null,"apc_paid":null,"fwci":0.9054,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":{"value":0.76524582,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"15","issue":"01","first_page":"3","last_page":"19"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10317","display_name":"Advanced Database Systems and Queries","score":0.9424999952316284,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T10317","display_name":"Advanced Database Systems and Queries","score":0.9424999952316284,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T13523","display_name":"Mathematics, Computing, and Information Processing","score":0.9332000017166138,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9318000078201294,"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/milestone","display_name":"Milestone","score":0.8555730581283569},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7538191676139832},{"id":"https://openalex.org/keywords/mathematical-proof","display_name":"Mathematical proof","score":0.6531668901443481},{"id":"https://openalex.org/keywords/focus","display_name":"Focus (optics)","score":0.5799912810325623},{"id":"https://openalex.org/keywords/realization","display_name":"Realization (probability)","score":0.48198050260543823},{"id":"https://openalex.org/keywords/type","display_name":"Type (biology)","score":0.42879554629325867},{"id":"https://openalex.org/keywords/field","display_name":"Field (mathematics)","score":0.42572879791259766},{"id":"https://openalex.org/keywords/data-science","display_name":"Data science","score":0.4113939702510834},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.07976499199867249}],"concepts":[{"id":"https://openalex.org/C120060458","wikidata":"https://www.wikidata.org/wiki/Q10145","display_name":"Milestone","level":2,"score":0.8555730581283569},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7538191676139832},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.6531668901443481},{"id":"https://openalex.org/C192209626","wikidata":"https://www.wikidata.org/wiki/Q190909","display_name":"Focus (optics)","level":2,"score":0.5799912810325623},{"id":"https://openalex.org/C2781089630","wikidata":"https://www.wikidata.org/wiki/Q21856745","display_name":"Realization (probability)","level":2,"score":0.48198050260543823},{"id":"https://openalex.org/C2777299769","wikidata":"https://www.wikidata.org/wiki/Q3707858","display_name":"Type (biology)","level":2,"score":0.42879554629325867},{"id":"https://openalex.org/C9652623","wikidata":"https://www.wikidata.org/wiki/Q190109","display_name":"Field (mathematics)","level":2,"score":0.42572879791259766},{"id":"https://openalex.org/C2522767166","wikidata":"https://www.wikidata.org/wiki/Q2374463","display_name":"Data science","level":1,"score":0.4113939702510834},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.07976499199867249},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C120665830","wikidata":"https://www.wikidata.org/wiki/Q14620","display_name":"Optics","level":1,"score":0.0},{"id":"https://openalex.org/C166957645","wikidata":"https://www.wikidata.org/wiki/Q23498","display_name":"Archaeology","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/C95457728","wikidata":"https://www.wikidata.org/wiki/Q309","display_name":"History","level":0,"score":0.0},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C18903297","wikidata":"https://www.wikidata.org/wiki/Q7150","display_name":"Ecology","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}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1142/s0218213006002540","is_oa":false,"landing_page_url":"https://doi.org/10.1142/s0218213006002540","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"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320332359","display_name":"Office of Science","ror":"https://ror.org/00mmn6b08"},{"id":"https://openalex.org/F4320337506","display_name":"Advanced Scientific Computing Research","ror":"https://ror.org/0012c7r22"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":15,"referenced_works":["https://openalex.org/W1492623677","https://openalex.org/W1536277859","https://openalex.org/W1620994827","https://openalex.org/W1823367140","https://openalex.org/W1931447968","https://openalex.org/W1972956465","https://openalex.org/W1982503362","https://openalex.org/W2002127544","https://openalex.org/W2024777931","https://openalex.org/W2080126541","https://openalex.org/W2085605824","https://openalex.org/W2113555999","https://openalex.org/W2126171211","https://openalex.org/W2320524668","https://openalex.org/W4211016048"],"related_works":["https://openalex.org/W4387878404","https://openalex.org/W2584040191","https://openalex.org/W2561695978","https://openalex.org/W2922924512","https://openalex.org/W1950486549","https://openalex.org/W3133583653","https://openalex.org/W3140574787","https://openalex.org/W2990251955","https://openalex.org/W2064167013","https://openalex.org/W3157295497"],"abstract_inverted_index":{"In":[0,82],"the":[1,6,13,16,25,48,65,111,122,167,183,189],"beginning":[2],"(the":[3],"early":[4],"1960s),":[5],"long-term":[7],"goal":[8,56],"of":[9,29,50,54,105,113,124,147,150,154,191],"automated":[10],"reasoning":[11,126],"(although":[12,138],"field":[14],"at":[15,60],"time":[17],"was":[18,24],"not":[19,139],"known":[20],"by":[21,43,197],"that":[22,55,75,158],"name)":[23],"design":[26],"and":[27,38,70,116,137,188,193],"implementation":[28],"a":[30,125],"program":[31,95],"whose":[32,118],"use":[33,119],"would":[34],"lead":[35],"to":[36,41,58,92,135,142,164],"\"real\"":[37],"significant":[39],"contributions":[40,134],"mathematics":[42,136],"offering":[44],"sufficient":[45],"power":[46,123],"for":[47,88],"discovery":[49],"proofs.":[51],"The":[52],"realization":[53],"appeared":[57],"be":[59],"least":[61],"six":[62],"decades":[63,79],"in":[64,179,182],"future.":[66],"However,":[67],"with":[68],"amazement":[69],"satisfaction,":[71],"we":[72,85],"can":[73],"report":[74],"fewer":[76],"than":[77],"four":[78],"were":[80],"required.":[81],"this":[83,89],"article,":[84],"present":[86],"evidence":[87],"claim,":[90],"thanks":[91],"W.":[93],"McCune's":[94],"OTTER.":[96],"Our":[97],"focus":[98],"is":[99],"on":[100,132,176],"various":[101],"landmarks,":[102],"or":[103],"milestones,":[104],"two":[106,168],"types.":[107],"One":[108],"type":[109,130,149],"concerns":[110],"formulation":[112],"new":[114,184],"strategies":[115],"methodologies":[117],"greatly":[120],"enhances":[121],"program.":[127],"A":[128],"second":[129],"focuses":[131],"actual":[133],"initially":[140],"envisioned)":[141],"logic.":[143],"We":[144,173],"give":[145],"examples":[146],"each":[148],"milestone,":[151],"and,":[152],"perhaps":[153],"equal":[155],"importance,":[156],"demonstrate":[157],"advances":[159],"are":[160,170],"far":[161],"more":[162],"likely":[163],"occur":[165],"if":[166],"classes":[169],"closely":[171],"intertwined.":[172],"draw":[174],"heavily":[175],"material":[177],"presented":[178],"great":[180],"detail":[181],"book":[185],"Automated":[186],"Reasoning":[187],"Discovery":[190],"Missing":[192],"Elegant":[194],"Proofs,":[195],"published":[196],"Rinton":[198],"Press.":[199]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}