Programming, Logic and Intelligent Systems

Activities

Logical proofs: From mathematics to psychology

Torben Braüner (Speaker)

30 Oct 2019

Activity: Talk or presentationLecture and oral contribution

FQAS 2011

Henning Christiansen (Organizer)

2011

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

Probabilistic Abductive Logic Programming in Constraint Handling Rules

Henning Christiansen (Lecturer)

20 Jun 2008

Activity: Talk or presentationLecture and oral contribution

9th International Joint Conference on Automated Reasoning (Event)

Torben Braüner (Member)

14 Jul 201817 Jul 2018

Activity: MembershipMembership in committee, council, board

The International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (External organisation)

Torben Braüner (Member)

7 Jul 200910 Jul 2009

Activity: MembershipMembership in committee, council, board

Workshop on Linguistic Complexity & Natural Language Processing

Henning Christiansen (Organizer)

20 Aug 201825 Aug 2018

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

The 7th International and Interdisciplinary Conference on Modeling and Using Context 2011

Henning Christiansen (Organizer)

2011

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

Higher-Order and Symbolic Computation (Journal)

John Patrick Gallagher (Editor)

20102011

Activity: Editorial work and peer reviewEditor of Research journalResearch

Fourteenth International Symposium on Practical Aspects of Declarative Languages

Henning Christiansen (Organizer)

23 Jan 201224 Jan 2012

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

Journal of Intelligent Information Systems (Journal)

Troels Andreasen (Peer reviewer)

1 Jan 200431 Dec 2012

Activity: Editorial work and peer reviewPeer review of manuscriptsResearch

Cognitive, linguistic and logical aspects of perspective-taking

Torben Braüner (Organizer), , Patrick Rowan Blackburn (Organizer), & Irina Polyanskaya (Organizer)

27 May 2015

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

Eighth Indian Conference on Logic and its Applications 2019 (Event)

Torben Braüner (Member)

1 Mar 20195 Mar 2019

Activity: MembershipMembership in committee, council, board

25th International Symposium on Methodologies for Intelligent Systems

Henning Christiansen (Participant)

20 May 202022 May 2020

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

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

Troels Andreasen (Member)

1 Aug 200731 Dec 2011

Activity: MembershipMembership in committee, council, board

Frontiers of Combining Systems (FroCoS 2015) (External organisation)

Torben Braüner (Member)

19 Sep 201524 Sep 2015

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

Præsentation på IDA Universe – Driving IT: Dances with robots

Henning Christiansen (Speaker)

2 Nov 2018

Activity: Talk or presentationLecture and oral contribution

Invited talk: Hybrid Logic and Its Proof-Theory

Torben Braüner (Lecturer)

30 Sep 2012

Activity: Talk or presentationLecture and oral contribution

6th International Workshop on Constraints and Language Processing at Context'11

Henning Christiansen (Organizer)

26 Sep 201127 Sep 2011

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

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

Henning Christiansen (Participant)

18 Sep 2007

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

DEXA 2008, 19th International Conference on Database and Expert Systems Applications : Medlem af programkommittee; peer reviewing

Henning Christiansen (Organizer)

1 Sep 20085 Sep 2008

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

Aalborg University

Henning Christiansen (Visiting researcher)

24 Jun 200826 Jun 2008

Activity: Visiting an external institutionVisiting an external academic institution

Censor, speciale

Henning Christiansen (Examiner)

9 Apr 2008

Activity: Examination

Linköpings universitet (External organisation)

Henning Christiansen (Member)

1 Sep 201019 Nov 2010

Activity: MembershipMembership in review committee

Cognitive, linguistic and logical aspects of perspective-taking II

Torben Braüner (Organizer), , Patrick Rowan Blackburn (Organizer), & Irina Polyanskaya (Organizer)

26 May 2016

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

Linköpings universitet (External organisation)

Henning Christiansen (Member)

19 Nov 2010

Activity: MembershipMembership in review committee

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

Program Committee (External organisation)

Troels Andreasen (Member)

1 Aug 200831 Jul 2009

Activity: MembershipMembership in committee, council, board

ICDM 2011

Henning Christiansen (Organizer)

2011

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

Logic in progress talk

Torben Braüner (Speaker)

23 May 2018

Activity: Talk or presentationLecture and oral contribution

DANSAS 2010

Mads Rosendahl (Participant)

19 Aug 2010

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

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

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

Troels Andreasen (Member)

1 Dec 200830 Nov 2009

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

Association for Logic Programming (External organisation)

John Patrick Gallagher (Chairman)

1 Aug 201010 Jul 2011

Activity: MembershipMembership in committee, council, board

Censor/External examiner. ITU: Specialeprojekt, 2 stud.

Henning Christiansen (Participant)

14 Apr 2009

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

Logic and Cognition Pre-Conference Workshop

Torben Braüner (Organizer), & Sujata Ghosh (Organizer)

2 Mar 2019

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

Spring Workshop on Mining and Learning 2010

Henning Christiansen (Participant)

17 Mar 201019 Mar 2010

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

Description Logics study group : Studying DL, specialy using Baader et al: The Description Logics Handbook, 2008

Sine Zambach (Organizer)

2 Sep 200931 Mar 2010

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

Program Committee (External organisation)

Troels Andreasen (Member)

1 Jul 200730 Jun 2008

Activity: MembershipMembership in committee, council, board

Association for Logic Programming (External organisation)

John Patrick Gallagher (Member)

20082011

Activity: MembershipMembership in committee, council, board

Technical University of Denmark (External organisation)

Troels Andreasen (Member)

1 Mar 20071 Jul 2007

Activity: MembershipMembership in review committee

IMDEA-Software Institute Scientific Advisory Board (External organisation)

John Patrick Gallagher (Member)

1 Jan 200831 Aug 2008

Activity: MembershipMembership in committee, council, board