Karlsson, Lars

Interpretation of published papers

Code, Nr	Citation
1	`/labs/kplab/index.html` Lars Karlsson, KPLLAB, Linkoping Lars Karlsson, Phil. Lic. 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 .
2	`activities.html` Undervisning Logik och diskret matematik (HKGAB4) för kognitionsvetenskapliga programmet. Logik för AI (TDDA16)
3	`NIL` 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).
4	`http://www.ida.liu.se/~silco/robocup97.ps` 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.
5	`NIL` 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).
6	`http://www.ida.liu.se/labs/rtslab/members/silco/robo96.ps.gz` 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 .
7	`http://www.ida.liu.se/labs/rtslab/members/silco/CGF.ps` 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.
8	`ftp://ftp.ida.liu.se/pub/labs/kplab/people/larka/aaai-ws96.ps.gz` 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.
9	`ftp://ftp.ida.liu.se/pub/labs/kplab/people/larka/ismis96.ps.gz` 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.
10	`ftp://ftp.ida.liu.se/pub/labs/kplab/people/larka/lic.ps.gz` Karlsson, L. (1995). Specification and Synthesis of Plans Using the Features and Fluents Framework . Licentiate thesis, Linköping University.
11	`conference.html` 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
12	`http://www.ida.liu.se/bin/mailto.pl?to=larka@ida.liu.se&nexturl=http://www.ida.liu.se/labs/rkllab/people/larka/index.html` Email (click to send): larka@ida.liu.se
13	`NIL` 30-Jun-97 11:22