{“id”：“https://openalex.org/W2117897681“，”doi“：”https://doi.org/10.1007/978-3642-02121-3_27“，”title“：“与Forest逻辑程序的混合推理”，”display_name“：”与Forest Logic程序的混合理性“，”publication_year“：2009，”publiation_date“：”2009-01-01“，”ids“：{”openalex“：”https://openalex.org/W2117897681“，”doi“：”https://doi.org/10.1007/978-3642-02121-3_27“，”mag“：”2117897681“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1007/978-3642-02121-3_27，“pdf_url”：https://link.springer.com/content/pdf/10.1007/978-3642-02121-3_27.pdf，“源”：{“id”：https://openalex.org/S106296714“，”“display_name”“：”“计算机科学课堂讲稿”“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”is_oa“：false，”is_in_doaj“：false，”host_organization“：”https://openalex.org/P4310318900“，”“host_organization_name”：“Springer Science+Business Media”，“host_organization_lineage”：[“https://openalex.org/P431031965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springer-Science+Business Media“]，“type”：“book-series”}，“license”：null，“licence_id”：nul，“version”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，”type“：”book-chapter“，”type_crossref“：美国“：”铜牌“，”oaurl“：”https://link.springer.com/content/pdf/10.1007/978-3642-02121-3_27.pdf“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A505516926“，”display_name“：”Cristina Feier“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I145847075“，”display_name“：”TU Wien“，”ror“：”https://ror.org/04d836q62“，”country_code“：”AT“，”type“：“教育”，”世系“：[”https://openalex.org/I145847075“]}]，”国家“：[”AT“]，”is_corresponding“：false，”raw_author_name“：”Cristina Feier“，”raw _affiliation_strings“：[“维也纳理工大学信息系统研究所基于知识的系统组，奥地利维也纳A-1040，Favoritenstrasse 9-11”]}，{“author_position”：“last”，“author”：{“id”：“https://openalex.org/A5057002563“，”display_name“：”Stijn Heymans“，”orcid“：null｝，”institutions“：[｛”id“：”https://openalex.org/I145847075“，”display_name“：”TU Wien“，”ror“：”https://ror.org/04d836q62“，”country_code“：”AT“，”type“：“教育”，”世系“：[”https://openalex.org/I145847075“]}]，”国家“：[”AT“]，”is_corresponding“：false，”raw_author_name“：”Stijn Heymans“，”raw _ afiliation_strings“：[“维也纳理工大学信息系统研究所基于知识的系统组，奥地利维也纳Favoritenstrasse 9-11，A-1040“]}”，”countries_distiction_count“：1，”institutions_disticent_count”：1，“corresponding_author_ids”：[]，“corresponding_institution_ids”：[]，“apc_list”：｛“value”：5000，“currency”：“EUR”，“value_usd”：5392，“出处”：“doaj”｝，“apc_payed”：｛“value”：5000，“currency”：“EUR”，“value_usd”：5392，“出处”：“doaj”｝，“has_fulltext”：true，“fulltext_origin”：“pdf”，“cited_by_count”：8，“cited_by_percentle_year”：｛“min”：84，“max”：85｝，“biblio”：｛“volume”：null，“issue”：null，“first_page”：“338”，“last_page”：“352”}，“is_retracted”：false，“is_paratext”：false，“primary_topic”：{“id”：“https://openalex.org/T11010“，”display_name“：”逻辑编程与知识表示“，”score“：0.9999，”subfield“：{”id“：”https://openalex.org/subfields/1702“，”display_name“：”人工智能“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，”主题“：[{”id“：”https://openalex.org/T11010“，”display_name“：”逻辑编程与知识表示“，”score“：0.9999，”subfield“：{”id“：”https://openalex.org/subfields/1702“，”display_name“：”人工智能“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，{”id“：”https://openalex.org/T10456“，”“display_name”：“基于代理建模的方法和技术”，“score”：0.9964，“subfield”：{“id”：“https://openalex.org/subfields/1702“，”display_name“：”人工智能“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，{”id“：”https://openalex.org/T10215“，”display_name“：”语义Web和本体开发“，”score“：0.9875，”subfield“：{”id“：”https://openalex.org/subfields/1702“，”display_name“：”人工智能“}，”字段“：{”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/schema-matching“，”display_name“：”架构匹配“，”score“：0.562066}，{”id“：”https://openalex.org/keywords/desolution-frameworks（https://openalex.org/关键词/论证框架）“，”display_name“：”Argumentation Frameworks“，”score“：0.559923}，{”id“：”https://openalex.org/keywords/answer-set-programming网站“，”display_name“：”答案集编程“，”score“：0.557728}，{”id“：”https://openalex.org/keywords/constraint-logic-programming网站“，”display_name“：”约束逻辑编程“，”score“：0.535955}，{”id“：”https://openalex.org/keywords/非单调推理“，”display_name“：”非单调推理“，”score“：0.533156}]，”concepts“：[{”id“：”https://openalex.org/C153269930，“wikidata”：https://www.wikidata.org/wiki/Q430001“，”display_name“：”决定性“，”level“：2，”score“：0.74814945｝，｛”id“：”https://openalex.org/C2776235265，“wikidata”：https://www.wikidata.org/wiki/Q18392052“，”display_name“：”Fragment（logic）“，”level“：2，”score“：0.7209068}，{”id“：”https://openalex.org/C168773769，“wikidata”：https://www.wikidata.org/wiki/Q1350299“，”display_name“：”可满足性“，”级别“：2，”分数“：0.60386956}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.5591967}，{”id“：”https://openalex.org/C159032336，“wikidata”：https://www.wikidata.org/wiki/Q2488768“，”display_name“：”非单调逻辑“，”level“：2，”score“：0.5481678}，{”id“：”https://openalex.org/C102993220，“wikidata”：https://www.wikidata.org/wiki/Q387196“，”display_name“：”描述逻辑“，”level“：2，”score“：0.50375456}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.48875952}，{”id“：”https://openalex.org/C113174947，“wikidata”：https://www.wikidata.org/wiki/Q2859736“，”display_name“：”树（集合论）“，”level“：2，”score“：0.46899536}，{”id“：”https://openalex.org/C177264268，“wikidata”：https://www.wikidata.org/wiki/Q1514741“，”display_name“：”Set（abstract data type）“，”level“：2，”score“：0.4599089}，{”id“：”https://openalex.org/C128838566，“wikidata”：https://www.wikidata.org/wiki/Q275603“，”display_name“：”逻辑编程“，”level“：2，”score“：0.44540444}，{”id“：”https://openalex.org/C161301231，“wikidata”：https://www.wikidata.org/wiki/Q3478658“，”display_name“：”知识表示与推理“，”level“：2，”score“：0.4308614}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.39173403}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.2963881}，{”id“：”https://openalex.org/C154945302，“wikidata”：https://www.wikidata.org/wiki/Q11660“，”display_name“：”人工智能“，”level“：1，”score“：0.2904743}，{”id“：”https://openalex.org/C114614502，“wikidata”：https://www.wikidata.org/wiki/Q76592“，”display_name“：”组合数学“，”level“：1，”score“：0.093218386}]，”mesh“：[]，”locations_count“：2，”location“：[{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1007/978-3-642-02121-327，“pdf_url”：https://link.springer.com/content/pdf/10.1007/978-3642-02121-3_27.pdf，“源”：{“id”：https://openalex.org/S106296714“，”“display_name”“：”“计算机科学课堂讲稿”“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”is_oa“：false，”is_in_doaj“：false，”host_organization“：”https://openalex.org/P4310318900“，”“host_organization_name”：“Springer Science+Business Media”，“host_organization_lineage”：[“https://openalex.org/P431031965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springer-Science+Business Media“]，“type”：“book-series”}，“license”：null，“licence_id”：nul，“version”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，{“is_oa”：true，“landing_page_url”：“http://citeseerx.ist.psu.edu/viewdoc/summary？doi=10.1.1.579.8107，“pdf_url”：http://www.kr.tuwien.ac.at/research/reports/rr0814.pdf，“源”：{“id”：https://openalex.org/S4306400349“，”display_name“：”CiteSeer X（宾夕法尼亚州立大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/I130769515“，”“host_organization_name”：“宾夕法尼亚州立大学”，“host_ordanization_lineage”：[“https://openalex.org/I130769515“]，”host_organization_lineage_names“：[”Pennsylvania State University“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：{“is_oa”：true，“landing_page_url”：“https://doi.org/10.1007/978-3642-02121-3_27，“pdf_url”：https://link.springer.com/content/pdf/10.1007/978-3-642-02121-3_27.pdf，“源”：{“id”：https://openalex.org/S106296714“，”“display_name”“：”“计算机科学课堂讲稿”“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”is_oa“：false，”is_in_doaj“：false，”host_organization“：”https://openalex.org/P4310318900“，”“host_organization_name”：“Springer Science+Business Media”，“host_organization_lineage”：[“https://openalex.org/P431031965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springer-Science+Business Media“]，“type”：“book-series”}，“license”：null，“licence_id”：nul，“version”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，”sustainable_development_goals“：[{”score“：0.69，”id“：”https://metadata.un.org/sdg/15“，”display_name“：”Life on land“}]，”grants“：[]，”datasets“：【】，”versions“：【]，”referenced_works_count“：14，”referrenced_works“：[”https://openalex.org/W1513261665","https://openalex.org/W1540215665","https://openalex.org/W1587067956","https://openalex.org/W1591758264","https://openalex.org/W1591768831","https://openalex.org/W2004758195","https://openalex.org/W200731164","https://openalex.org/W2092207224","https://openalex.org/W2100983017","https://openalex.org/W2102308007","https://openalex.org/W2106354297","https://openalex.org/W2124876285","https://openalex.org/W2165108943","https://openalex.org/W4367435839“]，”related_works“：[”https://openalex.org/W2789140669","https://openalex.org/W2585890227","https://openalex.org/W2294297515","https://openalex.org/W2166108892","https://openalex.org/W2120921192","https://openalex.org/W2115969784","https://openalex.org/W2072122432","https://openalex.org/W1576014289","https://openalex.org/W1543051890","https://openalex.org/W1501276147“]，”ngrams_url“：”https://api.openalex.org/works/W2117897681/ngrams“，”“abstract_inverted_index”：{“Open”：[0]，“Answer”：[1]，“Set”：[2]，“Programming”：[3]，“（OASP）”：[4]，“is”：[5]，“an”：[6]，“有吸引力的”：[7]，“framework”：[8,68]，“for”：[9,38,55]，“integrating”：[10]，“ontologies”：[11]，“and”：[12,35,53,58,74,79]，“rules”。“：[13]，”]，“多个”：[15]，“可判定”：[16]，“片段”：[17]，“of”：[18111]，“OASP”：[19]，“have”：[20,49]，“已“：[21]，”已识别“：[22]，”少数“：[23]，”推理“：[24,83,92]，”程序“：[25]，”存在。“：[26]，”In“：[27]，”this“：[28]，”paper“：[29]，”we“：[30,80]，”provide“：/31]，”a“：[32,45,50,66117]，”sound“：33]，”complete“：[34]，”termining“：[36]，”algorithm“：[3]，”satisfiability“：[39]，”checking“：%40]，”w.r.t.“：[41]，”forest“：[42,75,94]，”logic“：[43,76,95]，“程序”：[44]，“片段”：[46]，“其中”：[47,69]，“规则”：[48]，“树”：[51]，“形状”：[52]，“允许”：[54]，“不等式”：[56]，“原子”：[57]，“常数”：[59]，“我们”：[60,98]，“进一步”：[61]，“介绍”：[62]，“f-hybrid”：[63101]，“知识”：[64,72,86102]，“基础”：[65]，“混合”：[67122]，“$\\mathcal”：[70]，“SHOQ$”：[71]，“基”：[73,87103]，“程序”：[77,96]，“共存”：[78]，“show“：[81]，”that“：[82100]，”with“：[84,93]，”such“：[85]，”can“：[88]，”be“：[89]，”reduced“：[90]，“to”：[91121]，“only。”：[97]，“note”：[99]，“do”：[104]，“no”：[105]，“require”：[106]，“the”：[107112]，“commerly”：[108]，“（弱）”：[109]，“DL-saffety”：[110]，“rule”：[113]，“component”：[114]，“provided”：[115]，“thouse”：[116]，“real”：[118]，“alternational”：[119]，“approach”：%120]，“推理。”：[123]}，“cited_by_api_url”：“https://api.openalex.org/works？filter=cites:W2117897681“，”counts_by_year“：[{”年份“：2013，”cited_by_count“：1}，{”年度“：2012，”cited_by_count”：2}]，”updated_date“：”2024-05-22T10:59:59.390869“，”created_date:“2016-06-24”}