2007 |
20 | EE | Jenny Eriksson Lundström,
Andreas Hamfelt,
Jørgen Fischer Nilsson:
A rule-sceptic characterization of acceptable legal arguments.
ICAIL 2007: 283-284 |
19 | | Jenny Eriksson Lundström,
Jørgen Fischer Nilsson,
Andreas Hamfelt:
Legal rules and argumentation in a metalogic framework.
JURIX 2007: 39-48 |
2005 |
18 | | Andreas Hamfelt,
Jenny Eriksson Lundström,
Jørgen Fischer Nilsson:
A metalogical formalisation of legal argumentation as game trees with defeasible reasoning.
ICAIL 2005: 250-251 |
17 | | Robin Gremlich,
Andreas Hamfelt,
Héctor de Pereda,
Vladislav B. Valkovsky:
Genetic Algorithms with Oracle for the Traveling Salesman Problem.
IEC (Prague) 2005: 27-32 |
16 | | Jenny Eriksson Lundström,
Andreas Hamfelt,
Jørgen Fischer Nilsson:
Argumentation as a metacognitive skill of passing acceptance.
Metacognition in Computation 2005: 74-79 |
2004 |
15 | EE | David A. Basin,
Yves Deville,
Pierre Flener,
Andreas Hamfelt,
Jørgen Fischer Nilsson:
Synthesis of Programs in Computational Logic.
Program Development in Computational Logic 2004: 30-65 |
2003 |
14 | | Torsten Jonsson,
Andreas Hamfelt:
DAViLa -a domain adaptable visual language.
HCC 2003: 114-116 |
2001 |
13 | EE | Anne Håkansson,
Lars Oestreicher,
Torsten Jonsson,
Andreas Hamfelt:
ViCoLL - a Visual Compositional Logic Language.
HCC 2001: 394-395 |
12 | | Andreas Hamfelt,
Jørgen Fischer Nilsson,
Nikolaj Oldager:
Logic Program Synthesis as Problem Reduction Using Combining Forms.
Autom. Softw. Eng. 8(2): 167-193 (2001) |
1999 |
11 | EE | Anneli Edman,
Andreas Hamfelt:
A system architecture for knowledge-based hypermedia.
Int. J. Hum.-Comput. Stud. 51(5): 1007-1036 (1999) |
1998 |
10 | EE | Andreas Hamfelt,
Jørgen Fischer Nilsson:
Inductive Synthesis of Logic Programs by Composition of Combinatory Program Schemes.
LOPSTR 1998: 143-158 |
1997 |
9 | | Andreas Hamfelt,
Jørgen Fischer Nilsson:
Towards a Logic Programming Methodology Based on Higher-Order Predicates.
New Generation Comput. 15(4): 421-448 (1997) |
1996 |
8 | | Andreas Hamfelt,
Jørgen Fischer Nilsson:
Declarative Logic Programming with Primitive Recursive Relations on Lists.
JICSLP 1996: 230-243 |
1995 |
7 | | Jørgen Fischer Nilsson,
Andreas Hamfelt:
Constructing Logic Programs with Higher-Order Predicates.
GULP-PRODE 1995: 307-312 |
6 | | Jørgen Fischer Nilsson,
Andreas Hamfelt:
Constructing Logic Programs with Higher-Order Predicates.
ICLP 1995: 827 |
5 | | Andreas Hamfelt:
Formalizing Multiple Interpretation of Legal Knowledge.
Artif. Intell. Law 3(4): 221-265 (1995) |
1994 |
4 | | Jonas Barklund,
Andreas Hamfelt:
Hierarchical Representation of Legal Knowledge with Metaprogramming in Logic.
J. Log. Program. 18(1): 55-80 (1994) |
1992 |
3 | | Andreas Hamfelt,
Åke Hansson:
A Semiformal Metatheory for Fragmentary and Multilayered Knowledge as an Interactive Metalogic Program.
FGCS 1992: 1107-1114 |
2 | | Andreas Hamfelt,
Åke Hansson:
Representation of Fragmentary Multilayered Knowledge.
META 1992: 321-335 |
1990 |
1 | | Andreas Hamfelt,
Jonas Barklund:
An Intelligent Object Oriented Modelling to Legal Data Bases Combining Logic Programming and Hypertext.
DEXA 1990: 56-61 |