Andreas Hamfelt

30 papers B 2C 8Journal 6Unranked 13
YearRankTypeTitle / Venue / Authors
2020 — conf
Towards Explainable, Compliant and Adaptive Human-Automation Interaction.
XAILA@JURIX
Barbara Gallina, Görkem Paçaci, David Johnson, Steve McKeever, Andreas Hamfelt, Stefania Costantini, Pierangelo Dell'Acqua, Gloria Cerasela Crisan
2019 — conf
"Why Did You Do That?" - Explaining Black Box Models with Inductive Synthesis.
ICCS (5)
Görkem Paçaci, David Johnson, Steve McKeever, Andreas Hamfelt
2019 J jnl
"Why did you do that?": Explaining black box models with Inductive Synthesis.
CoRR
Görkem Paçaci, David Johnson, Steve McKeever, Andreas Hamfelt
2017 — conf
Compositional Relational Programming with Name Projection and Compositional Synthesis.
Ershov Informatics Conference
Görkem Paçaci, Steve McKeever, Andreas Hamfelt
2013 C conf
A Visual System for Compositional Relational Programming.
EJC
Görkem Paçaci, Andreas Hamfelt
2013 B conf
Colour beads visual representation of compositional relational programs.
VL/HCC
Görkem Paçaci, Andreas Hamfelt
2011 — conf
A Dynamic Metalogic Argumentation Framework Implementation.
RuleML Europe
Jenny Eriksson Lundström, Giacomo Aceto, Andreas Hamfelt
2011 — conf
Beyond K-means: Clusters Identification for GIS.
IF&GIS
Andreas Hamfelt, Mikael Karlsson, Tomas Thierfelder, Vladislav B. Valkovsky
2011 C conf
Towards a dynamic metalogic implementation of legal argumentation.
ICAIL
Jenny Eriksson Lundström, Giacomo Aceto, Andreas Hamfelt
2008 C conf
A Common Framework for Board Games and Argumentation Games.
EJC
Jenny Eriksson Lundström, Jørgen Fischer Nilsson, Andreas Hamfelt
2007 C conf
A rule-sceptic characterization of acceptable legal arguments.
ICAIL
Jenny Eriksson Lundström, Andreas Hamfelt, Jørgen Fischer Nilsson
2007 C conf
Legal rules and argumentation in a metalogic framework.
JURIX
Jenny Eriksson Lundström, Jørgen Fischer Nilsson, Andreas Hamfelt
2005 C conf
A metalogical formalisation of legal argumentation as game trees with defeasible reasoning.
ICAIL
Andreas Hamfelt, Jenny Eriksson Lundström, Jørgen Fischer Nilsson
2005 — conf
Argumentation as a metacognitive skill of passing acceptance.
AAAI Spring Symposium: Metacognition in Computation
Jenny Eriksson Lundström, Andreas Hamfelt, Jørgen Fischer Nilsson
2005 — conf
Genetic Algorithms with Oracle for the Traveling Salesman Problem.
IEC (Prague)
Robin Gremlich, Andreas Hamfelt, Héctor de Pereda, Vladislav B. Valkovsky
2004 — ch.
Synthesis of Programs in Computational Logic.
Program Development in Computational Logic
David A. Basin, Yves Deville, Pierre Flener, Andreas Hamfelt, Jørgen Fischer Nilsson
2003 — conf
DAViLa -a domain adaptable visual language.
HCC
Torsten Jonsson, Andreas Hamfelt
2001 J jnl
Logic Program Synthesis as Problem Reduction Using Combining Forms.
Autom. Softw. Eng.
Andreas Hamfelt, Jørgen Fischer Nilsson, Nikolaj Oldager
2001 — conf
ViCoLL - a Visual Compositional Logic Language.
HCC
Anne Håkansson, Lars Oestreicher, Torsten Jonsson, Andreas Hamfelt
1999 J jnl
A system architecture for knowledge-based hypermedia.
Int. J. Hum. Comput. Stud.
Anneli Edman, Andreas Hamfelt
1998 C conf
Inductive Synthesis of Logic Programs by Composition of Combinatory Program Schemes.
LOPSTR
Andreas Hamfelt, Jørgen Fischer Nilsson
1997 J jnl
Towards a Logic Programming Methodology Based on Higher-Order Predicates.
New Gener. Comput.
Andreas Hamfelt, Jørgen Fischer Nilsson
1996 — conf
Declarative Logic Programming with Primitive Recursive Relations on Lists.
JICSLP
Andreas Hamfelt, Jørgen Fischer Nilsson
1995 — conf
Constructing Logic Programs with Higher-Order Predicates.
GULP-PRODE
Jørgen Fischer Nilsson, Andreas Hamfelt
1995 B conf
Constructing Logic Programs with Higher-Order Predicates.
ICLP
Jørgen Fischer Nilsson, Andreas Hamfelt
1995 J jnl
Formalizing Multiple Interpretation of Legal Knowledge.
Artif. Intell. Law
Andreas Hamfelt
1994 J jnl
Hierarchical Representation of Legal Knowledge with Metaprogramming in Logic.
J. Log. Program.
Jonas Barklund, Andreas Hamfelt
1992 — conf
A Semiformal Metatheory for Fragmentary and Multilayered Knowledge as an Interactive Metalogic Program.
FGCS
Andreas Hamfelt, Åke Hansson
1992 — conf
Representation of Fragmentary Multilayered Knowledge.
META
Andreas Hamfelt, Åke Hansson
1990 C conf
An Intelligent Object Oriented Modelling to Legal Data Bases Combining Logic Programming and Hypertext.
DEXA
Andreas Hamfelt, Jonas Barklund