Lars Karlsson, Ph.D.

Profile

My main preoccupation is in the WITAS UAV project. It is a seven year project (1997-2003) with the long term goal of designing, specifying and implementing the IT subsystem for an intelligent autonomous aircraft and publishing basic research relevant to this goal.

I'm also working on my thesis about representation and reasoning about action. I expected to defend it in September 1999.

Finally, I am co-chair of the Third Robot World Cup Soccer Games and Conferences, RoboCup-99 to be held in Stockholm, July 27 - August 6, 1999, and I'm a member of the Scandinavian committe for RoboCup.

Teaching

• Logic and discrete mathematics (HKGAB4) for the cognitive science program.
• Logic for AI (TDDA16)

Publications

S. Coradeschi, L. Karlsson, and K. Nordberg. Integration of vision and decision-making in an autonomous airborne vehicle for traffic surveillance. In H.I. Christiansen, editor, Computer Vision Systems, number 1542 in LNCS, pages 216--230. Springer, 1999.

Lars Karlsson, Joakim Gustafsson, and Patrick Doherty. Delayed effects of actions. In Proceedings of the Thirteenth European Conference on Artificial Intelligence. John Wiley & Sons, 1998.

Lars Karlsson. Anything can happen: on narratives and hypothetical reasoning. In Principles of Knowledge Representation and Reasoning: Proceedings of the Sixth International Conference. Morgan Kaufmann, 1998.

Coradeschi S. and Karlsson L. A Behavior-based Approach to Reactivity and Coordination: a Preliminary Report, in Intelligent Agents Vol IV Springer Verlag Lecture Notes in Artificial Intelligence (LNAI), 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), Morgan Kaufmann, 1997.

Coradeschi S. and Karlsson L. A Role-Based Decision-Mechanism for Teams of Reactive and Coordinating Agents, In RoboCup-97: The First Robot World Cup Soccer Games and Conference Springer Verlag Lecture Notes in Artificial Intelligence (LNAI) 1998. A poster version of this paper was also presented at IJCAI'97.

Karlsson, L. Reasoning with incomplete initial information and nondeterminism in Situation Calculus. In Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence (IJCAI'97), August. AAAI press, 1997.

Coradeschi, S. and Karlsson, L. (1996). A Decision-Mechanism for Reactive and Cooperating Soccer-Playing Agents. In ICMAS-96 workshop on RoboCup: Soccer as a Problem for Multi-Agent Systems.

Coradeschi, S., Karlsson, L., and Törne, A. (1996). Intelligent agents for aircraft combat simulation. In Proceedings of the 6th Computer Generated Forces and Behavioral Representation Conference, Orlando, Florida.

Karlsson, L. (1996). Causal links planning and the systematic approach to action and change. In Proceedings of the AAAI 96 Workshop on Reasoning about actions, planning and control: bridging the gap, Portland, Oregon. AAAI Press.

Karlsson, L. (1996). Planning, Truth Criteria and the Systematic approach to Action and Change. In ISMIS'96: Foundations of Intelligent Systems, Lecture Notes for Artificial Intelligence. Springer Verlag.

Karlsson, L. (1995). Specification and Synthesis of Plans Using the Features and Fluents Framework. Licentiate thesis, Linköping University.

Morin M. and Karlsson L. Object Oriented Simulation with WSIM. In 36th Simulation Conference, SIMS'94, Stockholm, Sweden, 1994.

Email (click to send):

30-Jun-97 11:22