Henning Christiansen
发表
Henning Christiansen,
Kenn S. Kvols,
1992,
[1992] Proceedings 17th Conference on Local Computer Networks.
Henning Christiansen,
Gemma Bel-Enguix,
M. Dolores Jiménez-López,
2018
.
Henning Christiansen,
Davide Martinenghi,
Henning Christiansen,
2004,
FoIKS.
Henning Christiansen,
2008
.
Henning Christiansen,
Christian Theil Have,
Ole Torp Lassen,
2010,
Theory Pract. Log. Program..
Henning Christiansen,
Mikkel Pedersen,
Nessn H. Azawi,
2020,
ISMIS.
Henning Christiansen,
2018
.
Henning Christiansen,
Davide Martinenghi,
Henning Christiansen,
2005,
DEXA.
Henning Christiansen,
Maja H. Kirkeby,
Henning Christiansen,
2019,
Int. J. Approx. Reason..
Henning Christiansen,
Christian Theil Have,
Knut Tveitane,
2007
.
Henning Christiansen,
Maja H. Kirkeby,
Henning Christiansen,
2018,
LOPSTR.
Henning Christiansen,
2000
.
Leonor Becerra-Bonache,
Henning Christiansen,
M. Dolores Jiménez-López,
2018,
COLING 2018.
Henning Christiansen,
Maria Rekouts,
Henning Christiansen,
2007,
24th British National Conference on Databases (BNCOD'07).
Henning Christiansen,
2009,
IWANN.
Henning Christiansen,
Neil D. Jones,
1982
.
Henning Christiansen,
2016
.
Henning Christiansen,
Veronica Dahl,
V. Dahl,
2018,
Declarative Logic Programming.
John P. Gallagher,
Henning Christiansen,
J. Gallagher,
2009,
ICLP.
Henning Christiansen,
Neil D. Jones,
1982
.
Henning Christiansen,
Christian Theil Have,
2011,
Biology, Computation and Linguistics.
Henning Christiansen,
Neil D. Jones,
1982,
Formal Description of Programming Concepts.
Troels Andreasen,
Henning Christiansen,
T. Andreasen,
1997
.
Henning Christiansen,
Leopoldo Bertossi,
L. Bertossi,
2010
.
Henning Christiansen,
Jon Sneyers,
2012
.
Henning Christiansen,
2005
.
Henning Christiansen,
Jørgen Villadsen,
Peter Rossen Skadhauge,
2008
.
Troels Andreasen,
Henning Christiansen,
1996,
KRDB.
Henning Christiansen,
Henning Christiansen,
1986,
Programs as Data Objects.
Troels Andreasen,
Henning Christiansen,
Ronald R. Yager,
2009,
FQAS.
Henning Christiansen,
Ole Torp Lassen,
2008
.
Henning Christiansen,
Maja H. Kirkeby,
Henning Christiansen,
2014,
LOPSTR.
Henning Christiansen,
1995,
Deductive Databases / Abduction in Deductive Databases.
Henning Christiansen,
2005,
CSLP.
Henning Christiansen,
Henning Christiansen,
2006,
CLIMA.
Henning Christiansen,
2008
.
Troels Andreasen,
Henning Christiansen,
Panagiotis Chountas,
2017,
Lecture Notes in Computer Science.
Henning Christiansen,
Jørgen Villadsen,
2010
.
Henning Christiansen,
Christian Theil Have,
Ole Torp Lassen,
2011,
Biology, Computation and Linguistics.
Troels Andreasen,
Henning Christiansen,
Alf Beck Nielsen,
1994,
FQAS.
Henning Christiansen,
Bo Li,
2011
.
Henning Christiansen,
Matje van de Camp,
2012,
CSLP.
Henning Christiansen,
Bjørn Laursen,
2017,
EAI Endorsed Trans. Creative Technol..
Li Bo,
Henning Christiansen,
2014
.
Henning Christiansen,
Mads Hobye,
Anja Mølle Lindelof,
2019
.
Troels Andreasen,
Henning Christiansen,
Juan-Carlos Cubero,
2014,
Lecture Notes in Computer Science.
Slim Abdennadher,
Henning Christiansen,
S. Abdennadher,
2000,
FQAS.
Troels Andreasen,
Henning Christiansen,
Henrik Legind Larsen,
2013
.
Henning Christiansen,
Jørgen Villadsen,
Peter Rossen Skadhauge,
2004
.
David Hutchison,
Henning Christiansen,
Geoff Coulson,
1996
.
Troels Andreasen,
Henning Christiansen,
Henrik Legind Larsen,
2016,
Advances in Intelligent Systems and Computing.
Henning Christiansen,
1990
.
Henning Christiansen,
2019
.
Henning Christiansen,
Christian Theil Have,
2012,
PADL.
Henning Christiansen,
Bjørn Laursen,
2016,
ArtsIT/DLI.
Verónica Dahl,
Henning Christiansen,
V. Dahl,
2002,
14th IEEE International Conference on Tools with Artificial Intelligence, 2002. (ICTAI 2002). Proceedings..
Henning Christiansen,
Mads Hobye,
Anja Molle Lindelof,
2018,
2018 27th IEEE International Symposium on Robot and Human Interactive Communication (RO-MAN).
Troels Andreasen,
Henning Christiansen,
1997,
DDLP.
David Hutchison,
Henning Christiansen,
Geoff Coulson,
1995
.
Henning Christiansen,
1992
.
Henning Christiansen,
Henning Christiansen,
1990,
SIGP.
Henning Christiansen,
Philippe Blache,
Jørgen Villadsen,
2014
.
Troels Andreasen,
Henning Christiansen,
1996,
ECAI.
Troels Andreasen,
Henning Christiansen,
Christian Theil Have,
2013,
FQAS.
Henning Christiansen,
2005
.
Henning Christiansen,
2006
.
Troels Andreasen,
Henning Christiansen,
1998,
Transactions and Change in Logic Databases.
Henning Christiansen,
2004
.
Hendrik Decker,
Henning Christiansen,
Davide Martinenghi,
2007
.
Henning Christiansen,
Philippe Blache,
Jørgen Villadsen,
2011
.
Troels Andreasen,
Henning Christiansen,
Gabriella Pasi,
2006
.
Henning Christiansen,
1989,
Struct. Program..
Flexible Query Answering Systems - 12th International Conference, FQAS 2017 - London, UK, June 21-22
Troels Andreasen,
Henning Christiansen,
Panagiotis Chountas,
2017
.
Henning Christiansen,
Henning Christiansen,
2002,
ICLP.
Verónica Dahl,
Henning Christiansen,
2003,
Int. J. Artif. Intell. Tools.
Henning Christiansen,
Søren Blaabjerg,
Sándor Molnár,
1995
.
Henning Christiansen,
Davide Martinenghi,
Henning Christiansen,
2006,
Fundam. Informaticae.
Henning Christiansen,
2003,
RANLP.
Troels Andreasen,
Mohand-Said Hacid,
Henning Christiansen,
2017,
Lecture Notes in Computer Science.
Troels Andreasen,
Henning Christiansen,
1996,
FQAS.
Henning Christiansen,
Ole Torp Lassen,
2009,
ICLP.
Henning Christiansen,
Philippe Blache,
Veronica Dahl,
2011
.
Verónica Dahl,
Henning Christiansen,
V. Dahl,
2005,
ICLP.
Henning Christiansen,
Henning Christiansen,
1988
.
Troels Andreasen,
Henning Christiansen,
Gabriella Pasi,
2006,
FQAS.
Troels Andreasen,
Henning Christiansen,
Henrik Legind Larsen,
1998
.
Henning Christiansen,
Henning Christiansen,
1998,
J. Log. Program..
Henning Christiansen,
Sine Zambach,
Christian Theil Have,
2013,
BMC Bioinformatics.
Henning Christiansen,
Davide Martinenghi,
Henning Christiansen,
2005,
ADBIS.
Henning Christiansen,
Henning Christiansen,
1992,
META.
Henning Christiansen,
Leopoldo Bertossi,
L. Bertossi,
2009
.
Henning Christiansen,
Christian Theil Have,
Knut Tveitane,
2007
.
Henning Christiansen,
2005
.
Henning Christiansen,
Davide Martinenghi,
2003,
LOPSTR.
Verónica Dahl,
Henning Christiansen,
V. Dahl,
2005,
CONTEXT.
Henning Christiansen,
Maja H. Kirkeby,
Henning Christiansen,
2016,
Formal Aspects of Computing.
Henning Christiansen,
Henning Christiansen,
1997,
LOPSTR.
Henning Christiansen,
Anja Mølle Lindelof,
2020,
EAI Endorsed Trans. Creative Technol..
Henning Christiansen,
Matthieu Petit,
2009
.
David Hutchison,
Henning Christiansen,
Geoff Coulson,
1996,
Lecture Notes in Computer Science.
Troels Andreasen,
Adnan Yazici,
Guy De Tré,
2011,
FQAS.
Henning Christiansen,
Henning Christiansen,
1988,
PLILP.
Troels Andreasen,
Henning Christiansen,
Mads Kæmsgaard Eberholst,
2015,
CONTEXT.
Henning Christiansen,
Veronica Dahl,
V. Dahl,
2004,
WLPE.
Towards a constraint solver for proving confluence with invariant and equivalence of realistic CHR programs
pdf
Henning Christiansen,
Maja H. Kirkeby,
2018,
WFLP.
Henning Christiansen,
2012
.
Henning Christiansen,
Christina Mackeprang Dahmcke,
2007,
MLDM.
Henning Christiansen,
1999,
CONTEXT.
Henning Christiansen,
Davide Martinenghi,
Henning Christiansen,
2006,
17th International Workshop on Database and Expert Systems Applications (DEXA'06).
Henning Christiansen,
1994,
ICLP Workshop: Proof-Theoretical Extensions on Logic Programming.
Henning Christiansen,
Henning Christiansen,
2009,
J. Appl. Log..
Henning Christiansen,
Christian Theil Have,
Ole Torp Lassen,
2012,
LOPSTR.
Henning Christiansen,
Henning Christiansen,
2014,
CiE.
Troels Andreasen,
Henning Christiansen,
Christian Theil Have,
2015,
ISMIS.
Henning Christiansen,
Christian Theil Have,
Ole Torp Lassen,
2009
.
Henning Christiansen,
Maja H. Kirkeby,
Henning Christiansen,
2017,
LOPSTR.
Troels Andreasen,
Henning Christiansen,
Amihai Motro,
2002
.
Henning Christiansen,
Henning Christiansen,
2004,
Theory and Practice of Logic Programming.
Henning Christiansen,
Philippe Blache,
Veronica Dahl,
2006
.
Henning Christiansen,
Christian Theil Have,
2012
.
Henning Christiansen,
Henning Christiansen,
2001,
ArXiv.
Henning Christiansen,
Davide Martinenghi,
Henning Christiansen,
2000,
Appl. Artif. Intell..
Verónica Dahl,
Henning Christiansen,
2009,
WoLLIC.
Henning Christiansen,
1993
.
Henning Christiansen,
Davide Martinenghi,
Henning Christiansen,
2005,
LPAR.
Henning Christiansen,
1994,
ICLP.
Henning Christiansen,
Jørgen Villadsen,
J. Villadsen,
2008
.
Henning Christiansen,
2007
.
Henning Christiansen,
Henning Christiansen,
2009,
Constraint Handling Rules.
Henning Christiansen,
2012
.
Henning Christiansen,
Henning Christiansen,
2017,
ArXiv.
Troels Andreasen,
Mohand-Said Hacid,
Henning Christiansen,
2004
.
Henning Christiansen,
Christian Theil Have,
Ole Torp Lassen,
2010
.
Troels Andreasen,
Henning Christiansen,
Henrik Legind Larsen,
1998,
FQAS.
Henning Christiansen,
2004,
Comput. Sci. Educ..
Henning Christiansen,
Jørgen Villadsen,
J. Villadsen,
2010
.
Henning Christiansen,
Christian Theil Have,
Ole Torp Lassen,
2011,
ICLP.
Henning Christiansen,
Henning Christiansen,
1999
.
Troels Andreasen,
Adnan Yazici,
Guy De Tré,
1997,
Springer US.
Henning Christiansen,
2014,
Context in Computing.
Henning Christiansen,
2011
.
Henning Christiansen,
Henning Christiansen,
2002
.
Troels Andreasen,
Henning Christiansen,
Gabriella Pasi,
2006
.
Henning Christiansen,
Henning Christiansen,
2005
.
Henning Christiansen,
1997
.
Henning Christiansen,
Henning Christiansen,
1990
.
Henning Christiansen,
Henning Christiansen,
2003
.