{"id":"https://openalex.org/W2143815277","doi":"https://doi.org/10.1007/978-3-540-89197-0_34","title":"Some Results on the Completeness of Approximation Based Reasoning","display_name":"Some Results on the Completeness of Approximation Based Reasoning","publication_year":2008,"publication_date":"2008-01-01","ids":{"openalex":"https://openalex.org/W2143815277","doi":"https://doi.org/10.1007/978-3-540-89197-0_34","mag":"2143815277"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-540-89197-0_34","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-540-89197-0_34","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"book-chapter","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/A5046036171","display_name":"Cao Son Tran","orcid":null},"institutions":[{"id":"https://openalex.org/I10052268","display_name":"New Mexico State University","ror":"https://ror.org/00hpz7z43","country_code":"US","type":"education","lineage":["https://openalex.org/I10052268"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Cao Son Tran","raw_affiliation_strings":["Knowledge representation, Logic, and Advanced Programming Laboratory Computer Science Department, New Mexico State University, Las Cruces, USA","Knowledge representation, Logic, and Advanced Programming Laboratory Computer Science Department, New Mexico State University, Las Cruces, USA NM 88003#TAB#"],"affiliations":[{"raw_affiliation_string":"Knowledge representation, Logic, and Advanced Programming Laboratory Computer Science Department, New Mexico State University, Las Cruces, USA","institution_ids":["https://openalex.org/I10052268"]},{"raw_affiliation_string":"Knowledge representation, Logic, and Advanced Programming Laboratory Computer Science Department, New Mexico State University, Las Cruces, USA NM 88003#TAB#","institution_ids":["https://openalex.org/I10052268"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5024528910","display_name":"Enrico Pontelli","orcid":"https://orcid.org/0000-0002-7753-1737"},"institutions":[{"id":"https://openalex.org/I10052268","display_name":"New Mexico State University","ror":"https://ror.org/00hpz7z43","country_code":"US","type":"education","lineage":["https://openalex.org/I10052268"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Enrico Pontelli","raw_affiliation_strings":["Knowledge representation, Logic, and Advanced Programming Laboratory Computer Science Department, New Mexico State University, Las Cruces, USA","Knowledge representation, Logic, and Advanced Programming Laboratory Computer Science Department, New Mexico State University, Las Cruces, USA NM 88003#TAB#"],"affiliations":[{"raw_affiliation_string":"Knowledge representation, Logic, and Advanced Programming Laboratory Computer Science Department, New Mexico State University, Las Cruces, USA","institution_ids":["https://openalex.org/I10052268"]},{"raw_affiliation_string":"Knowledge representation, Logic, and Advanced Programming Laboratory Computer Science Department, New Mexico State University, Las Cruces, USA NM 88003#TAB#","institution_ids":["https://openalex.org/I10052268"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5046036171"],"corresponding_institution_ids":["https://openalex.org/I10052268"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":0.2788,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.58962963,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"358","last_page":"369"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9998999834060669,"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.9998999834060669,"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.9994999766349792,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9969000220298767,"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/rotation-formalisms-in-three-dimensions","display_name":"Rotation formalisms in three dimensions","score":0.9157409071922302},{"id":"https://openalex.org/keywords/formalism","display_name":"Formalism (music)","score":0.7891199588775635},{"id":"https://openalex.org/keywords/completeness","display_name":"Completeness (order theory)","score":0.6638517379760742},{"id":"https://openalex.org/keywords/situation-calculus","display_name":"Situation calculus","score":0.5782870054244995},{"id":"https://openalex.org/keywords/calculus","display_name":"Calculus (dental)","score":0.5607131123542786},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5168591141700745},{"id":"https://openalex.org/keywords/action-theory","display_name":"Action theory (sociology)","score":0.432295560836792},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.3475293517112732},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.3296458423137665},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.18378254771232605},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.1357339322566986},{"id":"https://openalex.org/keywords/epistemology","display_name":"Epistemology","score":0.08435392379760742},{"id":"https://openalex.org/keywords/mathematical-analysis","display_name":"Mathematical analysis","score":0.06049194931983948}],"concepts":[{"id":"https://openalex.org/C171018156","wikidata":"https://www.wikidata.org/wiki/Q7370306","display_name":"Rotation formalisms in three dimensions","level":2,"score":0.9157409071922302},{"id":"https://openalex.org/C73301696","wikidata":"https://www.wikidata.org/wiki/Q5469984","display_name":"Formalism (music)","level":3,"score":0.7891199588775635},{"id":"https://openalex.org/C17231256","wikidata":"https://www.wikidata.org/wiki/Q5156540","display_name":"Completeness (order theory)","level":2,"score":0.6638517379760742},{"id":"https://openalex.org/C22497172","wikidata":"https://www.wikidata.org/wiki/Q1559077","display_name":"Situation calculus","level":2,"score":0.5782870054244995},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.5607131123542786},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5168591141700745},{"id":"https://openalex.org/C206987240","wikidata":"https://www.wikidata.org/wiki/Q1520882","display_name":"Action theory (sociology)","level":2,"score":0.432295560836792},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3475293517112732},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.3296458423137665},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.18378254771232605},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.1357339322566986},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.08435392379760742},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.06049194931983948},{"id":"https://openalex.org/C558565934","wikidata":"https://www.wikidata.org/wiki/Q2743","display_name":"Musical","level":2,"score":0.0},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0},{"id":"https://openalex.org/C199343813","wikidata":"https://www.wikidata.org/wiki/Q12128","display_name":"Dentistry","level":1,"score":0.0},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"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/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C153349607","wikidata":"https://www.wikidata.org/wiki/Q36649","display_name":"Visual arts","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/978-3-540-89197-0_34","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-540-89197-0_34","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":18,"referenced_works":["https://openalex.org/W81942528","https://openalex.org/W130404319","https://openalex.org/W1479728228","https://openalex.org/W1520000071","https://openalex.org/W1548625203","https://openalex.org/W1596480470","https://openalex.org/W1864286575","https://openalex.org/W1993512664","https://openalex.org/W1998668381","https://openalex.org/W2009810952","https://openalex.org/W2017128525","https://openalex.org/W2025008902","https://openalex.org/W2119409989","https://openalex.org/W2121375212","https://openalex.org/W2138162238","https://openalex.org/W2184578066","https://openalex.org/W2531563875","https://openalex.org/W6600192506"],"related_works":["https://openalex.org/W2952249082","https://openalex.org/W2061420542","https://openalex.org/W2074343215","https://openalex.org/W2004465018","https://openalex.org/W4283799632","https://openalex.org/W659009177","https://openalex.org/W2949818316","https://openalex.org/W2149038841","https://openalex.org/W1979038995","https://openalex.org/W2143815277"],"abstract_inverted_index":null,"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}