Andreas Hamfelt

According to our database, Andreas Hamfelt authored at least 28 papers between 1990 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

Towards Explainable, Compliant and Adaptive Human-Automation Interaction.

Barbara Gallina, Görkem Paçaci, David Johnson, Steve McKeever, Andreas Hamfelt, Stefania Costantini, Pierangelo Dell'Acqua, Gloria Cerasela Crisan

Proceedings of the 3rd EXplainable AI in Law Workshop (XAILA 2020) co-located with 33rd International Conference on Legal Knowledge and Information Systems (JURIX 2020), 2020

2019

"Why Did You Do That?" - Explaining Black Box Models with Inductive Synthesis.

Görkem Paçaci, David Johnson, Steve McKeever, Andreas Hamfelt

Proceedings of the Computational Science - ICCS 2019, 2019

2017

Compositional Relational Programming with Name Projection and Compositional Synthesis.

Görkem Paçaci, Steve McKeever, Andreas Hamfelt

Proceedings of the Perspectives of System Informatics, 2017

2013

Colour beads visual representation of compositional relational programs.

Görkem Paçaci, Andreas Hamfelt

Proceedings of the 2013 IEEE Symposium on Visual Languages and Human Centric Computing, 2013

A Visual System for Compositional Relational Programming.

Görkem Paçaci, Andreas Hamfelt

Proceedings of the Information Modelling and Knowledge Bases XXV, 2013

2011

A Dynamic Metalogic Argumentation Framework Implementation.

Jenny Eriksson Lundström, Giacomo Aceto, Andreas Hamfelt

Proceedings of the Rule-Based Reasoning, Programming, and Applications, 2011

Beyond K-means: Clusters Identification for GIS.

Andreas Hamfelt, Mikael Karlsson, Tomas Thierfelder, Vladislav B. Valkovsky

Proceedings of the Information Fusion and Geographic Information Systems, 2011

Towards a dynamic metalogic implementation of legal argumentation.

Jenny Eriksson Lundström, Giacomo Aceto, Andreas Hamfelt

Proceedings of the 13th International Conference on Artificial Intelligence and Law, 2011

2008

A Common Framework for Board Games and Argumentation Games.

Jenny Eriksson Lundström, Jørgen Fischer Nilsson, Andreas Hamfelt

Proceedings of the Information Modelling and Knowledge Bases XX, 2008

2007

Legal rules and argumentation in a metalogic framework.

Jenny Eriksson Lundström, Jørgen Fischer Nilsson, Andreas Hamfelt

Proceedings of the Legal Knowledge and Information Systems, 2007

A rule-sceptic characterization of acceptable legal arguments.

Jenny Eriksson Lundström, Andreas Hamfelt, Jørgen Fischer Nilsson

Proceedings of the Eleventh International Conference on Artificial Intelligence and Law, 2007

2005

Genetic Algorithms with Oracle for the Traveling Salesman Problem.

Robin Gremlich, Andreas Hamfelt, Héctor de Pereda, Vladislav B. Valkovsky

Proceedings of the International Enformatika Conference, 2005

Argumentation as a metacognitive skill of passing acceptance.

Jenny Eriksson Lundström, Andreas Hamfelt, Jørgen Fischer Nilsson

Proceedings of the 2005 AAAI Spring Symposium on Metacognition in Computation, 2005

A metalogical formalisation of legal argumentation as game trees with defeasible reasoning.

Andreas Hamfelt, Jenny Eriksson Lundström, Jørgen Fischer Nilsson

Proceedings of the Tenth International Conference on Artificial Intelligence and Law, 2005

2004

Synthesis of Programs in Computational Logic.

David A. Basin, Yves Deville, Pierre Flener, Andreas Hamfelt, Jørgen Fischer Nilsson

Proceedings of the Program Development in Computational Logic: A Decade of Research Advances in Logic-Based Program Development, 2004

2003

DAViLa -a domain adaptable visual language.

Torsten Jonsson, Andreas Hamfelt

Proceedings of the 2003 IEEE Symposium on Human Centric Computing Languages and Environments (HCC 2003), 2003

2001

Logic Program Synthesis as Problem Reduction Using Combining Forms.

Andreas Hamfelt, Jørgen Fischer Nilsson, Nikolaj Oldager

Autom. Softw. Eng., 2001

ViCoLL - a Visual Compositional Logic Language.

Anne Håkansson, Lars Oestreicher, Torsten Jonsson, Andreas Hamfelt

Proceedings of the 2002 IEEE CS International Symposium on Human-Centric Computing Languages and Environments (HCC 2001), 2001

1999

A system architecture for knowledge-based hypermedia.

Anneli Edman, Andreas Hamfelt

Int. J. Hum. Comput. Stud., 1999

1998

Inductive Synthesis of Logic Programs by Composition of Combinatory Program Schemes.

Andreas Hamfelt, Jørgen Fischer Nilsson

Proceedings of the Logic Programming Synthesis and Transformation, 1998

1997

Towards a Logic Programming Methodology Based on Higher-Order Predicates.

Andreas Hamfelt, Jørgen Fischer Nilsson

New Gener. Comput., 1997

1996

Declarative Logic Programming with Primitive Recursive Relations on Lists.

Andreas Hamfelt, Jørgen Fischer Nilsson

Proceedings of the Logic Programming, 1996

1995

Formalizing Multiple Interpretation of Legal Knowledge.

Andreas Hamfelt

Artif. Intell. Law, 1995

Constructing Logic Programs with Higher-Order Predicates.

Jørgen Fischer Nilsson, Andreas Hamfelt

Proceedings of the 1995 Joint Conference on Declarative Programming, 1995

1994

Hierarchical Representation of Legal Knowledge with Metaprogramming in Logic.

Jonas Barklund, Andreas Hamfelt

J. Log. Program., 1994

1992

Representation of Fragmentary Multilayered Knowledge.

Andreas Hamfelt, Åke Hansson

Proceedings of the Meta-Programming in Logic, 3rd International Workshop, 1992

A Semiformal Metatheory for Fragmentary and Multilayered Knowledge as an Interactive Metalogic Program.

Andreas Hamfelt, Åke Hansson

Proceedings of the International Conference on Fifth Generation Computer Systems. FGCS 1992, 1992

1990

An Intelligent Object Oriented Modelling to Legal Data Bases Combining Logic Programming and Hypertext.

Andreas Hamfelt, Jonas Barklund

Proceedings of the International Conference on Database and Expert Systems Applications, 1990