Programming, Logic and Intelligent Systems

Activities 1999 2019

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

Henning Christiansen (Lecturer)
25 Jun 2008

Activity: Talk or presentationLecture and oral contribution

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

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 Committee (External organisation)

Troels Andreasen (Chairman)
1 Dec 200830 Nov 2009

Activity: MembershipMembership in committee, council, board

Forling 2008, Second International Workshop on Non-Classical Formal Languages in Linguistics

Henning Christiansen (Participant)
19 Sep 200820 Sep 2008

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

CSCLP 2008, Annual ERCIM Workshop on Constraint Solving and Constraint Logic Programming

Henning Christiansen (Participant)
18 Jun 200820 Jun 2008

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

The First LoSt Workshop, Logic-statistic analysis of biological sequence data

Christian Theil-Have (Participant)
5 Feb 2008

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

Forskningsophold

Henning Christiansen (Participant)
24 Mar 200828 Mar 2008

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

Fuzzy Sets and Systems (Journal)

Henning Christiansen (Editor)
1 Jan 2008

Activity: Editorial work and peer reviewPeer review of manuscriptsResearch

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

LID 2008, Logic in Databases

Henning Christiansen (Participant)
19 May 200820 May 2008

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

the second International Workshop ForLing; NON-CLASSICAL FORMAL LANGUAGES IN LINGUISTICS

Henning Christiansen (Organizer)
29 Jan 200829 Aug 2008

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

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

CICLOPS 2008, Colloquium on Implementation of Constraint and LOgic Programming Systems

Henning Christiansen (Organizer)
12 Dec 200812 Jan 2009

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

Logic Grammars extended with Constraint Logic: Invited tutorial

Henning Christiansen (Lecturer)
19 Sep 2008

Activity: Talk or presentationLecture and oral contribution

Censor, kursus i databaser

Henning Christiansen (Participant)
29 Oct 2008

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

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

Lecture Notes in Computer Science (Journal)

Henning Christiansen (Editor)
1 Jan 2008

Activity: Editorial work and peer reviewPeer review of manuscriptsResearch

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

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

Linköpings universitet (External organisation)

John Patrick Gallagher (Member)
Feb 2008

Activity: MembershipMembership in review committee

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

John Patrick Gallagher (Member)
2008

Activity: MembershipMembership in committee, council, board

Scandinavian Conference on Artificial Intelligence (External organisation)

John Patrick Gallagher (Member)
2008

Activity: MembershipMembership in committee, council, board

Springer (External organisation)

Troels Andreasen (Member)
1 Jan 200831 Dec 2010

Activity: MembershipMembership in committee, council, board

15th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR'08)

Mads Rosendahl (Participant)
25 Nov 200829 Nov 2008

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

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

Scandinavian Conference on Artificial Intelligence

Henning Christiansen (Organizer)
26 May 200828 May 2008

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

CBIT (External organisation)

Henning Christiansen (Member)
1 Jun 20081 Oct 2008

Activity: MembershipMembership in review committee

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

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

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

Troels Andreasen (Member)
1 Dec 200830 Nov 2009

Activity: MembershipMembership in committee, council, board

Censor, speciale

Henning Christiansen (Participant)
9 Apr 2008

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

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

Integritet i XML og relationelle databaser

Henning Christiansen (Lecturer)
11 Jan 2008

Activity: Talk or presentationLecture and oral contribution

IMDEA-Software Institute Scientific Advisory Board (External organisation)

John Patrick Gallagher (Member)
1 Jan 200831 Aug 2008

Activity: MembershipMembership in committee, council, board

18th ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (External organisation)

John Patrick Gallagher (Member)
20082009

Activity: MembershipMembership in committee, council, board

The 15th International Static Analysis Symposium SAS 2008 (External organisation)

John Patrick Gallagher (Member)
2008

Activity: MembershipMembership in committee, council, board

Introductory lecture on hybrid logic

Torben Braüner (Lecturer)
6 Aug 200710 Aug 2007

Activity: Talk or presentationLecture and oral contribution

On Browsing Domain Ontologies for Information Base Content

Henrik Bulskov (Speaker)
18 Jun 200721 Jun 2007

Activity: Talk or presentationLecture and oral contribution

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

Henning Christiansen (Participant)
18 Sep 2007

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

Program Committee (External organisation)

Troels Andreasen (Member)
1 Sep 200731 Jul 2008

Activity: MembershipMembership in committee, council, board

Reasoning about Use Cases using Logic Grammars and Constraints

Henning Christiansen (Lecturer)
18 Sep 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

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

On Browsing Domain Ontologies for Information Base Content

Troels Andreasen (Speaker)
18 Jun 200721 Jun 2007

Activity: Talk or presentationLecture and oral contribution

Logic-statistic modeling and analysis of biological sequence data: a research agenda

Henning Christiansen (Lecturer)
15 Sep 2007

Activity: Talk or presentationLecture and oral contribution