Programming, Logic and Intelligent Systems

Activities

Probabilistic Abductive Logic Programming in Constraint Handling Rules

Henning Christiansen (Lecturer)

20 Jun 2008

Activity: Talk or presentationLecture and oral contribution

Probabilistic-logic models for analysis of language and biological sequence data

Henning Christiansen (Lecturer)

17 Apr 2009

Activity: Talk or presentationLecture and oral contribution

Proceedinds of The 15th International Static Analysis Symposium, SAS 2008 (Journal)

Henning Christiansen (Editor)

1 Jan 2008

Activity: Editorial work and peer reviewPeer review of manuscriptsResearch

Proceedings of 9th Industrial Conference on Data Mining ICDM´2009 : Lecture Notes of Computer Science, vol. 5633 (Journal)

Henning Christiansen (Editor)

1 Jan 2009

Activity: Editorial work and peer reviewPeer review of manuscriptsResearch

Proceedings of Reviewer for ACM SIGPLAN 2008 Workshop on Partial Evaluation and Program Manipulation (PEPM '08) (Journal)

Henning Christiansen (Editor)

1 Jan 2007

Activity: Editorial work and peer reviewPeer review of manuscriptsResearch

Program Analysis With Regular Tree Languages

John Patrick Gallagher (Lecturer)

19 Jul 2011

Activity: Talk or presentationLecture and oral contribution

File

Program Committee, WSEAS 2008 12th WSEAS International Conference on COMPUTERS (External organisation)

Troels Andreasen (Member)

1 Aug 200731 Jul 2008

Activity: MembershipMembership in committee, council, board

Program Committee (External organisation)

Troels Andreasen (Member)

1 Jul 200830 Jun 2009

Activity: MembershipMembership in committee, council, board

Program Committee (External organisation)

Troels Andreasen (Chairman)

1 Dec 200830 Nov 2009

Activity: MembershipMembership in committee, council, board

Program Committee (External organisation)

Troels Andreasen (Member)

1 Nov 201031 Oct 2011

Activity: MembershipMembership in committee, council, board

Program Committee (External organisation)

Troels Andreasen (Member)

1 Aug 201031 Jul 2011

Activity: MembershipMembership in committee, council, board

Program Committee (External organisation)

Troels Andreasen (Member)

1 Aug 200931 Jul 2010

Activity: MembershipMembership in committee, council, board

Program Committee (External organisation)

Troels Andreasen (Member)

1 Jul 200930 Jun 2010

Activity: MembershipMembership in committee, council, board

Program Committee (External organisation)

Troels Andreasen (Member)

1 Nov 201031 Oct 2011

Activity: MembershipMembership in committee, council, board

Program Committee (External organisation)

Troels Andreasen (Member)

1 Aug 200731 Jul 2008

Activity: MembershipMembership in committee, council, board

Program Committee (External organisation)

Troels Andreasen (Member)

1 Aug 200731 Jul 2008

Activity: MembershipMembership in committee, council, board

Program Committee (External organisation)

Troels Andreasen (Member)

1 Aug 200831 Jul 2009

Activity: MembershipMembership in committee, council, board

Program Committee (External organisation)

Troels Andreasen (Member)

1 Aug 200831 Jul 2009

Activity: MembershipMembership in committee, council, board

Program Committee (External organisation)

Troels Andreasen (Member)

1 May 20111 Dec 2011

Activity: MembershipMembership in committee, council, board

Program Committee (External organisation)

Troels Andreasen (Member)

1 Aug 200831 Jul 2009

Activity: MembershipMembership in committee, council, board

Program Committee (External organisation)

Troels Andreasen (Member)

1 Jul 200730 Jun 2008

Activity: MembershipMembership in committee, council, board

Program Committee (External organisation)

Troels Andreasen (Member)

1 Jul 201030 Jun 2011

Activity: MembershipMembership in committee, council, board

Program Committee (External organisation)

Troels Andreasen (Member)

1 Sep 200731 Jul 2008

Activity: MembershipMembership in committee, council, board

Semantics Based Cost Analysis

Mads Rosendahl (Lecturer)

19 Oct 2012

Activity: Talk or presentationLecture and oral contribution

Teaching Computer Science at HumTek

Mads Rosendahl (Lecturer)

23 May 201225 May 2012

Activity: Talk or presentationLecture and oral contribution

Terminologiske ontologier og beskrivelseslogik: Et eksperiment inden for domænet enzymkemi

Sine Zambach (Speaker)

9 Jun 200910 Jun 2009

Activity: Talk or presentationLecture and oral contribution

Reasoning about Use Cases using Logic Grammars and Constraints

Henning Christiansen (Lecturer)

18 Sep 2007

Activity: Talk or presentationLecture and oral contribution

Reasoning and language processing with Constraint Handling Rules

Henning Christiansen (Organizer)

12 Nov 201026 Nov 2010

Activity: Participating in or organising an eventParticipation in workshop, seminar, course

Referee for the Research Fund Council of Chile: Research Council (FONDECYT) (External organisation)

Troels Andreasen (Member)

1 Aug 20071 May 2008

Activity: MembershipMembership in review committee

Research visit to Philippe Blache, Univ. Aix-en-Provence

Henning Christiansen (Participant)

18 Sep 2007

Activity: OtherOther (prizes, external teaching and other activities) - Other

Reviewer for Højteknologifonden (Journal)

Henning Christiansen (Editor)

1 Jan 2007

Activity: Editorial work and peer reviewPeer review of manuscriptsResearch

Reviewer for Natural Sciences and Engineering Research Council of Canada (Journal)

Henning Christiansen (Editor)

1 Jan 2008

Activity: Editorial work and peer reviewPeer review of manuscriptsResearch

Reviewer for tidsskrift "Journal of Computer and System Sciences" (Journal)

Henning Christiansen (Peer reviewer)

2011

Activity: Editorial work and peer reviewPeer review of manuscriptsResearch

Reviewer for tidsskrift "Knowledge based systems" (Journal)

Troels Andreasen (Peer reviewer)

1 Jan 200831 Dec 2012

Activity: Editorial work and peer reviewPeer review of manuscriptsResearch

Reviewer for tidsskrift "Knowledge based systems" (Journal)

Henning Christiansen (Peer reviewer)

2010 → …

Activity: Editorial work and peer reviewPeer review of manuscriptsResearch

Scandinavian Conference on Artificial Intelligence

Henning Christiansen (Organizer)

26 May 200828 May 2008

Activity: Participating in or organising an eventOrganisation and participation in conference

Scandinavian Conference on Artificial Intelligence (External organisation)

John Patrick Gallagher (Member)

2008

Activity: MembershipMembership in committee, council, board

Scandinavian Conference on Artificial Intelligence (External organisation)

Torben Braüner (Member)

26 May 200828 May 2008

Activity: MembershipMembership in committee, council, board

Science Research Council Belgium (FUNDP) (External organisation)

John Patrick Gallagher (Member)

2010

Activity: MembershipMembership in review committee

Udvalgte fotografier 1991-2015 / Henning Christiansen

Henning Christiansen (Participant)

1 Jun 20162 Jul 2016

Activity: Other

Second International Conference on Agents and Artificial Intelligence

Henning Christiansen (Organizer)

23 Jan 201024 Jan 2010

Activity: Participating in or organising an eventOrganisation and participation in conference

Seminar on Virtual Archaeology

John Patrick Gallagher (Organizer)

14 May 2009

Activity: Participating in or organising an eventOrganisation and participation in conference

Sigplan Notices (Journal)

Mads Rosendahl (Editor)

1 Jan 2007

Activity: Editorial work and peer reviewPeer review of manuscriptsResearch

Sixth International Workshop on Methods for Modalities 2009 (M4M-6 2009) (External organisation)

Torben Braüner (Member)

12 Nov 200914 Nov 2009

Activity: MembershipMembership in committee, council, board

Spring Course on Rule-based Programming

Christian Theil-Have (Participant)

18 May 200922 May 2009

Activity: Participating in or organising an eventParticipation in workshop, seminar, course

Springer (External organisation)

Troels Andreasen (Member)

1 Jan 200831 Dec 2010

Activity: MembershipMembership in committee, council, board

Springer (Publisher)

Henning Christiansen (Editor)

1 Jan 2009

Activity: Editorial work and peer reviewPeer review of manuscriptsResearch

Springer (Publisher)

Henning Christiansen (Editor)

1 Jan 2008

Activity: Editorial work and peer reviewPeer review of manuscriptsResearch