Aspects and modular reasoning in nonmonotonic logic

Sixth Workshop on Foundations of Aspect-oriented Languages, FOAL'07 was held at the Sixth International Conference on Aspect-Oriented Software Development

Volumn , Issue , 2007, Pages 59-64

  Ostermann, Klaus ^a  

^a DARMSTADT UNIVERSITY OF TECHNOLOGY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

AO SEMANTICS; AOP; DEFAULT LOGIC; MODULAR REASONING; NONMONOTONIC LOGIC;

CASE BASED REASONING; INFORMATION ANALYSIS; MATHEMATICAL MODELS; OBJECT ORIENTED PROGRAMMING; SEMANTICS;

LOGIC PROGRAMMING;

EID: 34548314552     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1233833.1233841     Document Type: Conference Paper

References (23)

1. C. E. Alchourrón, P. Gärdenfors, and D. Makínson. On the logic of theory change: Partial meet contraction and revision functions. J. Symb. Log., 50(2):510-530, 1985.
2. J. Aldrich. Open modules: Modular reasoning about advice. In ECOOP'05, Lecture Notes in Computer Science, pages 144-168. Springer, 2005.
3. G. Antoniou. Non-monotonic reasoning. MIT Press, 1996.
4. G. Antoniou. A tutorial on default logics. ACM Comput. Surv., 31(4):337-359, 1999.
5. 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.
6. 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.
7. G. Brewka. Well-founded semantics for extended logic programs with dynamic preferences. J. Artif. Intell. Res. (JAIR), 4:19-36, 1996.
8. 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.
9. D. S. Dantas and D. Walker. Harmless advice. In Proceedings of the 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL '06), pages 383-396. ACM, 2006.
10. P. M. Dung and T. C. Son. An argument-based approach to reasoning with specificity. Artif. Intell., 133(1-2):35-85, 2001.
11. R. 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.
12. G. Kiczales and M. Mezini. Aspect-oriented programming and modular reasoning. In ICSE '05: Proceedings of the 27th international conference on Software engineering, pages 49-58, New York, NY, USA, 2005. ACM Press.
13. S. Kraus, D. J. Lehmann, and M. Magidor. Nonmonotonic reasoning, preferential models and cumulative logics. Artif. Intell., 44(1-2):167-207, 1990.
14. S. Krishnamurthi, K. Fisler, and M. Greenberg. Verifying aspect advice modularly. In SIGSOFT FSE'04, pages 137-146. ACM, 2004.
15. R. Lämmel. A semantical approach to method-call interception. In AOSD '02: Proceedings of the 1st international conference on Aspect-oriented software development, pages 41-55, New York, NY, USA, 2002. ACM Press.
16. W. Lukaszewicz. Considerations on default logic: an alternative approach. Computational Intelligence, 4:1-16, 1988.
17. 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.
18. W. Marek and M. Trusczynski. Nonmonotonic Logic. Springer, 1993.
19. J. McCarthy. Circumscription - a form of non-monotonic reasoning. Artificial Intelligence, 13:27-39, 1980.
20. J. McCarthy. Applications of circumscription to formalizing common sense knowledge. Artificial Intelligence, 28:89-116, 1986.
21. R. C. Moore. Semantical considerations on nonmonotonic logic. Artif. Intell., 25(1):75-94, 1985.
22. R. Reiter. A logic for default reasoning. Artif. Intell., 13(1-2):81-132, 1980.
23. X. Zhao. Complexity of argument-based default reasoning with specificity. AI Commun., 16(2):107-119, 2003.