Programming, Logic and Intelligent Systems

Activities

ICAART 2017 - International Conference on Agents and Artificial Intelligence

Henning Christiansen (Organizer)

2017

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

ICDM 2011

Henning Christiansen (Organizer)

2011

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

ICLP 2010, International Conference for Logic Programming

Henning Christiansen (Participant)

16 Jul 201019 Jul 2010

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

ICLP 2011: 27th International Conference on Logic Programming

Henning Christiansen (Organizer)

2011

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

Keynote talk: Hybrid-Logical Proofs: With an Application to False-Belief Tasks

Torben Braüner (Lecturer)

24 May 2013

Activity: Talk or presentationLecture and oral contribution

IEEE Computational Intelligence Society (External organisation)

Troels Andreasen (Member)

1 Jan 200531 Dec 2012

Activity: MembershipMembership in review committee

IEEE Systems Man and Cybernetics Society (External organisation)

Troels Andreasen (Member)

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

IMDEA-Software Institute Scientific Advisory Board (External organisation)

John Patrick Gallagher (Member)

1 Jan 200831 Aug 2008

Activity: MembershipMembership in committee, council, board

Industrial Conference on Data Mining

Henning Christiansen (Organizer)

12 Jul 201014 Jul 2010

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

Information and Computation (Journal)

John Patrick Gallagher (Peer reviewer)

20082010

Activity: Editorial work and peer reviewPeer review of manuscriptsResearch

Information Processing & Management (Journal)

Troels Andreasen (Peer reviewer)

1 Jan 200731 Dec 2012

Activity: Editorial work and peer reviewPeer review of manuscriptsResearch

Integritet i XML og relationelle databaser

Henning Christiansen (Lecturer)

11 Jan 2008

Activity: Talk or presentationLecture and oral contribution

Integrity Checking and Maintenance with Active Rules in XML Databases

Henning Christiansen (Lecturer)

2 Jul 2007

Activity: Talk or presentationLecture and oral contribution

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

John Patrick Gallagher (Member)

2010 → …

Activity: MembershipMembership in committee, council, board

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

John Patrick Gallagher (Member)

2008

Activity: MembershipMembership in committee, council, board

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

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

International Symposium on Logic-based Program Synthesis and Transformation (External organisation)

John Patrick Gallagher (Member)

2010 → …

Activity: MembershipMembership in committee, council, board

International Workshop Modelling and Reasoning in Context

Henning Christiansen (Organizer)

2017

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

International Workshop on Hybrid Logic (External organisation)

Torben Braüner (Member)

10 Jul 2010

Activity: MembershipMembership in committee, council, board

International Workshop on Hybrid Logic (External organisation)

Torben Braüner (Member)

15 Jul 200917 Jul 2009

Activity: MembershipMembership in committee, council, board

International Workshop on Methods for Modalities (External organisation)

Torben Braüner (Member)

10 Nov 201112 Nov 2011

Activity: MembershipMembership in committee, council, board

Introduction to Constraints and Language Processing

Henning Christiansen (Lecturer)

11 Aug 2008

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

Invited lecture: Deception and Second-Order Theory of Mind

Torben Braüner (Speaker)

9 Jan 201713 Jan 2017

Activity: Talk or presentationLecture and oral contribution

Invited lecture: Second-order false belief reasoning: Some modal logical analyses

Torben Braüner (Speaker)

17 May 2017

Activity: Talk or presentationLecture and oral contribution

Invited lecture: The application of hybrid logic within cognitive psychology

Torben Braüner (Speaker)

15 Dec 2017

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

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

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

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

Invited Talk: Descriptive Types and Well-Typings, with an Aside on Model Checking

John Patrick Gallagher (Lecturer)

7 Jul 2010

Activity: Talk or presentationLecture and oral contribution

Invited talk: From classical to intuitionistic hybrid logic

Torben Braüner (Lecturer)

23 Jun 2008

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

Invited Talk: Scalable Static Analysis based on Regular Types

John Patrick Gallagher (Lecturer)

Oct 2008

Activity: Talk or presentationLecture and oral contribution

Invited talk: Second-order false-belief reasoning: Some modal-logical analyses

Torben Braüner (Speaker)

23 May 201625 May 2016

Activity: Talk or presentationLecture and oral contribution

IOSPress, Integrated Computer-Aided Engineering, International Journal (Journal)

Troels Andreasen (Peer reviewer)

1 Jan 201031 Dec 2012

Activity: Editorial work and peer reviewPeer review of manuscriptsResearch

ISMIS 2018, 24th International Symposium on Methodologies for Intelligent Systems

Henning Christiansen (Organizer)

29 Oct 201831 Oct 2018

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

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

Logic Grammars extended with Constraint Logic: Invited tutorial

Henning Christiansen (Lecturer)

19 Sep 2008

Activity: Talk or presentationLecture and oral contribution

LoSt project workshop

Christian Theil-Have (Other)

28 Sep 201029 Sep 2010

Activity: Talk or presentationLecture and oral contribution

Journal of Intelligent Information Systems (Journal)

Troels Andreasen (Peer reviewer)

1 Jan 200431 Dec 2012

Activity: Editorial work and peer reviewPeer review of manuscriptsResearch

Journal of Symbolic Computation in Software Science (Journal)

John Patrick Gallagher (Peer reviewer)

2009

Activity: Editorial work and peer reviewPeer review of manuscriptsResearch

Keynote talk: Hybrid-Logical Proof-Theory: With an Application to False-Belief Tests

Torben Braüner (Speaker)

8 May 201712 May 2017

Activity: Talk or presentationLecture and oral contribution

Miniworkshop in the LoSt rojekt

Christian Theil-Have (Other)

4 Mar 2010

Activity: Talk or presentationLecture and oral contribution

Københavns Universitet (External organisation)

Henning Christiansen (Member)

1 Apr 20111 Oct 2011

Activity: MembershipMembership in review committee

Københavns Universitet (External organisation)

Henning Christiansen (Member)

13 Apr 201112 Dec 2011

Activity: MembershipMembership in review committee

Lecture Notes in Computer Science (Journal)

Henning Christiansen (Editor)

1 Jan 2009

Activity: Editorial work and peer reviewPeer review of manuscriptsResearch