dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Andreas Hamfelt Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2011
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJenny Eriksson Lundström, Giacomo Aceto, Andreas Hamfelt: Towards a dynamic metalogic implementation of legal argumentation. ICAIL 2011: 91-95
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJenny Eriksson Lundström, Giacomo Aceto, Andreas Hamfelt: A Dynamic Metalogic Argumentation Framework Implementation. RuleML Europe 2011: 83-98
2008
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJenny Eriksson Lundström, Jørgen Fischer Nilsson, Andreas Hamfelt: A Common Framework for Board Games and Argumentation Games. EJC 2008: 309-320
2007
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJenny Eriksson Lundström, Andreas Hamfelt, Jørgen Fischer Nilsson: A rule-sceptic characterization of acceptable legal arguments. ICAIL 2007: 283-284
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJenny Eriksson Lundström, Jørgen Fischer Nilsson, Andreas Hamfelt: Legal rules and argumentation in a metalogic framework. JURIX 2007: 39-48
2005
18no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJenny Eriksson Lundström, Andreas Hamfelt, Jørgen Fischer Nilsson: Argumentation as a metacognitive skill of passing acceptance. AAAI Spring Symposium: Metacognition in Computation 2005: 74-79
17no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas 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
16no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobin Gremlich, Andreas Hamfelt, Héctor de Pereda, Vladislav B. Valkovsky: Genetic Algorithms with Oracle for the Traveling Salesman Problem. IEC (Prague) 2005: 27-32
2004
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid 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
14no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTorsten Jonsson, Andreas Hamfelt: DAViLa -a domain adaptable visual language. HCC 2003: 114-116
2001
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnne Håkansson, Lars Oestreicher, Torsten Jonsson, Andreas Hamfelt: ViCoLL - a Visual Compositional Logic Language. HCC 2001: 394-395
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas 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
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnneli Edman, Andreas Hamfelt: A system architecture for knowledge-based hypermedia. Int. J. Hum.-Comput. Stud. 51(5): 1007-1036 (1999)
1998
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Hamfelt, Jørgen Fischer Nilsson: Inductive Synthesis of Logic Programs by Composition of Combinatory Program Schemes. LOPSTR 1998: 143-158
1997
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Hamfelt, Jørgen Fischer Nilsson: Towards a Logic Programming Methodology Based on Higher-Order Predicates. New Generation Comput. 15(4): 421-448 (1997)
1996
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Hamfelt, Jørgen Fischer Nilsson: Declarative Logic Programming with Primitive Recursive Relations on Lists. JICSLP 1996: 230-243
1995
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJørgen Fischer Nilsson, Andreas Hamfelt: Constructing Logic Programs with Higher-Order Predicates. GULP-PRODE 1995: 307-312
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJørgen Fischer Nilsson, Andreas Hamfelt: Constructing Logic Programs with Higher-Order Predicates. ICLP 1995: 827
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Hamfelt: Formalizing Multiple Interpretation of Legal Knowledge. Artif. Intell. Law 3(4): 221-265 (1995)
1994
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJonas Barklund, Andreas Hamfelt: Hierarchical Representation of Legal Knowledge with Metaprogramming in Logic. J. Log. Program. 18(1): 55-80 (1994)
1992
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Hamfelt, Åke Hansson: A Semiformal Metatheory for Fragmentary and Multilayered Knowledge as an Interactive Metalogic Program. FGCS 1992: 1107-1114
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Hamfelt, Åke Hansson: Representation of Fragmentary Multilayered Knowledge. META 1992: 321-335
1990
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Hamfelt, Jonas Barklund: An Intelligent Object Oriented Modelling to Legal Data Bases Combining Logic Programming and Hypertext. DEXA 1990: 56-61

Coauthor Index

1Giacomo Aceto [22] [23]
2Jonas Barklund [1] [4]
3David A. Basin [15]
4Yves Deville [15]
5Anneli Edman [11]
6Pierre Flener [15]
7Robin Gremlich [16]
8Anne Håkansson [13]
9Åke Hansson [2] [3]
10Torsten Jonsson [13] [14]
11Jenny Eriksson Lundström [17] [18] [19] [20] [21] [22] [23]
12Jørgen Fischer Nilsson [6] [7] [8] [9] [10] [12] [15] [17] [18] [19] [20] [21]
13Lars Oestreicher [13]
14Nikolaj Oldager [12]
15Héctor de Pereda [16]
16Vladislav B. Valkovsky [16]

Colors in the list of coauthors

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page