Knowledge-based assessment of behavior in dynamic environments

KRAS'05 - Proceedings of the 2005 ACM Workshop on Research in Knowledge Representation for Autonomous Systems

Volumn , Issue , 2005, Pages 17-26

  Cebulla, Michael ^a  

^a TECHNISCHE UNIVERSITÄT BERLIN   (Germany)

Author keywords

Context Awareness; Knowledge Management

Indexed keywords

ADAPTIVE CONTROL SYSTEMS; AUTOMATION; BEHAVIORAL RESEARCH; FUZZY SETS; INTEGRATION; KNOWLEDGE REPRESENTATION; ROBUSTNESS (CONTROL SYSTEMS);

CONTEXT AWARE BEHAVIOR; CONTEXT AWARENESS; KNOWLEDGE MANAGEMENT; ROBUST AUTOMATIC REASONING;

KNOWLEDGE BASED SYSTEMS;

EID: 33749033089     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1096961.1096964     Document Type: Conference Paper

References (32)

1. Franz Baader, Diego Calvanese, Deborah McGuinness, Daniele Nardi, and Peter Patel-Schneider, editors. The Description Logic Handbook. Cambridge University Press, Cambridge, U.K., 2003.
2. Franz Baader, Carsten Lutz, Maja Milicić, Ulrike Sattler, and Frank Wolter. Integrating description logics and action formalisms for reasoning about web services. Technical report, Technische Universität Dresden, Dresden, 2005.
3. Jean-Pierre Banâtre and Daniel Le Métayer. Programming by multiset transformation. Communications of the ACM, 36(1):98-111, 1993.
4. Gérard Berry and Gérard Boudol. The chemical abstract machine. Journal of Theoretical Computer Science, 96(1):217-248, 1992.
5. Nadia Busi, Paolo Ciancarini, Roberto Gorrieri, and Gianluigi Zavattaro. Coordination models: A guided tour. In Andrea Omicini, Franco Zambonelli, Matthias Klusch, and Robert Tolksdorf, editors, Coordination of Internet Agents. Models, Technologies, and Applications. Springer-Verlag, Berlin, 2001.
6. Ronald Fagin, Joseph Y. Halpern, Yoram Moses, and Moshe Y. Vardi. Reasoning about Knowledge. The MIT Press, Cambridge, Mass., 1996.
7. Foundation for Intelligent Physical Agents. Fipa communicative act library specification. http://www.fipa.org/specs/fipa00037/SC00037J.html, 2002.
8. David Garlan and Bradley Schmerl. Model-based adaptation for self-healing systems. In J. Allen, R. Fikes, and E. Sandwall, editors, Proc. of the First Workshop on Self-healing systems, New York, 2003. ACM Press.
9. Ramasamy S. Gounder and Albert C. Esterline. Fuzzy versions of epistemic and deontic logic. In NASA-URC, 1998.
10. Jaakop Hintikka. Knowledge and Belief: An Introduction to the Logic of the two Notions. Cornell Univ. Press, Ithaca, New York, 1962.
11. Jeffrey O. Kephart and David M. Chess. The vision of autonomic computing. IEEE Computer, 36(1):41-50, 2003.
12. George J. Klir and Bo Yuan. Fuzzy Sets and Fuzzy Logic. Theory and Applications. Prentice Hall, Upper Saddle River, N.J., 1995.
13. Saul Kripke. A semantic analysis for modal logic i: normal modal propositional calculi. Zeitschrift für Mathematische Logik and Grundlagen der Mathematik, 9:67-96, 1963.
14. Hector J. Levesque. Foundations of a functional approach to knowledge representation. Artificial Intelligence, 23, 1984.
15. Zohar Manna and Amir Pnueli. The Temporal Logic of Reactive and Concurrent Systems - Specification. Springer-Verlag, New York, 1992.
16. Daniel Le Métayer. Software architecture styles as graph grammars. In Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering, New York, 1996.
17. Bernhard Nebel. Reasoning and Revision in Hybrid Representation Systems (reprint). PhD thesis, University of Saarland, 1989.
18. Allen Newell. The knowledge level. Artificial Intelligence, 18(1):82-127, 1982.
19. Peter Pepper, Michael Cebulla, Klaus Didrich, and Wolfgang Grieskamp. From program languages to software languages. The Journal of Systems and Software, 60, 2002.
20. Anand S. Rao and Michael P. Georgeff. Deliberation and intentions. Technical Report Technical Note 10, Australian Artificial Intelligence Institute, 171 La Trobe Street, Melbourne, Australia, 1995.
21. R.E.Fikes and N.J.Nilsson. Strips: A new approach to the application of theorem proving to problem solving. In J.Allen, J.Hendler, and A.Tate, editors, Readings in Planning. Kaufmann, San Mateo, Ca., 1990.
22. Klaus Schild. A correspondence theory for terminological logics: Preliminary report. Technical Report KIT-Report 91, Technische Universität Berlin, Franklinstr. 28/29, Berlin, Germany, 1991.
23. Y. Shahar, S. Miksch, and P. Johnson. The asgaard project: a task-specific framework for the application and critiquing of time-oriented clinical guidelines. Artificial Intelligence in Medicine, 14:29-51, 1998.
24. Mary Shaw and David Garlan. Software Architecture. Perspectives on an emerging discipline. Prentice Hall, Upper Saddle River, N.J., 1996.
25. Munindar P. Singh. Multiagent Systems. A Theoretical Framework for Intentions, Know-how, and Communications. Springer, Berlin, Heidelberg, 1994.
26. Umberto Straccia. Reasoning with fuzzy description logic. Journal of Artificial Intelligence Research, 14:137-166, 2001.
27. Umberto Straccia. Towards a fuzzy description logic for the semantic web. Technical report, ISTI-CNR, Pisa, 2004.
28. V. Wenzel, W.G. Voelckel, A.C. Krismer, V.D. Mayr, H.-U. Strohmenger, M.A. Baubin, H.Wagner-Berger, A. Stallinger, and K.H. Lindner. Die neuen internationalen richtlinien zur kardiopulmonalen reanimation. Der Anaesthesist, 50:342-357, 2001.
29. Glynn Winskel. Event structures. In W. Brauer, W. Reisig, and G. Rozenberg, editors, Petri nets: Applications and relationships to other models of concurr ency. Springer LNCS 255, Berlin, 1987.
30. Michael John Wooldridge. The Logical Modeling of Computational Multi-Agent Systems. PhD thesis, Department of Computation. University of Manchester, 1992.
31. Lofti A. Zadeh. Fuzzy sets. Information and Control, 8(3):338-353, 1965.
32. Hans-Jürgen Zimmermann. Operations Research. Methoden und Modelle. Vieweg, Braunschweig, 1987.