{"id":"https://openalex.org/W2229201766","doi":null,"title":"A Logic Prover Approach to Predicting Textual Similarity","display_name":"A Logic Prover Approach to Predicting Textual Similarity","publication_year":2015,"publication_date":"2015-03-11","ids":{"openalex":"https://openalex.org/W2229201766","mag":"2229201766"},"language":"en","primary_location":{"id":"pmh:oai:CiteSeerX.psu:10.1.1.570.6395","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.570.6395","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cse.unt.edu/~blanco/papers/logicProverSimilarity.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/A5101756071","display_name":"Eduardo Blanco","orcid":"https://orcid.org/0000-0001-5928-3437","observed_orcids":["https://orcid.org/0000-0001-5928-3437"]},"institutions":[{"id":"https://openalex.org/I4210104896","display_name":"Lymba (United States)","ror":"https://ror.org/01f9j1315","country_code":"US","type":"company","lineage":["https://openalex.org/I4210104896"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Eduardo Blanco","raw_affiliation_strings":["Lymba Corporation"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Lymba Corporation","institution_ids":["https://openalex.org/I4210104896"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5043094101","display_name":"DAN I. MOLDOVAN","orcid":"https://orcid.org/0000-0003-2553-2081","observed_orcids":["https://orcid.org/0000-0003-2553-2081"]},"institutions":[{"id":"https://openalex.org/I4210104896","display_name":"Lymba (United States)","ror":"https://ror.org/01f9j1315","country_code":"US","type":"company","lineage":["https://openalex.org/I4210104896"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Dan Moldovan","raw_affiliation_strings":["Lymba Corporation"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Lymba Corporation","institution_ids":["https://openalex.org/I4210104896"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I4210104896"],"apc_list":null,"apc_paid":null,"fwci":0.5895,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.75492597,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":88,"max":93},"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/T10028","display_name":"Topic Modeling","score":0.4636000096797943,"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/T10028","display_name":"Topic Modeling","score":0.4636000096797943,"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/T10181","display_name":"Natural Language Processing Techniques","score":0.4350999891757965,"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/T13629","display_name":"Text Readability and Simplification","score":0.013000000268220901,"subfield":{"id":"https://openalex.org/subfields/3310","display_name":"Linguistics and Language"},"field":{"id":"https://openalex.org/fields/33","display_name":"Social Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/text-similarity","display_name":"text similarity","score":0.9190000295639038},{"id":"https://openalex.org/keywords/proof-search","display_name":"proof search","score":0.5979999899864197},{"id":"https://openalex.org/keywords/semantic-parsing","display_name":"semantic parsing","score":0.8140000104904175},{"id":"https://openalex.org/keywords/semantic-representation","display_name":"semantic representation","score":0.5600000023841858},{"id":"https://openalex.org/keywords/sentence-representation","display_name":"sentence representation","score":0.6470000147819519},{"id":"https://openalex.org/keywords/semantic-features","display_name":"semantic features","score":0.7160000205039978}],"concepts":[{"id":"https://openalex.org/C159718280","wikidata":"https://www.wikidata.org/wiki/Q5526353","display_name":"Gas meter prover","level":3,"score":0.7356683015823364},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7062268257141113},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.6745671629905701},{"id":"https://openalex.org/C130318100","wikidata":"https://www.wikidata.org/wiki/Q2268914","display_name":"Semantic similarity","level":2,"score":0.6723619103431702},{"id":"https://openalex.org/C186644900","wikidata":"https://www.wikidata.org/wiki/Q194152","display_name":"Parsing","level":2,"score":0.6407695412635803},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.6260413527488708},{"id":"https://openalex.org/C103278499","wikidata":"https://www.wikidata.org/wiki/Q254465","display_name":"Similarity (geometry)","level":3,"score":0.5972840189933777},{"id":"https://openalex.org/C157659113","wikidata":"https://www.wikidata.org/wiki/Q533822","display_name":"WordNet","level":2,"score":0.4811476469039917},{"id":"https://openalex.org/C184898388","wikidata":"https://www.wikidata.org/wiki/Q1435712","display_name":"Pairwise comparison","level":2,"score":0.4521810710430145},{"id":"https://openalex.org/C206880738","wikidata":"https://www.wikidata.org/wiki/Q431667","display_name":"Automated theorem proving","level":2,"score":0.42841532826423645},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.4088551998138428},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.27980005741119385},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.1909453570842743},{"id":"https://openalex.org/C115961682","wikidata":"https://www.wikidata.org/wiki/Q860623","display_name":"Image (mathematics)","level":2,"score":0.1145901083946228},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"pmh:oai:CiteSeerX.psu:10.1.1.570.6395","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.570.6395","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cse.unt.edu/~blanco/papers/logicProverSimilarity.pdf","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":15,"referenced_works":["https://openalex.org/W149980","https://openalex.org/W32715122","https://openalex.org/W131533222","https://openalex.org/W839921465","https://openalex.org/W1566018662","https://openalex.org/W1572978214","https://openalex.org/W1748393397","https://openalex.org/W1772968073","https://openalex.org/W1942015218","https://openalex.org/W2120654173","https://openalex.org/W2130158090","https://openalex.org/W2133990480","https://openalex.org/W2135211194","https://openalex.org/W2250361487","https://openalex.org/W2251861449"],"related_works":["https://openalex.org/W1968163422","https://openalex.org/W2102306674","https://openalex.org/W2963370155","https://openalex.org/W1990524510","https://openalex.org/W2251797829","https://openalex.org/W2612859986","https://openalex.org/W143911840","https://openalex.org/W1863758434","https://openalex.org/W2741058380","https://openalex.org/W7096837116"],"abstract_inverted_index":{"This":[0],"paper":[1],"presents":[2],"a":[3,52],"logic":[4,16,37],"prover":[5,38],"approach":[6],"to":[7,27,41],"predict-ing":[8],"textual":[9],"similarity.":[10],"Sentences":[11],"are":[12,49],"represented":[13],"using":[14],"three":[15],"forms":[17],"capturing":[18],"different":[19],"levels":[20],"of":[21,64],"knowl-edge,":[22],"from":[23],"only":[24],"content":[25],"words":[26],"semantic":[28,34,46,62],"representa-tions":[29],"extracted":[30],"with":[31],"an":[32],"existing":[33],"parser.":[35],"A":[36],"is":[39],"used":[40],"find":[42],"proofs":[43],"and":[44],"derive":[45],"fea-tures":[47],"that":[48,59],"combined":[50],"in":[51],"machine":[53],"learning":[54],"frame-work.":[55],"Experimental":[56],"results":[57,68],"show":[58],"incorporating":[60],"the":[61],"structure":[63],"sentences":[65],"yields":[66],"better":[67],"than":[69],"simpler":[70],"pairwise":[71],"word":[72],"similarity":[73],"measures.":[74],"1":[75]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":1}],"updated_date":"2026-10-01T08:54:57.152042","created_date":"2016-06-24T00:00:00"}