Andreas Hamfelt

Ph.D., professor
Mailing address: Dept. of Information Science, Division of Computer Science, Uppsala University, P.O. Box 513, S-751 20 Uppsala, Sweden
Visiting address: Kyrkogårdsg. 10, 3rd floor
Location: Room A315
Phone: +46 (0)18 471 10 37 (office), +46 (0)70 425 02 94 (mobile), +46 (0)18 50 42 51 (home)
Fax: +46 (0)18 471 78 67
Email: Andreas.Hamfelt@dis.uu.se

Eriksson Lundström, J., Hamfelt, A. & Nilsson, J. F. 2007. Legal rules and argumentation in a metalogic framework. In Arno R. Lodder and Laurens Mommers (eds.) IOS Press Books Online, Frontiers in Artificial Intelligence and Applications, Volume 165, 2007, ISBN 978-1-58603-810-6, Legal Knowledge and Information Systems - JURIX 2007: The Twentieth Annual Conference.
Eriksson Lundström, J. & Hamfelt, A. 2007. Towards Using Metalevel Stratification for Coordinating Agent Strategies. Metareasoning in Agent-Based Systems, Sixth International Joint Conference on Autonomous Agents and Multiagent Systems.
Eriksson Lundström, J., Hamfelt, A. & Nilsson, J. F. 2007. A Rule-Sceptic Characterization of Acceptable Legal Arguments. Eleventh International Conference on Artificial Intelligence and Law.
Eriksson Lundström, J., Hamfelt, A. & Nilsson, J. F. 2005. A Metalogic Formalization of Legal Argumentation as Game Trees with Defeasible Reasoning. In A. Gardner (ed.) Proceedings of the 10th International Conference on Artificial Intelligence and Law, Bologna 2005.
Eriksson Lundström, J., Hamfelt, A. & Nilsson, J. F. 2005. Argumentation as a Metacognitive Skill of Passing Acceptance - A Case Study from a Scientific Dispute. In M. Anderson and T. Oates (eds.) Proceedings of AAAI Spring Symposium on Metacognition in Computation AAAI Press Technical Report SS-05-04, Stanford, pp. 74 - 79, 2005.
Basin, D., Deville, Y., Fischer Nilsson, J, Flener, P. & Hamfelt, A. 2004. "Synthesis of Programs in Computational Logic." In M. Bruynooghe and K.-K. Lau (eds.) Program Development in Computational Logic. Lecture Notes in Computer Science vol 3049, Berlin: Springer-Verlag. pp. 30 - 65.
Jonsson, T. & Hamfelt, A. 2003. "DAViLa - a domain adaptable visual language." In Proceedings 2003 IEEE Symposium on Human Centric Computing Languages and Environments (HCC 2003), Auckland, New Zealand: pp. 114 - 116.
Hamfelt, A., Nilsson, J. F. & Oldager, N. 2001. "Logic Program Synthesis as Problem Reduction using Combining Forms." Journal of Automated Software Engineering 8, (2001): 165 - 191.
Håkansson A., Oestreicher L., Jonsson T. & Hamfelt A., 2001. ViCoLL - a Visual Compositional Logic Language. (HCC01) Symposia on Human-Centric Computing. Language and Environments, Stresa, Italy.
Hamfelt, A. & Nilsson, J. F. 1999. "Inductive Logic Programming with Well-Modedness Constraints." In Rached, E. (ed.) Proceedings of the 8th International Workshop on Functional and Logic Programming, UMR no 5522, Centre National de la Recherche Scientifique, Institut National Polytechnique de Grenoble, Université Joseph Fourier, Laboratoire Leibniz, Institut IMAG, pp. 220 - 231.
Edman, A. & Hamfelt, A. 1999. "A System Architecture for Knowledge Based Hypermedia." International Journal of Human-Computer Studies Vol. 51, No. 5, November (1999): 1007 - 1036.
Hamfelt, A. & Nilsson, J. F. 1998. "Inductive Synthesis of Logic Programs by Composition of Combinatory Program Schemes." In Flener, P. (ed.) Logic Based Program Transformation and Synthesis, Lecture Notes in Computer Science vol 1559, Berlin: Springer-Verlag. pp. 143 - 158.
Hamfelt, A., Nilsson, J. F. & Vitoria, A. 1998. "A Combinatory Form of Pure Logic Programs and its Compositional Semantics."
Hamfelt, A. & Nilsson, J. F. 1997. "Towards a Logic Programming Methodology based on Higher-order Predicates." Journal New Generation Computing vol 15, no 4, (1997): 421 - 448.
Edman, A. & Hamfelt, A. 1997. "A Basis for a System Development Methodology for User Cooperative Systems." In Brezillon, P. (ed.) Proceedings of Context'97, the International and Interdisciplinary Conference on Modeling and Using Context 1997, Universidade Federal do Rio de Janeiro, Rio de Janeiro, pp. 290 - 302.
Hamfelt, A. & Nilsson, J. F. 1996. "Declarative Logic Programming with Primitive Recursive Relations on Lists." In Maher, P. (ed.) Proceedings of the Joint International Conference and Symposium on Logic Programming, MIT Press, pp. 230 - 243.
Hamfelt, A. 1996. "Formalizing Multiple Interpretation of Legal Knowledge." Journal of Artificial Intelligence and Law vol 3, no 4, (1995-1996): 221 - 265.
Nilsson, J. F. & Hamfelt, A. 1995. "Constructing Logic Programs with Higher Order Predicates. In Leon Sterling (ed.) Proceedings of the Twelfth International Conference on Logic Programming, Tokyo, Japan. MIT Press.
Nilsson, J. F. & Hamfelt, A. 1995. "Constructing Logic Programs with Higher Order Predicates." In Alpuente, M. & Sessa, M. (eds) Proceedings of GULP-PRODE'95, the Joint Conference on Declarative Programming 1995, Universita' Degli Studi di Salerno, Salerno, pp. 307 - 312.
Hamfelt, A. & Nilsson, J. F. 1994. "Inductive Metalogic Programming." In Wrobel, S. (ed.) Proceedings of Workshop on Inductive Logic Programming 1994, Bad Honnef/Bonn, GMD-Studien Nr. 237, ISSN 0170-8120. pp. 85 - 96.
Nilsson, H. & Hamfelt, A. 1994. "A Methodology for Formal Specification of Logic Controllers from Informal Specifications." In Mattsson, S. E., Gray, J. O. & Cellier, F. E. (eds.) Proceedings of the IEEE/IFAC Joint Symposium on Computer-Aided Control System Design, ISBN 0-7803-1800-5, Tucson, Arizona. pp. 213 - 218.
Barklund, J. & Hamfelt, A. 1994. "Hierarchical Representation of Legal Knowledge with Metaprogramming in Logic." Journal of Logic Programming vol 18, no 1, (1994): 55 - 80.
Barklund, J. & Hamfelt, A. 1993. "Formalizing Multiple Interpretations of Law as Metalogic Programs." Journal of Law, Computers and Artificial Intelligence vol 2, no 2, (1993): 165 - 193.
Hamfelt, A. & Hansson, Å. 1993. "Representation of Fragmentary and Multilayered Knowledge." In Pettorossi, A. (ed.) Metaprogramming in Logic, Lecture Notes in Computer Science vol 649, Berlin: Springer-Verlag. pp. 321 - 335.
Barklund, J., Hamfelt, A. & Wünsche, J. 1992. "Building Modular Legal Expert Systems." Journal Expert Systems with Applications vol 4, (1992): 343 - 353.
Barklund, J., Hamfelt, A. & Wünsche, J. 1991. "A Modular Architecture for Knowledge Systems." In Cercone, N., Gardin, F., & Valle, G. (eds.) Computational Intelligence III, Amsterdam: Elsevier, 247-62.
Hamfelt, A. & Barklund, J. 1990. "Metaprogramming for Representation of Legal Principles." In M. Bruynooghe, M. (ed.) Proceedings of the Second Workshop on Metaprogramming in Logic, Leuven: Katholieke Universiteit Leuven, pp. 105-22.
Hamfelt, A. & Barklund, J. 1990. "An Intelligent Interface to Legal Data Bases - Combining Logic Programming and Hypertext." In Tjoa, A. M. & Wagner, R. (eds.) Database and Expert Systems Applications, Vienna: Springer-Verlag, pp. 56-61.
Hamfelt, A. & Barklund, J. 1989. "Metalevels in Legal Knowledge and their Runnable Representation in Logic," In Martino, A. A. (ed.) Third International Congress - Logica, Informatica, Diritto - Expert Systems in Law, vol. II, Florence: Istituto per la documentazione giuridica, pp. 557-76.

Research Projects