乐胖代购免代理版

{"id":"https://openalex.org/W2087417542","doi":"https://doi.org/10.1145/1233833.1233841","title":"Aspects and modular reasoning in nonmonotonic logic","display_name":"Aspects and modular reasoning in nonmonotonic logic","publication_year":2007,"publication_date":"2007-03-13","ids":{"openalex":"https://openalex.org/W2087417542","doi":"https://doi.org/10.1145/1233833.1233841","mag":"2087417542"},"language":"en","primary_location":{"is_oa":false,"landing_page_url":"https://doi.org/10.1145/1233833.1233841","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},"type":"article","type_crossref":"proceedings-article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":"http://www.cs.ucf.edu/~leavens/FOAL/papers-2007/Ostermann.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5049077225","display_name":"Klaus Ostermann","orcid":"https://orcid.org/0000-0001-5294-5506"},"institutions":[{"id":"https://openalex.org/I31512782","display_name":"Technical University of Darmstadt","ror":"https://ror.org/05n911h24","country_code":"DE","type":"education","lineage":["https://openalex.org/I31512782"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Klaus Ostermann","raw_affiliation_strings":["Darmstadt University of Technology, Germany#TAB#"],"affiliations":[{"raw_affiliation_string":"Darmstadt University of Technology, Germany#TAB#","institution_ids":["https://openalex.org/I31512782"]}]}],"institution_assertions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5049077225"],"corresponding_institution_ids":["https://openalex.org/I31512782"],"apc_list":null,"apc_paid":null,"fwci":0.188,"has_fulltext":true,"fulltext_origin":"ngrams","cited_by_count":2,"citation_normalized_percentile":{"value":0.326411,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":70,"max":73},"biblio":{"volume":null,"issue":null,"first_page":"59","last_page":"64"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9999,"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.9999,"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.9981,"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/T10456","display_name":"Multi-Agent Systems and Negotiation","score":0.9969,"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/default-logic","display_name":"Default logic","score":0.754611},{"id":"https://openalex.org/keywords/non-monotonic-logic","display_name":"Non-monotonic logic","score":0.72068435}],"concepts":[{"id":"https://openalex.org/C160236029","wikidata":"https://www.wikidata.org/wiki/Q842421","display_name":"Default logic","level":5,"score":0.754611},{"id":"https://openalex.org/C159032336","wikidata":"https://www.wikidata.org/wiki/Q2488768","display_name":"Non-monotonic logic","level":2,"score":0.72068435},{"id":"https://openalex.org/C101468663","wikidata":"https://www.wikidata.org/wiki/Q1620158","display_name":"Modular design","level":2,"score":0.6629218},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6186648},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5566484},{"id":"https://openalex.org/C203659156","wikidata":"https://www.wikidata.org/wiki/Q6934805","display_name":"Multimodal logic","level":3,"score":0.50780255},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.5031263},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.49903417},{"id":"https://openalex.org/C2777796570","wikidata":"https://www.wikidata.org/wiki/Q2351326","display_name":"Dynamic logic (digital electronics)","level":4,"score":0.47468778},{"id":"https://openalex.org/C169896238","wikidata":"https://www.wikidata.org/wiki/Q1644136","display_name":"Higher-order logic","level":3,"score":0.44615605},{"id":"https://openalex.org/C3845977","wikidata":"https://www.wikidata.org/wiki/Q4826262","display_name":"Autoepistemic logic","level":4,"score":0.43276817},{"id":"https://openalex.org/C97364631","wikidata":"https://www.wikidata.org/wiki/Q484284","display_name":"Deductive reasoning","level":2,"score":0.4177133},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.39407685},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.35750425},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C172385210","wikidata":"https://www.wikidata.org/wiki/Q5339","display_name":"Transistor","level":3,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C165801399","wikidata":"https://www.wikidata.org/wiki/Q25428","display_name":"Voltage","level":2,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"is_oa":false,"landing_page_url":"https://doi.org/10.1145/1233833.1233841","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},{"is_oa":true,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.91.9375","pdf_url":"http://www.cs.ucf.edu/~leavens/FOAL/papers-2007/Ostermann.pdf","source":{"id":"https://openalex.org/S4306400349","display_name":"CiteSeer X (The Pennsylvania State University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I130769515","host_organization_name":"Pennsylvania State University","host_organization_lineage":["https://openalex.org/I130769515"],"host_organization_lineage_names":["Pennsylvania State University"],"type":"repository"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true}],"best_oa_location":{"is_oa":true,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.91.9375","pdf_url":"http://www.cs.ucf.edu/~leavens/FOAL/papers-2007/Ostermann.pdf","source":{"id":"https://openalex.org/S4306400349","display_name":"CiteSeer X (The Pennsylvania State University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I130769515","host_organization_name":"Pennsylvania State University","host_organization_lineage":["https://openalex.org/I130769515"],"host_organization_lineage_names":["Pennsylvania State University"],"type":"repository"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true},"sustainable_development_goals":[],"grants":[],"datasets":[],"versions":[],"referenced_works_count":24,"referenced_works":["https://openalex.org/W1481955269","https://openalex.org/W1500599653","https://openalex.org/W1500601312","https://openalex.org/W177421036","https://openalex.org/W1847820984","https://openalex.org/W1966552757","https://openalex.org/W1998363560","https://openalex.org/W2056036320","https://openalex.org/W2078926321","https://openalex.org/W2080142817","https://openalex.org/W2091857576","https://openalex.org/W2095355321","https://openalex.org/W2105597099","https://openalex.org/W2116244845","https://openalex.org/W2132730156","https://openalex.org/W2149420462","https://openalex.org/W2155322595","https://openalex.org/W2158024764","https://openalex.org/W2164067955","https://openalex.org/W2295150383","https://openalex.org/W2945259913","https://openalex.org/W2954333904","https://openalex.org/W3000457705","https://openalex.org/W4229938980"],"related_works":["https://openalex.org/W290319452","https://openalex.org/W2539709470","https://openalex.org/W2510221240","https://openalex.org/W2034442203","https://openalex.org/W1988882917","https://openalex.org/W1898747386","https://openalex.org/W1788106506","https://openalex.org/W1573063610","https://openalex.org/W1545424768","https://openalex.org/W1131711164"],"abstract_inverted_index":{"Nonmonotonic":[0],"logic":[1,6,28,48,65],"is":[2,21],"a":[3,22,34,55,75],"branch":[4],"of":[5,51,57,67],"that":[7,19,62],"has":[8],"been":[9],"developed":[10],"to":[11],"model":[12],"situations":[13],"with":[14],"incomplete":[15],"information.":[16],"We":[17],"argue":[18],"there":[20],"connection":[23],"between":[24],"AOP":[25],"and":[26,38,60],"nonmonotonic":[27,52],"which":[29],"deserves":[30],"further":[31],"study.":[32],"As":[33],"concrete":[35],"technical":[36],"contribution":[37],"\"appetizer\",":[39],"we":[40],"outline":[41],"an":[42],"AO":[43],"semantics":[44,70,78],"defined":[45],"in":[46],"default":[47,64],"(a":[49],"form":[50],"logic),":[53],"propose":[54],"definition":[56],"modular":[58,72],"reasoning,":[59],"show":[61],"the":[63,68],"version":[66],"language":[69,77],"admits":[71],"reasoning":[73],"whereas":[74],"conventional":[76],"based":[79],"on":[80],"weaving":[81],"does":[82],"not.":[83]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W2087417542","counts_by_year":[],"updated_date":"2024-12-28T04:47:32.073447","created_date":"2016-06-24"}