[{"text":"\n\n\nJonathan Aldrich, Open modules: modular reasoning about advice, Proceedings of the 19th European conference on Object-Oriented Programming, July 25-29, 2005, Glasgow, UK   [doi>10.1007/11531142_7]\n\n","citation":"2144902"},{"text":"\n\nG. Amati, L. C. Aiello, and F. Pirri. Defaults as restrictions on classical Hilbert-style proofs. Journal of Logic, Language and Information, 3(4):303--326, 1994.\n\n"},{"text":"\n\nG. Antoniou. Non-monotonic reasoning. MIT Press, 1996.\n\n"},{"text":"\n\n\nGrigoris Antoniou, A tutorial on default logics, ACM Computing Surveys (CSUR), v.31 n.4, p.337-359, Dec. 1999   [doi>10.1145/344588.344602]\n\n","citation":"344602","doi":"http://doi.acm.org/10.1145/344588.344602"},{"text":"\n\n\nGerhard Brewka, Reasoning about priorities in default logic, Proceedings of the twelfth national conference on Artificial intelligence (vol. 2), p.940-945, October 1994, Seattle, Washington, USA \n\n","citation":"199501"},{"text":"\n\n\nGerhard Brewka, Well-founded semantics for extended logic programs with dynamic preferences, Journal of Artificial Intelligence Research, v.4 n.1, p.19-36, Jnauary 1996 \n\n","citation":"1622739"},{"text":"\n\n\nLuca Cardelli, Program fragments, linking, and modularization, Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.266-277, January 15-17, 1997, Paris, France   [doi>10.1145/263699.263735]\n\n","citation":"263735","doi":"http://doi.acm.org/10.1145/263699.263735"},{"text":"\n\nK. L. Clark. Negation as failure. In Logic and Data Bases, pages 293--322, 1977.\n\n"},{"text":"\n\nC. 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.\n\n"},{"text":"\n\n\nPhan Minh Dung , Tran Cao Son, An argument-based approach to reasoning with specificity, Artificial Intelligence, v.133 n.1-2, p.35-85, December 2001   [doi>10.1016/S0004-3702(01)00134-5]\n\n","citation":"512501"},{"text":"\n\n\nMax Goldman , Shmuel Katz, MAVEN: modular aspect verification, Proceedings of the 13th international conference on Tools and algorithms for the construction and analysis of systems, March 24-April 01, 2007, Braga, Portugal \n\n","citation":"1763538"},{"text":"\n\n\nC. A. R. Hoare, An axiomatic basis for computer programming, Communications of the ACM, v.12 n.10, p.576-580, Oct. 1969   [doi>10.1145/363235.363259]\n\n","citation":"363259","doi":"http://doi.acm.org/10.1145/363235.363259"},{"text":"\n\n\nAtsushi Igarashi , Benjamin C. Pierce , Philip Wadler, Featherweight Java: a minimal core calculus for Java and GJ, ACM Transactions on Programming Languages and Systems (TOPLAS), v.23 n.3, p.396-450, May 2001   [doi>10.1145/503502.503505]\n\n","citation":"503505","doi":"http://doi.acm.org/10.1145/503502.503505"},{"text":"\n\nR. Jagadeesan, A. Jeffrey, and J. Riely. A calculus of untyped aspect-oriented programs. In ECOOP 2003 - Object-Oriented Programming, 17th European Conference, pages 54--73, 2003.\n\n"},{"text":"\n\n\nGregor Kiczales , Erik Hilsdale , Jim Hugunin , Mik Kersten , Jeffrey Palm , William G. Griswold, An Overview of AspectJ, Proceedings of the 15th European Conference on Object-Oriented Programming, p.327-353, June 18-22, 2001 \n\n","citation":"680006"},{"text":"\n\n\nGregor Kiczales , Mira Mezini, Aspect-oriented programming and modular reasoning, Proceedings of the 27th international conference on Software engineering, May 15-21, 2005, St. Louis, MO, USA   [doi>10.1145/1062455.1062482]\n\n","citation":"1062482","doi":"http://doi.acm.org/10.1145/1062455.1062482"},{"text":"\n\n\nSarit Kraus , Daniel Lehmann , Menachem Magidor, Nonmonotonic reasoning, preferential models and cumulative logics, Artificial Intelligence, v.44 n.1-2, p.167-207, July 1990   [doi>10.1016/0004-3702(90)90101-5]\n\n","citation":"88745"},{"text":"\n\n\nShriram Krishnamurthi , Kathi Fisler , Michael Greenberg, Verifying aspect advice modularly, Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering, October 31-November 06, 2004, Newport Beach, CA, USA   [doi>10.1145/1029894.1029916]\n\n","citation":"1029916","doi":"http://doi.acm.org/10.1145/1029894.1029916"},{"text":"\n\nC. Larman. Applying UML and Patterns. Prentice Hall, 2001.\n\n"},{"text":"\n\n\nDavid Makinson, General patterns in nonmonotonic reasoning, Handbook of logic in artificial intelligence and logic programming (vol. 3): nonmonotonic reasoning and uncertain reasoning, Oxford University Press, Inc., New York, NY, 1994 \n\n","citation":"186126"},{"text":"\n\nW. Marek and M. Trusczynski. Nonmonotonic Logic. Springer, 1993.\n\n"},{"text":"\n\nJ. McCarthy. Circumscription---a form of non-monotonic reasoning. Artificial Intelligence, 13:27--39, 1980.\n\n"},{"text":"\n\n\nJohn McCarthy, Applications of circumscription to formalizing common-sense knowledge, Artificial Intelligence, v.28 n.1, p.89-116, Feb. 1986   [doi>10.1016/0004-3702(86)90032-9]\n\n","citation":"5451"},{"text":"\n\nJ. 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.\n\n"},{"text":"\n\n\nBertrand Meyer, Object-oriented software construction (2nd ed.), Prentice-Hall, Inc., Upper Saddle River, NJ, 1997 \n\n","citation":"261119"},{"text":"\n\n\nEugenio Moggi, A Modular Approach to Denotational Semantics, Proceedings of the 4th International Conference on Category Theory and Computer Science, p.138-139, September 03-06, 1991 \n\n","citation":"755592"},{"text":"\n\n\nRobert C. Moore, Semantical considerations on nonmonotonic logic, Artificial Intelligence, v.25 n.1, p.75-94, Jan. 1985   [doi>10.1016/0004-3702(85)90042-6]\n\n","citation":"2781"},{"text":"\n\nP. D. Mosses. Modular structural operational semantics. J. Log. Algebr. Program., 60--61:195--228, 2004.\n\n"},{"text":"\n\n\nD. L. Parnas, On the criteria to be used in decomposing systems into modules, Communications of the ACM, v.15 n.12, p.1053-1058, Dec. 1972   [doi>10.1145/361598.361623]\n\n","citation":"361623","doi":"http://doi.acm.org/10.1145/361598.361623"},{"text":"\n\nG. D. Plotkin. A Structural Approach to Operational Semantics. Technical Report DAIMI FN-19, University of Aarhus, 1981.\n\n"},{"text":"\n\nR. Reiter. A logic for default reasoning. Artif. Intell., 13(1--2):81--132, 1980.\n\n"},{"text":"\n\n\nJoseph E. Stoy, Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory, MIT Press, Cambridge, MA, 1977 \n\n","citation":"540155"},{"text":"\n\n\nKevin Sullivan , William G. Griswold , Yuanyuan Song , Yuanfang Cai , Macneil Shonle , Nishit Tewari , Hridesh Rajan, Information hiding interfaces for aspect-oriented design, Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering, September 05-09, 2005, Lisbon, Portugal   [doi>10.1145/1081706.1081734]\n\n","citation":"1081734","doi":"http://doi.acm.org/10.1145/1081706.1081734"},{"text":"\n\n\nMitchell Wand , Gregor Kiczales , Christopher Dutchyn, A semantics for advice and dynamic join points in aspect-oriented programming, ACM Transactions on Programming Languages and Systems (TOPLAS), v.26 n.5, p.890-910, September 2004   [doi>10.1145/1018203.1018208]\n\n","citation":"1018208","doi":"http://doi.acm.org/10.1145/1018203.1018208"},{"text":"\n\n\nPeter Wegner, Concepts and paradigms of object-oriented programming, ACM SIGPLAN OOPS Messenger, v.1 n.1, p.7-87, Aug. 1990   [doi>10.1145/382192.383004]\n\n","citation":"383004","doi":"http://doi.acm.org/10.1145/382192.383004"},{"text":"\n\nJ. Winkler. Objectivism: \"class\" considered harmful. Communications of the ACM, 35(8):128--130, 1992.\n\n"},{"text":"\n\nQ. Xu, W. P. de Roever, and J. He. The rely-guarantee method for verifying shared variable concurrent programs. Formal Aspects of Computing, 9(2):149--174, 1997.\n\n"},{"text":"\n\n\nXishun Zhao, Complexity of argument-based default reasoning with specificity, AI Communications, v.16 n.2, p.107-119, 2003 \n\n","citation":"873738"}]