2
Nakamura, M. Baral, C. and Bjäreland, M. Maintainability: a weaker stabilizability-like notion for high level control of agents. In Proceedings of the Nineteenth National Conference on Artificial Intelligence (AAAI '00), Austin, Texas, USA, August 2000. To appear.
Bjäreland, M. and Fodor, G. Execution monitoring of industrial process controllers: an application of Ontological Control. In Prooceedings of the 4th Symposium on Fault Detection, Supervision and Safety for Technical Systems (SAFEPROCESS '00), Budapest, Hungary, June 14-16, 2000.
Drakengren, T. and Bjäreland, M. Reasoning about Action in Polynomial Time In Artficial Intelligence, Elsevier. November 1999.
Bjäreland, M. and Jonsson, P. Exploiting Bipartiteness to Identify Yet Another Tractable Subclass of CSP, In Proceedings of the Fifth International Conference on Principles and Practice of Constraint Programming (CP'99), Alexandria, Virginia, USA, October 1999.
Bjäreland, M. Execution Monitor Synthesis for Hybrid Systems - Preliminary Report In Proceedings of the Fourteenth IEEE International Symposium on Intelligent Control (ISIC'99), Boston, MA, USA, September 1999. To appear.
Bjäreland, M. Recovering from Modeling Faults in GOLOG In the IJCAI'99 Workshop: Scheduling and Planning Meet Real-Time Monitoring in a Dynamic and Uncertain World, Stockholm, Sweden, August, 1999.
Drakengren, T. and Bjäreland, M. Expressive Reasoning about Action in Nondeterministic Polynomial Time In Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence (IJCAI'99), Stockholm, Sweden, Morgan Kaufmann, August 1999.
Bjäreland, M. and Driankov, D. Synthesizing Discrete Controllers from Hybrid Automata - Preliminary Report . AAAI 1999 Spring Symposium on Hybrid Systems and AI , Stanford University, CA, USA, March 1999.
Bjäreland, M. and Fodor, G. Ontological Control . Ninth International Workshop on Principles of Diagnosis (DX-98), N. Falmouth, MA, USA, May 1998.
Bjäreland, M. and Karlsson, L. Reasoning by Regression: Pre- and Postdiction Procedures for Logics of Action and Change with Nondeterminism. In Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence (IJCAI'97), Nagoya, Japan, Morgan Kaufmann, August 1997.
Drakengren, T. and Bjäreland, M. Reasoning about Action in Polynomial Time In Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence (IJCAI'97), Nagoya, Japan, Morgan Kaufmann, August, 1997.
Marcus Bjäreland Department of Computer and Information Science Linköping University S-581 83 Linköping, SWEDEN Phone: +46 -13 -28 1995 Telefax: +46 -13 -28 26 06
Email (click to send):