乐胖代购免代理版

{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T21:24:10Z","timestamp":1729632250121,"version":"3.28.0"},"publisher-location":"New York, NY, USA","reference-count":23,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2007,3,13]]},"DOI":"10.1145\/1233833.1233841","type":"proceedings-article","created":{"date-parts":[[2007,4,5]],"date-time":"2007-04-05T15:41:00Z","timestamp":1175787660000},"page":"59-64","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Aspects and modular reasoning in nonmonotonic logic"],"prefix":"10.1145","author":[{"given":"Klaus","family":"Ostermann","sequence":"first","affiliation":[{"name":"Darmstadt University of Technology, Germany"}]}],"member":"320","published-online":{"date-parts":[[2007,3,13]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.2307\/2274239"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/11531142_7"},{"key":"e_1_3_2_1_3_1","volume-title":"Non-monotonic reasoning","author":"Antoniou G.","year":"1996","unstructured":"G. Antoniou . Non-monotonic reasoning . MIT Press , 1996 . G. Antoniou. Non-monotonic reasoning. MIT Press, 1996."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/344588.344602"},{"key":"e_1_3_2_1_5_1","first-page":"521","volume-title":"Proceedings of the 15th Eureopean Conference on Artificial Intelligence, ECAI'2002","author":"Antoniou G.","year":"2002","unstructured":"G. Antoniou . Defeasible logic with dynamic priorities . In Proceedings of the 15th Eureopean Conference on Artificial Intelligence, ECAI'2002 , pages 521 -- 525 . IOS Press , 2002 . G. Antoniou. Defeasible logic with dynamic priorities. In Proceedings of the 15th Eureopean Conference on Artificial Intelligence, ECAI'2002, pages 521--525. IOS Press, 2002."},{"key":"e_1_3_2_1_6_1","first-page":"940","volume-title":"Proceedings of the 12th national conference on Artificial intelligence (AAAI)","author":"Brewka G.","year":"1994","unstructured":"G. Brewka . Reasoning about priorities in default logic . In Proceedings of the 12th national conference on Artificial intelligence (AAAI) , pages 940 -- 945 . American Association for Artificial Intelligence , 1994 . G. Brewka. Reasoning about priorities in default logic. In Proceedings of the 12th national conference on Artificial intelligence (AAAI), pages 940--945. American Association for Artificial Intelligence, 1994."},{"key":"e_1_3_2_1_7_1","volume-title":"Well-founded semantics for extended logic programs with dynamic preferences. J. Artif. Intell. Res. (JAIR), 4:19--36","author":"Brewka G.","year":"1996","unstructured":"G. Brewka . Well-founded semantics for extended logic programs with dynamic preferences. J. Artif. Intell. Res. (JAIR), 4:19--36 , 1996 . G. Brewka. Well-founded semantics for extended logic programs with dynamic preferences. J. Artif. Intell. Res. (JAIR), 4:19--36, 1996."},{"key":"e_1_3_2_1_8_1","volume-title":"Workshop on Software engineering Properties of Languages for Aspect Technologies (SPLAT!) at AOSD 2003","author":"Clifton C.","year":"2003","unstructured":"C. Clifton and G. T. Leavens . Obliviousness, modular reasoning, and the behavioral subtyping analogy . In Workshop on Software engineering Properties of Languages for Aspect Technologies (SPLAT!) at AOSD 2003 ., 2003 . C. Clifton and G. T. Leavens. Obliviousness, modular reasoning, and the behavioral subtyping analogy. In Workshop on Software engineering Properties of Languages for Aspect Technologies (SPLAT!) at AOSD 2003., 2003."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1111037.1111071"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(01)00134-5"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-45070-2_4"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1062455.1062482"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(90)90101-5"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1029894.1029916"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/508386.508392"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1111\/j.1467-8640.1988.tb00086.x"},{"key":"e_1_3_2_1_17_1","first-page":"35","volume-title":"Handbook of logic in artificial intelligence and logic programming (vol. 3): nonmonotonic reasoning and uncertain reasoning","author":"Makinson D.","year":"1994","unstructured":"D. Makinson . General patterns in nonmonotonic reasoning . In Handbook of logic in artificial intelligence and logic programming (vol. 3): nonmonotonic reasoning and uncertain reasoning , pages 35 -- 110 , New York, NY , USA, 1994 . Oxford University Press , Inc. D. Makinson. General patterns in nonmonotonic reasoning. In Handbook of logic in artificial intelligence and logic programming (vol. 3): nonmonotonic reasoning and uncertain reasoning, pages 35--110, New York, NY, USA, 1994. Oxford University Press, Inc."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-02906-0"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(80)90011-9"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(86)90032-9"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(85)90042-6"},{"key":"e_1_3_2_1_22_1","volume-title":"A logic for default reasoning. Artif. Intell., 13(1--2):81--132","author":"Reiter R.","year":"1980","unstructured":"R. Reiter . A logic for default reasoning. Artif. Intell., 13(1--2):81--132 , 1980 . R. Reiter. A logic for default reasoning. Artif. Intell., 13(1--2):81--132, 1980."},{"issue":"2","key":"e_1_3_2_1_23_1","first-page":"107","article-title":"Complexity of argument-based default reasoning with specificity","volume":"16","author":"Zhao X.","year":"2003","unstructured":"X. Zhao . Complexity of argument-based default reasoning with specificity . AI Commun. , 16 ( 2 ): 107 -- 119 , 2003 . X. Zhao. Complexity of argument-based default reasoning with specificity. AI Commun., 16(2):107--119, 2003.","journal-title":"AI Commun."}],"event":{"name":"AOSD07: 6th International Conference on Aspect-Oriented Software Development","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Vancouver British Columbia Canada","acronym":"AOSD07"},"container-title":["Proceedings of the 6th workshop on Foundations of aspect-oriented languages"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1233833.1233841","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,13]],"date-time":"2023-01-13T19:06:32Z","timestamp":1673636792000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1233833.1233841"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,3,13]]},"references-count":23,"alternative-id":["10.1145\/1233833.1233841","10.1145\/1233833"],"URL":"https:\/\/doi.org\/10.1145\/1233833.1233841","relation":{},"subject":[],"published":{"date-parts":[[2007,3,13]]},"assertion":[{"value":"2007-03-13","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}