Programming, Logic and Intelligent Systems

Activities

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

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

IEEE Systems Man and Cybernetics Society (External organisation)

Troels Andreasen (Member)

1 Jan 200131 Jan 2012

Activity: MembershipMembership in committee, council, board

European Summer School in Logic, Language and Information

Sine Zambach (Organizer)

8 Aug 201020 Aug 2010

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

Theory and Practice of Logic Programming (Journal)

John Patrick Gallagher (Editor)

20072011

Activity: Editorial work and peer reviewEditor of Research journalResearch

China-Denmark Graduate Course Cross-Disciplinary Nano-Bio-IT Research

Christian Theil-Have (Participant)

6 Jun 200911 Jun 2009

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

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

Henning Christiansen (Peer reviewer)

2011

Activity: Editorial work and peer reviewPeer review of manuscriptsResearch

Invited mini-course on hybrid logic

Torben Braüner (Speaker)

11 Dec 201713 Dec 2017

Activity: Talk or presentationLecture and oral contribution

Invited speaker, PROLE'2007, Zaragoza, Spain

John Patrick Gallagher (Lecturer)

14 Sep 2007

Activity: Talk or presentationLecture and oral contribution

Hvordan virker en rejseplanner?: Som led i NatDag på RUC; arrangementer for gymnasieelever

Henning Christiansen (Lecturer)

23 Sep 2009

Activity: Talk or presentationLecture and oral contribution

Invited talk: Hybrid logic and its Proof-Theory

Torben Braüner (Speaker)

27 Nov 2019

Activity: Talk or presentationLecture and oral contribution

Ph.d. bedømmelsesudvalg (External organisation)

Mads Rosendahl (Member)

28 Feb 2012

Activity: MembershipMembership in review committee

Poster Presentation: The Sounds of Techno-genesis

Maja Fagerberg Ranten (Speaker), , David Kadish (Speaker), & Megan Hines (Speaker)

20 Sep 201923 Sep 2019

Activity: Talk or presentationLecture and oral contribution

Program Committee (External organisation)

Troels Andreasen (Member)

1 Jul 200930 Jun 2010

Activity: MembershipMembership in committee, council, board

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

Torben Braüner (Lecturer)

27 Sep 201129 Sep 2011

Activity: Talk or presentationLecture and oral contribution

International Workshop on Hybrid Logic (External organisation)

Torben Braüner (Member)

15 Jul 200917 Jul 2009

Activity: MembershipMembership in committee, council, board

Hvordan virker en rejseplanner?: Preæsentation for gynmasieeelever; besøgsdag for Odsherred Gymnasium

Henning Christiansen (Lecturer)

5 Oct 2009

Activity: Talk or presentationLecture and oral contribution

6th International Joint Conference on Automated Reasoning (IJCAR 2012) (External organisation)

Torben Braüner (Member)

25 Jun 201229 Jun 2012

Activity: MembershipMembership in committee, council, board

Norges Forskningsråd (External organisation)

Troels Andreasen (Member)

1 Nov 20071 May 2008

Activity: MembershipMembership in review committee

LoSt project workshop

Christian Theil-Have (Other)

28 Sep 201029 Sep 2010

Activity: Talk or presentationLecture and oral contribution

Kvinder tænker ikke logisk: Repræsentation af viden ved hjælp af formel logik

Sine Zambach (Lecturer)

20 Apr 2010

Activity: Talk or presentationLecture and oral contribution

Fuzzy Sets and Systems (Journal)

Henning Christiansen (Editor)

1 Jan 2008

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

Arthur Prior’s temporal logic and the origin of contemporary hybrid logic

Torben Braüner (Lecturer)

8 Apr 20119 Apr 2011

Activity: Talk or presentationLecture and oral contribution

Ninth Methods for Modality Workshop - 2017 (Event)

Torben Braüner (Member)

8 Jan 20179 Jan 2017

Activity: MembershipMembership in committee, council, board

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

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

Troels Andreasen (Member)

1 Jan 200731 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

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

6th International Workshop on Constraints and Language Processing

Henning Christiansen (Speaker)

27 Sep 2011

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

Scandinavian Conference on Artificial Intelligence

Henning Christiansen (Organizer)

26 May 200828 May 2008

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

FQAS 2009

Troels Andreasen (Organizer)

26 Oct 200928 Oct 2009

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

DANSAS 2009

Mads Rosendahl (Speaker)

20 Aug 2009

Activity: Talk or presentationLecture and oral contribution

Invited mini-course

Torben Braüner (Lecturer)

14 May 201218 May 2012

Activity: Talk or presentationLecture and oral contribution

Introductory lecture on hybrid logic

Torben Braüner (Lecturer)

6 Aug 200710 Aug 2007

Activity: Talk or presentationLecture and oral contribution