Programming, Logic and Intelligent Systems

Activities

Workshop on Linguistic Complexity & Natural Language Processing

Henning Christiansen (Organizer)

20 Aug 201825 Aug 2018

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

Censor/External examiner. ITU: Specialeprojekt, 2 stud.

Henning Christiansen (Participant)

14 Apr 2009

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

Logic and Cognition Pre-Conference Workshop

Torben Braüner (Organizer), & Sujata Ghosh (Organizer)

2 Mar 2019

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

Spring Workshop on Mining and Learning 2010

Henning Christiansen (Participant)

17 Mar 201019 Mar 2010

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

Integritet i XML og relationelle databaser - og hvordan det kan understøttes - mere eller mindre automatisk

Henning Christiansen (Lecturer)

18 Jan 2009

Activity: Talk or presentationLecture and oral contribution

CHR 2009, Sixth International Workshop on Constraint Handling Rules : Workshop participation

Henning Christiansen (Participant)

15 Jul 2009

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

FQAS 2011

Henning Christiansen (Organizer)

2011

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

The International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (External organisation)

Torben Braüner (Member)

7 Jul 200910 Jul 2009

Activity: MembershipMembership in committee, council, board

Description Logics study group : Studying DL, specialy using Baader et al: The Description Logics Handbook, 2008

Sine Zambach (Organizer)

2 Sep 200931 Mar 2010

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

Program Committee (External organisation)

Troels Andreasen (Member)

1 Jul 200730 Jun 2008

Activity: MembershipMembership in committee, council, board

11th Scandinavian Conference on Artificial Intelligence (External organisation)

John Patrick Gallagher (Member)

2011 → …

Activity: MembershipMembership in committee, council, board

Logic in Databases (LID'08) workshop : Member of steering committee

Henning Christiansen (Organizer)

19 May 200820 May 2008

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

Technical University of Denmark (External organisation)

Troels Andreasen (Member)

1 Mar 20071 Jul 2007

Activity: MembershipMembership in review committee

IMDEA-Software Institute Scientific Advisory Board (External organisation)

John Patrick Gallagher (Member)

1 Jan 200831 Aug 2008

Activity: MembershipMembership in committee, council, board

4th Workshop on Reversible Computation

Mads Rosendahl (Participant)

2 Jul 20123 Jul 2012

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

CONTEXT-09, Seventh International and Interdisciplinary Conference on Modeling and Using Context : Member of steering committee

Henning Christiansen (Participant)

12 Oct 2007 → …

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

MRC 2008, Fifth International Workshop Modeling and Reasoning in Context

Henning Christiansen (Organizer)

9 Jun 200812 Jun 2008

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

CHR 2010: Seventh International Workshop on Constraint Handling Rules

Christian Theil-Have (Participant)

20 Jul 2010

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

Flexible Query Answering Systems (External organisation)

Troels Andreasen (Chairman)

1 Dec 200830 Nov 2009

Activity: MembershipMembership in committee, council, board

Program Committee (External organisation)

Troels Andreasen (Member)

1 Jul 201030 Jun 2011

Activity: MembershipMembership in committee, council, board

Seminar on Virtual Archaeology

John Patrick Gallagher (Organizer)

14 May 2009

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

Preprocessing for Optimization of Probabilistic-Logic Models for Biological Sequence Analysis

Henning Christiansen (Lecturer)

25 Jun 2008

Activity: Talk or presentationLecture and oral contribution

Invited talk: Arthur Prior's temporal logic and the origin of contemporary hybrid logic

Torben Braüner (Lecturer)

4 Dec 20086 Dec 2008

Activity: Talk or presentationLecture and oral contribution

Workshop “Logic and Ontology”

Sine Zambach (Lecturer)

24 Nov 2009

Activity: Talk or presentationLecture and oral contribution

The 26th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (Event)

Torben Braüner (Member)

25 Sep 201728 Sep 2017

Activity: MembershipMembership in committee, council, board

Program Committee (External organisation)

Troels Andreasen (Member)

1 Sep 200731 Jul 2008

Activity: MembershipMembership in committee, council, board

Reviewer for tidsskrift "Knowledge based systems" (Journal)

Henning Christiansen (Peer reviewer)

2010 → …

Activity: Editorial work and peer reviewPeer review of manuscriptsResearch

Hvordan virker en rejseplanner?: Del af NATDAG, arrangement for gymnasieelever

Henning Christiansen (Lecturer)

4 Mar 2009

Activity: Talk or presentationLecture and oral contribution

6th International Workshop on Constraints and Language Processing

Henning Christiansen (Organizer)

27 Sep 2011

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

Theory and Practice of Logic Programming (Journal)

John Patrick Gallagher (Peer reviewer)

20082010

Activity: Editorial work and peer reviewPeer review of manuscriptsResearch

DanSAS 2012

Mads Rosendahl (Participant)

24 Aug 2012

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

Workshop on Abduction and Induction in Artificial Intelligence and Bioinformatics (AIAI'07)

Henning Christiansen (Participant)

15 Sep 200716 Sep 2007

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

Invited lecture: The application of hybrid logic within cognitive psychology

Torben Braüner (Speaker)

15 Dec 2017

Activity: Talk or presentationLecture and oral contribution

The First BNCOD Workshop on Web & Information Management

Henning Christiansen (Participant)

2 Jul 20073 Jul 2007

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

Theory and Practice of Logic Programming (Journal)

Henning Christiansen (Peer reviewer)

2010

Activity: Editorial work and peer reviewPeer review of manuscriptsResearch

International Workshop Modelling and Reasoning in Context

Henning Christiansen (Organizer)

2017

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

On Browsing Domain Ontologies for Information Base Content

Troels Andreasen (Speaker)

18 Jun 200721 Jun 2007

Activity: Talk or presentationLecture and oral contribution

Censor, 2 specialer

Henning Christiansen (Examiner)

26 Jun 2008

Activity: Examination

Universidad Politecnica de Madrid (External organisation)

John Patrick Gallagher (Member)

Oct 2009

Activity: MembershipMembership in review committee

European Summer School in Logic, Language and Information

Christian Theil-Have (Participant)

9 Aug 201019 Aug 2010

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

CHR 2012 Ninth International Workshop on Constraint Handling Rules

Henning Christiansen (Speaker)

4 Sep 2012

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

Censor, kursus i databaser

Henning Christiansen (Examiner)

29 Oct 2008

Activity: Examination

8th Scandinavian Logic Symposium (External organisation)

Torben Braüner (Member)

20 Aug 201221 Aug 2012

Activity: MembershipMembership in committee, council, board

Miniworkshop in the LoSt rojekt

Christian Theil-Have (Other)

4 Mar 2010

Activity: Talk or presentationLecture and oral contribution

PLP 2018, The 5th Workshop on Probabilistic Logic Programming

Henning Christiansen (Organizer)

1 Sep 2018

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

Frontiers of Combining Systems (FroCoS 2009) (External organisation)

Torben Braüner (Member)

16 Sep 200918 Sep 2009

Activity: MembershipMembership in committee, council, board

8th Industrial Conference on Data Mining ICDM´2008 : Member of program committee

Henning Christiansen (Organizer)

16 Jul 200818 Jul 2008

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

Program Analysis With Regular Tree Languages

John Patrick Gallagher (Lecturer)

19 Jul 2011

Activity: Talk or presentationLecture and oral contribution

File