Lars Karlsson, Phil. Lic.

[Picture]

Profile

I am a graduate student at KPLAB who is involved in the project "Information Technology for Autonomous Aircraft". I'm also working on my thesis about representation and reasoning about actions, knowledge and plans, and I'm a member of the Scandinavian committe for RoboCup.

Undervisning

Publications

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. (To appear).

Coradeschi S. and Karlsson L. "A Role-Based Decision-Mechanism for Teams of Reactive and Coordinating Agents", To be presented at ``The First International Workshop on RoboCup'' at IJCAI'97, Nagoya, Japan. A poster version of this paper will also be presented at IJCAI'97.

Karlsson, L. (1997). 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. (To appear).

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.

My bookmarks.
Lars Karlsson
Department of Computer and Information Science
Linköping University
S-581 83 Linköping, SWEDEN
Phone: +46 -13 -28 24 28
Telefax: +46 -13 -28 26 06

Email (click to send):

larka@ida.liu.se

30-Jun-97 11:22