乐胖代购免代理版

{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T18:53:30Z","timestamp":1730314410977,"version":"3.28.0"},"publisher-location":"New York, NY, USA","reference-count":37,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2008,3,31]]},"DOI":"10.1145\/1353482.1353489","type":"proceedings-article","created":{"date-parts":[[2008,4,1]],"date-time":"2008-04-01T16:11:28Z","timestamp":1207066288000},"page":"48-59","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":6,"title":["Reasoning about aspects with common sense"],"prefix":"10.1145","author":[{"given":"Klaus","family":"Ostermann","sequence":"first","affiliation":[{"name":"University of Aarhus, Denmark"}]}],"member":"320","published-online":{"date-parts":[[2008,3,31]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/11531142_7"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01160020"},{"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":"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_6_1","doi-asserted-by":"publisher","DOI":"10.5555\/1622737.1622739"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/263699.263735"},{"key":"e_1_3_2_1_8_1","first-page":"293","volume-title":"Logic and Data Bases","author":"Clark K. L.","year":"1977","unstructured":"K. L. Clark . Negation as failure . In Logic and Data Bases , pages 293 -- 322 , 1977 . K. L. Clark. Negation as failure. In Logic and Data Bases, pages 293--322, 1977."},{"key":"e_1_3_2_1_9_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_10_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(01)00134-5"},{"key":"e_1_3_2_1_11_1","first-page":"308","volume-title":"TACAS","author":"Goldman M.","year":"2007","unstructured":"M. Goldman and S. Katz . Maven: Modular aspect verification . In TACAS , Springer LNCS 4424, pages 308 -- 322 , 2007 . M. Goldman and S. Katz. Maven: Modular aspect verification. In TACAS, Springer LNCS 4424, pages 308--322, 2007."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/363235.363259"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/503502.503505"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-45070-2_4"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.5555\/646158.680006"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1062455.1062482"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(90)90101-5"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1029894.1029916"},{"key":"e_1_3_2_1_19_1","volume-title":"Applying UML and Patterns","author":"Larman C.","year":"2001","unstructured":"C. Larman . Applying UML and Patterns . Prentice Hall , 2001 . C. Larman. Applying UML and Patterns. Prentice Hall, 2001."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1093\/oso\/9780198537472.003.0002","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_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-02906-0"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(80)90011-9"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(86)90032-9"},{"key":"e_1_3_2_1_24_1","first-page":"463","volume-title":"Machine Intelligence 4","author":"McCarthy J.","year":"1969","unstructured":"J. McCarthy and P. J. Hayes . Some philosophical problems from the standpoint of artificial intelligence . In B. Meltzer and D. Michie, editors, Machine Intelligence 4 , pages 463 -- 502 . Edinburgh University Press , 1969 . J. McCarthy and P. J. Hayes. Some philosophical problems from the standpoint of artificial intelligence. In B. Meltzer and D. Michie, editors, Machine Intelligence 4, pages 463--502. Edinburgh University Press, 1969."},{"key":"e_1_3_2_1_25_1","volume-title":"Object-Oriented Software Construction","author":"Meyer B.","year":"1997","unstructured":"B. Meyer . Object-Oriented Software Construction . Prentice Hall , second edition, 1997 . B. Meyer. Object-Oriented Software Construction. Prentice Hall, second edition, 1997."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"crossref","first-page":"138","DOI":"10.1007\/BFb0013462","volume-title":"Category Theory and Computer Science","author":"Moggi E.","year":"1991","unstructured":"E. Moggi . A modular approach to denotational semantics . In Category Theory and Computer Science , Springer LNCS 530, pages 138 -- 139 , 1991 . E. Moggi. A modular approach to denotational semantics. In Category Theory and Computer Science, Springer LNCS 530, pages 138--139, 1991."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(85)90042-6"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlap.2004.03.008"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/361598.361623"},{"key":"e_1_3_2_1_31_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."},{"key":"e_1_3_2_1_32_1","volume-title":"Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory","author":"Stoy J. E.","year":"1977","unstructured":"J. E. Stoy . Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory . MIT Press , Cambridge, MA, USA , 1977 . J. E. Stoy. Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory. MIT Press, Cambridge, MA, USA, 1977."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/1081706.1081734"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/1018203.1018208"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/382192.383004"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/1787234.1787260"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01211617"},{"issue":"2","key":"e_1_3_2_1_38_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":"AOSD08: 7th Annual Aspect-Oriented Software Development Conference","sponsor":["AOSA Aspect-Oriented Software Association","SIGPLAN ACM Special Interest Group on Programming Languages","SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Brussels Belgium","acronym":"AOSD08"},"container-title":["Proceedings of the 7th international conference on Aspect-oriented software development"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1353482.1353489","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,24]],"date-time":"2024-02-24T09:35:35Z","timestamp":1708767335000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1353482.1353489"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,3,31]]},"references-count":37,"alternative-id":["10.1145\/1353482.1353489","10.1145\/1353482"],"URL":"https:\/\/doi.org\/10.1145\/1353482.1353489","relation":{},"subject":[],"published":{"date-parts":[[2008,3,31]]},"assertion":[{"value":"2008-03-31","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}