My Ph.D. students

• Katrin Boberg Bevemyr
• Monika Danielsson
• Pierangelo Dell'Acqua
• Per Mildner
• Torbjörn Åhs

My former Ph.D. students

• Margus Veanes

My children on the web

• Ellin Barklund
• Felicia Barklund
• Julian Barklund

Projects

• Metaprogramming in Logic
  • Design and implementation of Alloy , a metaprogramming language (with Katrin Boberg Bevemyr )
  • Multiple metareasoning agents (with Pierangelo Dell'Acqua )
• Intelligent Real-Time Systems
  • Autonomous Underwater Vehicle (joint project with Kockums Submarine Systems AB)
    • Route planning for an AUV (with Robert Nilsson )
    • Mission management for an AUV (with Kent Saxin Hammarström )
  • Detecting Change in Behaviour using Genetic Programming (with Per Jonsson , Master's thesis project)
  • Intelligent Air Traffic Control (with Monika Danielsson )
  • Real-time memory management for logic languages ( Per Mildner )
• Cognition-based Interactive Problem Solving
  • Solving temporal and spatial constraints (with Niklas Kaltea )
• VESPER : a language that combines logic and functional programming and is suitable for massively parallel reduction (with J. Alan Robinson)
• Tabulation of Functions in Logic Programs (with Jonas Lagersson , Master's thesis project)

My courses

Funktionell programmering MN1, 5 p ( Functional Programming )

Programmeringsmetodik DV1, 6/7 p ( Methods of Programming )

Programvarukonstruktion 1, 10 p ( Software Development 1 , distanskurs)

Programvarukonstruktion 2, 10 p ( Software Development 2 , distanskurs)

VT 96

VT 95

Programmeringsmetodik 1, 5 p ( Methods of Programming , sommarkurs)

ST 95

ST 94

Parallellprogrammering DV1, 5 p ( Parallel Programming )

VT 96

Internet och programmering 1, 5 p ( Internet and Programming , sommarkurs)

ST 96

My publications

Theses

1. Barklund, J., Parallel Unification . Ph.D. thesis. Uppsala Theses in Computing Science No. 9/90.
2. Barklund, J., Efficient Logic Data Structures . Ph.L. thesis. Uppsala Theses in Computing Science No. 6/88.

Publications in refereed journals

1. Veanes, M. and Barklund, J., On the Number of Edges in Cycletrees. Information Processing Letters 57(4): 225-229 (1996).
2. Veanes, M. and Barklund, J., Natural Cycletrees: Flexible Interconnection Graphs. Journal of Parallel and Distributed Computing 33(1):44-54 (1996).
3. Barklund, J., Bounded Quantifications for Iteration and Concurrency in Logic Programming. New Generation Computing 12:161-182 (1994).
4. Barklund, J. and Hamfelt, A., Hierarchical Representation of Legal Knowledge with Metaprogramming in Logic. Journal of Logic Programming 18:55-80 (1994).
5. Barklund, J. and Hamfelt, A., Formalizing Multiple Interpretations of Law as Metalogic Programs. Law, Computers and Artificial Intelligence 2:165-193 (1993).
6. Tanaka, J., Barklund, J., Ichiyoshi, N. and Kahn, K. Future Directions of Parallel Programming and Architecture. New Generation Computing 10:429-435 (1992).
7. Barklund, J., Hamfelt, A. and Wünsche, J., Building Modular Legal Knowledge Systems. Journal of Expert Systems with Applications 4:343-353 (1992).

Publications in books

1. Robinson, J. A. and Barklund, J., VESPER. In: Machine Intelligence 15 (eds. K. Furukawa, D. Michie and S. Muggleton), Oxford Univ. Press, to appear. (Also available as UPMAIL Technical Report No. 100.)
2. Barklund, J., Metaprogramming in Logic. In: Encyclopedia of Computer Science and Technology , Vol. 33 (eds. A. Kent and J. G. Williams), pp. 205--227, Marcel Dekker, New York, 1995. (Also available as UPMAIL Technical Report No. 80.)
3. Barklund, J., Boberg, K., Dell'Acqua, P. and Veanes, M., Metaprogramming with Theory Systems. In: Meta-logics and Logic Programming (eds. K. Apt and F. Turini), pp. 195-226, MIT Press, Cambridge, Mass., 1995. (Also available as UPMAIL Technical Report No. 106.)

Publications in refereed conference proceedings

1. Barklund, J., Costantini, S., Dell'Acqua, P. and Lanzarone, G. A., Semantical Properties of Encodings in Logic Programming. In: Logic Programming: Proc. 1995 Intl. Symp. (ed. J. W. Lloyd), MIT Press, Cambridge, Mass., 1995. (Also available as UPMAIL Technical Report No. 108.)
2. Barklund, J., Costantini, S., Dell'Acqua, P. and Lanzarone, G. A., SLD-Resolution with Reflection. In: Logic Programming: Proc. 1994 Intl. Symp. (ed. M. Bruynooghe), MIT Press, Cambridge, Mass., 1994. (Also available as UPMAIL Technical Report No. 96.)
3. Barklund, J., Bohlin, G. and Mildner, P., A Real-Time Expert System for Process Supervision and its Application in Pulp Industry. In: 2nd IFAC Workshop on Computer Software Structures Integrating AI/KBS Systems in Process Control (ed. K.-E. Årzén), IFAC, 1994.
4. Kristensson, J., Bengtsson, G., Barklund, J. and Mildner, P., An Intelligent Alarm Handling Tool. In: 2nd IFAC Workshop on Computer Software Structures Integrating AI/KBS Systems in Process Control (ed. K.-E. Årzén), IFAC, 1994.
5. Barklund, J., Boberg, K. and Dell'Acqua, P., A Basis for a Multilevel Metalogic Programming Language. In: Proc. Intl. Workshop on Metaprogramming in Logic 1994 (ed. F. Turini), LNCS 883, Springer-Verlag, Berlin, 1994. (Also available as UPMAIL Technical Report No. 81.)
6. Barklund, J., Costantini, S., Dell'Acqua, P. and Lanzarone, G. A., Reflection through Constraint Satisfaction ( poster abstract ). In: Logic Programming: Proc. 11th Intl. Conf. (ed. P. Van Hentenryck), MIT Press, Cambridge, Mass., 1994.
7. Barklund, J. and Bevemyr, J., Executing Bounded Quantifications on Shared Memory Multiprocessors. In: Proc. Intl. Symp. on Programming Language Implementation and Logic Programming 1993 (ed. J. Penjam), LNCS 714, Springer-Verlag, Berlin, 1993.
8. Barklund, J. and Bevemyr, J., Prolog with Arrays and Bounded Quantifications. In: Proc. Fourth Intl. Conf. on Logic Programming and Automated Reasoning (ed. A. Voronkov), LNAI 698, Springer-Verlag, Berlin, 1993. (An extended version is available as UPMAIL Technical Report No. 77.)
9. Barklund, J. and Millroth, H., Providing Iteration and Concurrency in Logic Programs through Bounded Quantifications. In: Proc. Intl. Conf. on Fifth Generation Computer Systems 1992 (ed. H. Tanaka), Ohmsha, Tokyo, 1992. (Also available as UPMAIL Technical Report No. 71.)
10. Barklund, J., Hamfelt, A. and Wünsche, J., A Modular Architecture for Knowledge Systems. In: Computational Intelligence, III (eds. N. Cercone, F. Gardin and G. Valle), North-Holland, Amsterdam, 1991. (Also available as UPMAIL Technical Report No. 64.)
11. Danielsson, M. and Barklund, J., Persistent Data Storage for Prolog. In: Proc. Intl. Conf. on Database and Expert Systems Applications (eds. A. M. Tjoa and R. Wagner), Springer-Verlag, Vienna, 1990. (Also available as UPMAIL Technical Report No. 62.)
12. Barklund, J. and Hamfelt, A., Metaprogramming for Representation of Legal Principles. In: Proc. Second Workshop on Metaprogramming in Logic (ed. M. Bruynooghe), Katholieke Univ. Leuven, 1990. (Also available as UPMAIL Technical Report No. 61.)
13. Hamfelt, A. and Barklund, J., An Intelligent Interface to Legal Data Bases Combining Logic Programming and Hypertext. In: Proc. Intl. Conf. on Database and Expert Systems Applications (eds. A. M. Tjoa and R. Wagner), Springer-Verlag, Vienna, 1990. (Also available as UPMAIL Technical Report No. 60.)
14. Hamfelt, A. and Barklund, J., Metalevels in Legal Knowledge and their Runnable Representation in Logic. In: Pre-proc. Third Intl. Congress on Logica, Informatica, Diritto - Expert Systems in Law (ed. A. A. Martino), Istituto per la documentazione giuridica, Florence, 1989. (Also available as UPMAIL Technical Report No. 55.)
15. Barklund, J., Hagner, N. and Wafin, M., KL1 in Condition Graphs on a Connection Machine. In: Proc. Intl. Conf. on Fifth Generation Computer Systems 1988 (ed. H. Tanaka), Ohmsha, Tokyo, 1988. (Also available as UPMAIL Technical Report No. 51.)
16. Barklund, J., What is a Meta-variable in Prolog? In: Proc. Workshop on Metaprogramming in Logic Programming 1988 (ed. H. Abramson and M.H. Rogers), MIT Press, Cambridge, Mass., 1989. (Also available as UPMAIL Technical Report No. 50.)
17. Barklund, J., Hagner, N. and Wafin, M., Condition Graphs. In: Proc. Fifth Intl. Conf. and Symp. on Logic Programming (eds. R. A. Kowalski and K. A. Bowen), MIT Press, Cambridge, Mass., 1988. (Also available as UPMAIL Technical Report No. 48.)
18. Sekita, D., Barklund, J., Chikayama, T. and Kimura, Y., Extension of KL1 Syntax. In: Proc. 36th Conference of the Information Processing Society of Japan , 1988. (In Japanese.)
19. Barklund, J. and Millroth, H., Integrating Complex Data Structures in Prolog. In: Proc. 1987 Symp. on Logic Programming (ed. S. Haridi), IEEE Comp. Soc. Press, Washington, D.C., 1987. (Also available as UPMAIL Technical Report No. 42.)
20. Barklund, J. and Millroth, H., Hash Tables in Logic Programming. In: Proc. Fourth Intl. Conf. on Logic Programming (ed. J.-L. Lassez), MIT Press, Cambridge, Mass., 1987. (Also available as UPMAIL Technical Report No. 40.)
21. Barklund, J., Efficient Interpretation of Logic Programs. In: Proc. SIGPLAN '87 Symp. on Interpreters and Interpretive Techniques (ed. T. Turba), ACM Press, New York, 1987. (Also available as UPMAIL Technical Report No. 39.)
22. Barklund, J. and Millroth, H., Garbage Cut. In: Proc. 1986 Symp. on Logic Programming (ed. R. Keller), IEEE Comp. Soc. Press, Washington, D.C., 1986. (Also available as UPMAIL Technical Report No. 38.)