Programming, Logic and Intelligent Systems

Activities 1999 2019

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

Censor, speciale

Henning Christiansen (Participant)
26 Aug 2008

Activity: OtherOther (prizes, external teaching and other activities) - External teaching and subject coordination

Forskningsophold, Aalborg Universitet, Datalogi, hos Manfred Jaeger

Henning Christiansen (Participant)
24 Jun 200826 Jun 2008

Activity: OtherOther (prizes, external teaching and other activities) - Period visiting other institutions

Vært for Nicos Angelopoulos; forskningsbesøg på RUC: som led i LoSt-projektet

Henning Christiansen (Participant)
19 May 2008

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

Vært for Maria Grineva, Russian Academy of Science; forskningsbesøg på RUC: som led i CONTROL-projektet. SNF

Henning Christiansen (Participant)
28 Jun 20081 Jul 2008

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

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

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

Forskningsophold

Henning Christiansen (Participant)
24 Mar 200828 Mar 2008

Activity: OtherOther (prizes, external teaching and other activities) - Period visiting other institutions

Association for Logic Programming (External organisation)

John Patrick Gallagher (Member)
20082011

Activity: MembershipMembership in committee, council, board

Invited Talk: Scalable Static Analysis based on Regular Types

John Patrick Gallagher (Lecturer)
Oct 2008

Activity: Talk or presentationLecture and oral contribution

Forskerskole FIRST (External organisation)

Ole Torp Lassen (Member)
1 Feb 200831 Jul 2010

Activity: MembershipMembership in research network

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

International Conference on Logic Programming (ICLP’08) (External organisation)

John Patrick Gallagher (Member)
2008

Activity: MembershipMembership in committee, council, board

Partial Evaluation and Program Manipulation' 08 (External organisation)

Mads Rosendahl (Member)
7 Jan 20088 Jan 2008

Activity: MembershipMembership in review committee

Invited talk: From classical to intuitionistic hybrid logic

Torben Braüner (Lecturer)
23 Jun 2008

Activity: Talk or presentationLecture and oral contribution

Information and Computation (Journal)

John Patrick Gallagher (Peer reviewer)
20082010

Activity: Editorial work and peer reviewPeer review of manuscriptsResearch

LID 2008, Logic in Databases

Henning Christiansen (Participant)
19 May 200820 May 2008

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

Fuzzy Sets and Systems (Journal)

Henning Christiansen (Editor)
1 Jan 2008

Activity: Editorial work and peer reviewPeer review of manuscriptsResearch

Probabilistic Abductive Logic Programming implemented with Constraint Handling Rules

Henning Christiansen (Lecturer)
27 Mar 2008

Activity: Talk or presentationLecture and oral contribution

Vært for Davide Martinenghi, Unversita di Milano; forskningsophold på RUC

Henning Christiansen (Participant)
29 Jul 20081 Aug 2008

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

CBIT (External organisation)

Henning Christiansen (Member)
1 Jun 20081 Oct 2008

Activity: MembershipMembership in review committee

Program Committee (External organisation)

Troels Andreasen (Chairman)
1 Dec 200830 Nov 2009

Activity: MembershipMembership in committee, council, board

Probabilistic Abductive Logic Programming in Constraint Handling Rules

Henning Christiansen (Lecturer)
20 Jun 2008

Activity: Talk or presentationLecture and oral contribution

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

CHR 2008, Fifth Workshop on Constraint Handling Rules

Henning Christiansen (Participant)
14 Jul 2008

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

Censor, kursus i databaser

Henning Christiansen (Participant)
29 Oct 2008

Activity: OtherOther (prizes, external teaching and other activities) - External teaching and subject coordination

Advisory board member, FQAS2009 Flexible Query Answering Systems (External organisation)

Troels Andreasen (Member)
1 Dec 200830 Nov 2009

Activity: MembershipMembership in committee, council, board

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

10th International Conference on Enterprise Information Systems : Member of program committee

Henning Christiansen (Organizer)
12 Jun 200816 Jun 2008

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

5th International Workshop on Constraints and Language Processing (CSLP2008) : Co-organizer, co-chair for program committee

Henning Christiansen (Organizer)
11 Aug 200815 Aug 2008

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

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

Theory and Practice of Logic Programming (Journal)

John Patrick Gallagher (Editor)
20072011

Activity: Editorial work and peer reviewEditor of Research journalResearch

Sigplan Notices (Journal)

Mads Rosendahl (Editor)
1 Jan 2007

Activity: Editorial work and peer reviewPeer review of manuscriptsResearch

Limits on computing: Day of Science lecture March 7th 2007

Mads Rosendahl (Lecturer)
7 Mar 2007

Activity: Talk or presentationLecture and oral contribution

Paradigms of Programming: Day of Science October 3rd, 2007

Mads Rosendahl (Lecturer)
3 Oct 2007

Activity: Talk or presentationLecture and oral contribution

A TRIBUTE WORKSHOP AND FESTIVAL TO HONOR Professor Dr. Neil D. Jones

Henning Christiansen (Participant)
25 Aug 200726 Aug 2007

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

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

Integrity Checking and Maintenance with Active Rules in XML Databases

Henning Christiansen (Lecturer)
2 Jul 2007

Activity: Talk or presentationLecture and oral contribution

Program Committee (External organisation)

Troels Andreasen (Member)
1 Aug 200731 Jul 2008

Activity: MembershipMembership in committee, council, board

Information Processing & Management (Journal)

Troels Andreasen (Peer reviewer)
1 Jan 200731 Dec 2012

Activity: Editorial work and peer reviewPeer review of manuscriptsResearch

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

Norges Forskningsråd (External organisation)

Troels Andreasen (Member)
1 Nov 20071 May 2008

Activity: MembershipMembership in review committee

The First Franco-Japanese Symposium on Knowledge Discovery in Systems Biology (FJ'07)

Henning Christiansen (Participant)
17 Sep 200718 Sep 2007

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

From use cases to UML class diagrams using logic grammars and constraints

Henning Christiansen (Lecturer)
27 Sep 2007

Activity: Talk or presentationLecture and oral contribution

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

Lecture Notes in Computer Science (Journal)

Mads Rosendahl (Editor)
1 Jan 2007

Activity: Editorial work and peer reviewPeer review of manuscriptsResearch