Programming, Logic and Intelligent Systems

Activities 1999 2019

Integrity Checking and Maintenance with Active Rules in XML Databases

Henning Christiansen (Lecturer)
2 Jul 2007

Activity: Talk or presentationLecture and oral contribution

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

Hosting Davide Martinenghi, Univ. Bolzano, Italy(research cooperation)

Henning Christiansen (Participant)
30 May 20076 Jun 2007

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

International Conference RANLP - 2007, Recent Advances in Natural Language Processing

Christian Theil-Have (Participant)
27 Sep 200729 Sep 2007

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

EUSFLAT European Society for Fuzzy Logic and Technology (External organisation)

Troels Andreasen (Member)
1 Aug 200731 Dec 2011

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

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

Mads Rosendahl (Lecturer)
7 Mar 2007

Activity: Talk or presentationLecture and oral contribution

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

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

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

BNCOD, 24th British National Conference on Databases

Henning Christiansen (Participant)
3 Jul 20075 Jul 2007

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

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

Mads Rosendahl (Lecturer)
3 Oct 2007

Activity: Talk or presentationLecture and oral contribution

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

Program Committee (External organisation)

Troels Andreasen (Member)
1 Jul 200730 Jun 2008

Activity: MembershipMembership in committee, council, board

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

Technical University of Denmark (External organisation)

Troels Andreasen (Member)
1 Mar 20071 Jul 2007

Activity: MembershipMembership in review committee

Norges Forskningsråd (External organisation)

Troels Andreasen (Member)
1 Nov 20071 May 2008

Activity: MembershipMembership in review committee

Invited speaker, PROLE'2007, Zaragoza, Spain

John Patrick Gallagher (Lecturer)
14 Sep 2007

Activity: Talk or presentationLecture and oral contribution

International Conference RANLP - 2007, Recent Advances in Natural Language Processing

Henning Christiansen (Participant)
27 Sep 200729 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

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

Elsevier, Pattern Recognition Letters (Journal)

Troels Andreasen (Peer reviewer)
1 Jan 200731 Dec 2012

Activity: Editorial work and peer reviewPeer review of manuscriptsResearch

Reviewer for Højteknologifonden (Journal)

Henning Christiansen (Editor)
1 Jan 2007

Activity: Editorial work and peer reviewPeer review of manuscriptsResearch

Styregruppe (External organisation)

Henning Christiansen (Member)
24 Jul 2007 → …

Activity: MembershipMembership in board of company or public organisation

Program Committee (External organisation)

Troels Andreasen (Member)
1 Aug 200731 Jul 2008

Activity: MembershipMembership in committee, council, board

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

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

EUSFLAT European Society for Fuzzy Logic and Technology (External organisation)

Troels Andreasen (Member)
1 Jan 200731 Dec 2012

Activity: MembershipMembership in committee, council, board

IEEE Transactions on Systems, Man and Cybernetics Part B (Journal)

Troels Andreasen (Peer reviewer)
1 Jan 200631 Dec 2012

Activity: Editorial work and peer reviewPeer review of manuscriptsResearch

ACM Transactions on Programming Languages and Systems (TOPLAS) (Journal)

John Patrick Gallagher (Peer reviewer)
20062011

Activity: Editorial work and peer reviewPeer review of manuscriptsResearch

ACM SIGIR Special Interest Group on Information Retrieval (External organisation)

Troels Andreasen (Member)
1 Jan 200531 Dec 2012

Activity: MembershipMembership in committee, council, board

ACM SIGCHI Special Interest Group on Computer-Human Interaction (External organisation)

Troels Andreasen (Member)
1 Jan 200531 Dec 2012

Activity: MembershipMembership in committee, council, board

ACM SIGMOD Special Interest Group on Management Of Data. (External organisation)

Troels Andreasen (Member)
1 Jan 200531 Dec 2012

Activity: MembershipMembership in committee, council, board

Fuzzy Sets and Systems (Journal)

Troels Andreasen (Peer reviewer)
1 Jan 200531 Dec 2012

Activity: Editorial work and peer reviewPeer review of manuscriptsResearch

IEEE Computational Intelligence Society (External organisation)

Troels Andreasen (Member)
1 Jan 200531 Dec 2012

Activity: MembershipMembership in review committee

Journal of Intelligent Information Systems (Journal)

Troels Andreasen (Peer reviewer)
1 Jan 200431 Dec 2012

Activity: Editorial work and peer reviewPeer review of manuscriptsResearch

Technical University of Denmark (External organisation)

Troels Andreasen (Member)
1 Aug 200231 Dec 2002

Activity: MembershipMembership in committee, council, board

Invited tutorial on temporal logic and hybrid logic

Torben Braüner (Lecturer)
7 Nov 20029 Nov 2002

Activity: Talk or presentationLecture and oral contribution

IEEE Systems Man and Cybernetics Society (External organisation)

Troels Andreasen (Member)
1 Jan 200131 Jan 2012

Activity: MembershipMembership in committee, council, board

Aalborg University (External organisation)

Troels Andreasen (Member)
1 Feb 19991 Jun 1999

Activity: MembershipMembership in committee, council, board