Andreas Hamfelt

Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Andreas Hamfelt

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 E 333
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

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.
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.
Edman, A., Hamfelt, A., Koch, S. & Wagner, I.-V. 2000. "A Web-based User Adaptive Learning Environment." In V. Milutinovic (ed.) Proceedings SGRR 2000, the International Conference on Advances in Infrastructure for Electronic Business, Science, and Education on the Internet, L'Aquila, 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 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.