Documents by Thomas Sjöland
Articles, Reports, Slideshows and Posters from books, conferences, workshops etc.
2003-2015
2002
2001
2000
1999
-
Filosofiska Rummet (om logik), Sveriges Radio P1, The Philosophical Room (on logic), Swedish Broadcasting Corporation, program one), (real audio link to the program, published with permission from Sveriges Radio), participation in a panel discussing logic and its uses, for instance in computer science. 1999-04-09.
-
Constraint Logic Programming, cooauthored invited survey article, edited by Francesca Rossi for Joint ERCIM/Compulog Net Workshop Paphos, Cyprus, October 25-27, 1999 Selected Papers, a Springer Verlag, Lecture Notes in Artificial Intelligence, vol LNCS vol 1865. ISBN: 3-540-67885-9, Apt, K.R.; Kakas, A.; Monfroy, E.; Rossi, F., (Eds.): (2000),
papers from the workshop on Constraint Programming at Cyprus, autumn 1999 organised by Compulog Network and
ERCIM working group on constraints.
1998
- Applications of Computational Logic at SICS and related companies,(slides).
Invited presentation at Meeting of the Executive Counsil of
Compulog Network. La Sapienza, Rome, Italy, Dec 1998. Jörg Siekmann and David Pearce. (org.).
- A Historical note on parallel logic languages.
Selected newsgroup submission published in the Nettalk column of the Newsletter of the Association of Logic Programming, Vol 11/4, November 1998.
- Coordination of Scheduling and Allocation Agents (extended abstract), (w. Per Kreuger, Emil Åström and Per Danielsson) (powerpoint slides). Invited presentation in 2nd International Workshop on Constraint programming for time critical applications. Nice, France, 1998-09-08. Frank de Boer. Maurizio Gabbrielli. (org.).
(Report on work in progress based on participation in ESPRIT working group COTIC, SITI project MECARCA, SICS project ABSTRACT, SJ-project TUFF-3.)
- Planning, Scheduling and Business Modelling with Constraints (text only).
Business report published on invitation in the Newsletter for Computational Logic Vol 4, No 1, April, 1998.
1997
- SICS's perspective on Timed Concurrent Constraint Programming,(powerpoint slides). Invited presentation in
1st International Workshop on Constraint programming for time critical
applications. Schloss Hagenberg, Austria, 27-28/10 1997.
Frank de Boer. Maurizio Gabbrielli. (org.).
(Based on participation in ESPRIT working group COTIC.)
- The TUFF train scheduler
- two duration trip scheduling on single track networks. (w Per
Kreuger, Mats Carlsson, Emil Åström and Jan Olsson).
(pdf version)
in CP97 Workshop on Industrial Constraint-Directed Scheduling Linz, Austria.
Andrew Davenport (ed.). Slides.
- The TUFF train scheduler. (w Per Kreuger, Mats Carlsson, Emil Åström and Jan Olsson).
(pdf version)
in Workshop on Tools and Environments for (Constraint) Logic Programming at the International Logic Programming Symposium 1997 New York, USA. German Puebla (coor.). Slides.
- Sound and efficient analysis of the CCP Language AKL. in
Dagstuhl Seminar on Concurrent Constraint Programming - The Next Ten Years. Schloss Dagstuhl, Germany, Oct 1997. Vijay Saraswat et.al. (org.). Slides.
- Sound and efficient analysis of the CCP Language AKL - the quick story in Seminar
on Programming Language Implementation. Teleinformatik, KTH, Stockholm,
30 Sep 1997. Björn Lisper (org.). Slides.
- Applications of Computational Logic at SICS,(powerpoint slides). (with Seif Haridi).
Invited presentation at Meeting of the Executive Counsil of
Compulog Network. La Sapienza, Rome, Italy, June 1997. Jörg Siekmann and David Pearce. (org.).
- TUFF-2 statusrapport - projektrapport. (w. Per Kreuger, Jan Olsson, Henrik Eriksson, Tina Wilhelmsson.) Not published, in Swedish, 1997.
1996
- A Domain Independent Framework for the Analysis of AKL. (w Per Brand).
Extended Abstract in Fifth
Compulog Network Area Meeting on Language Design and Analysis Methods,
Aachen, Germany. Giorgio Levi and Maurizio Gabrielli (eds.). Università
di Pisa, 1996. Slides.
- Industrial Applications at SICS. Published on invitation in the
Newsletter for Computational Logic,
1996.
- Efficient Analysis of Type and Alias Information for a Concurrent Constraint
Language. (w Per Brand, Dan Sahlin and Erik Schön). Presentation
in
Analysis and Verification of Multiple-Agent Languages. Fifth LOMAPS
Workshop. Abstracts. Långholmen, Stockholm, Sweden. Mads Dam
and Fredrik Orava (eds.). In SICS Research Report R96:05. Slides.
- TUFF-förstudie - projektrapport. (w. Per Kreuger, Jan Olsson, Henrik Eriksson, Emil Åström.) Not published, in Swedish, 1996.
- Assessment of a Storage Optimization Tool for AKL. (w Per Brand
and Dan Sahlin). D.WP2.3.5.M3 in the ParForce project. (compressed
PostScript)
1995
- An Analyser for a Concurrent Constraint Language. (poster) (w. D. Sahlin and P. Brand)
Abstract in Proc. of the ICLP'95,
Japan, Ed. L. Sterling.
- Internet, Interactivity and the Future of Electroacoustic Music.
Invited talk in the Conference "Music in the year 2002 - Where are
We, And Where Do We Want to Go?", the Royal Swedish Academy of Music, March
17&18, 1995, Stockholm, Sweden. Ed. L-G. Bodin. Proc. is report No.
16, from Kungl. Musikaliska Akademien.
- AKL/AGENTS User's
Manual (w. the AKL/Agents group)
- AKL/AGENTS Library
Manual (w. the AKL/Agents group)
1994
- Fixpoint Analysis of Types and Alias in AKL Programs (w. D. Sahlin),
(abstract).
SICS report R94/13b. (final update 950628, compressed
PostScript).
- Fixpoint Analysis of Type and Alias in AKL programs. (w. D. Sahlin)
Deliverable D.WP1.6.1.M2 in the ESPRIT project ParForce, 6707, 1994.
(compressed
PostScript)
1993
- Concurrent Constraint Programming at SICS with the Andorra Kernel Language (Extended Abstract). 107-116, Postscript.
(w. Seif Haridi, Sverker Janson, Johan Montelius, Torkel Franzén, Per
Brand, Kent Boortz, Björn Danielsson, Björn Carlson, Torbjörn
Keisu, Dan Sahlin) In PPCP'93.
- Static Analysis of AKL. (poster) (w. D. Sahlin)
Abstract in Proc. of the WSA'93,
Padova Italy, LNCS, Ed. M. Falaschi.
- Towards Abstract Interpretation of AKL. (w. D. Sahlin), Extended
Abstract.
In Workshop on Concurrent Constraint Programming
(content list)
, ICLP'93 Budapest Hungary, Ed.
G. Smolka.
- Towards an Analysis Tool for AKL. (w. D. Sahlin) Deliverable D.WP1.6.1.M1 in the ESPRIT project ParForce, 6707, 1993. (compressed
postScript)
- Abstract Syntax and Normalisation of AKL Programs. (w. D. Sahlin)
Appendix to deliverable D.WP1.6.1.M1 in the ESPRIT project ParForce,
6707, 1993. (compressed
PostScript)
- SICStus Prolog
User's Manual (w. J.Andersson,S. Andersson, K. Boortz, M. Carlsson, H. Nilsson and J. Widén).
1992
1991
- IT4-projektet 2202: Industrialisering av SICStus Prolog---slutrapport. In Swedish, 1991.
- Software for Musical Production. Presentation of EAM-activities at the Open Forum of The Nordic Computer Music Festival. EMS and Musikhögskolan, Stockholm, 1991-09-25.
1990
- Generating AND-parallel Execution Expressions, SICS R90007 1990.
1987
- Preliminary Results on Data Dependency Analysis for Parallel Logic Programs. (w Annika Waern). Abstract presented at the Gigalips Workshop, Ljusterö, 1987
- Parallelizing Master Mind in Prolog. Tech Note in the GigaLIPS project.
1984
1983
1980
1979
Thomas Sjöland
Last modified: