Programming, Logic and Intelligent Systems

Activities

1st International Workshop on AI aspects of Reasoning, Information, and Memory (AIRIM’16)

Henning Christiansen (Organizer)
2016

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

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

Torben Braüner (Member)
19 Sep 201524 Sep 2015

Activity: MembershipMembership in committee, council, board

7th International Conference on Agents and Artificial Intelligence

Henning Christiansen (Organizer)
10 Jan 201512 Jan 2015

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

A system for conceptual pathway finding and deductive querying

Henrik Bulskov (Speaker)
27 Oct 2015

Activity: Talk or presentationLecture and oral contribution

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

The Ninth International and Interdisciplinary Conference on Modeling and Using Context (CONTEXT 2015) (External organisation)

Torben Braüner (Member)
2 Nov 20156 Nov 2015

Activity: MembershipMembership in committee, council, board

Invited talk at the workshop: Proof Theory for Modal Logic: Recent Developments

Torben Braüner (Lecturer)
6 Jan 201417 Jan 2014

Activity: Talk or presentationLecture and oral contribution

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

Ph.d. bedømmelsesudvalg (External organisation)

Torben Braüner (Chairman)
31 Oct 2013

Activity: MembershipMembership in review committee

Invited talk at the workshop: False-Belief Tasks and Logic

Torben Braüner (Lecturer)
5 Dec 2013

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

Linköpings universitet (External organisation)

Henning Christiansen (Member)
9 Oct 2012

Activity: MembershipMembership in review committee

DEXA '12

Henning Christiansen (Organizer)
3 Sep 20126 Sep 2012

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

8th Scandinavian Logic Symposium (External organisation)

Torben Braüner (Member)
20 Aug 201221 Aug 2012

Activity: MembershipMembership in committee, council, board

Ph.d. bedømmelsesudvalg (External organisation)

Mads Rosendahl (Member)
28 Feb 2012

Activity: MembershipMembership in review committee

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

9th International Conference on Advances in Modal Logic (AiML 2012) (External organisation)

Torben Braüner (Member)
22 Aug 201225 Aug 2012

Activity: MembershipMembership in committee, council, board

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

8th Scandinavian Logic Symposium

Henning Christiansen (Speaker)
20 Aug 201221 Aug 2012

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

Autonome robotter - beyond Roomba

Mads Rosendahl (Lecturer)
20 Apr 2012

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

CSLP 2012

Henning Christiansen (Organizer)
13 Sep 201214 Sep 2012

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

Semantics Based Cost Analysis

Mads Rosendahl (Lecturer)
19 Oct 2012

Activity: Talk or presentationLecture and oral contribution

Theory and Practice of Logic Programming (Journal)

John Patrick Gallagher (Editor)
1 Jan 201231 Dec 2016

Activity: Editorial work and peer reviewEditor of Research journalResearch

Foredrag: Rule based AI-programming

Henning Christiansen (Participant)
8 Oct 2012

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

CHR 2012 Ninth International Workshop on Constraint Handling Rules

Henning Christiansen (Organizer)
4 Sep 2012

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

CSLP 2012

Henning Christiansen (Participant)
13 Sep 201214 Sep 2012

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

Besøg hos Tilburg School of Humanities; lærerudveksling under Erasmus med henblik på kommende studenterudveksling

Henning Christiansen (Participant)
19 Feb 20122 Mar 2012

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

DanSAS 2012

Mads Rosendahl (Participant)
24 Aug 2012

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

Teaching Computer Science at HumTek

Mads Rosendahl (Lecturer)
23 May 201225 May 2012

Activity: Talk or presentationLecture and oral contribution

22nd International Symposium on Logic-Based Program Synthesis and Transformation

Henning Christiansen (Organizer)
18 Sep 201220 Sep 2012

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

ECML/PKDD 2012 Workshop on Learning and Discovery in Symbolic Systems Biology

Henning Christiansen (Organizer)
29 Sep 2012

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

The 4th International Workshop on Acquisition, Representation and Reasoning with Contextualized Knowledg

Henning Christiansen (Organizer)
28 Aug 2012

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

CHR 2012 Ninth International Workshop on Constraint Handling Rules

Henning Christiansen (Speaker)
4 Sep 2012

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

22nd International Symposium on Logic-Based Program Synthesis and Transformation

Henning Christiansen (Participant)
18 Sep 201220 Sep 2012

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

Workshop on Scheme and Functional Programming

Morten Rhiger (Organizer)
9 Sep 2012

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

4th Workshop on Reversible Computation

Mads Rosendahl (Participant)
2 Jul 20123 Jul 2012

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

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

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

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

22nd International Conference on Database and Expert Systems Applications

Henning Christiansen (Organizer)
2011

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

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

Theory and Practice of Logic Programming (Journal)

John Patrick Gallagher (Editor)
15 Jan 201110 Jul 2011

Activity: Editorial work and peer reviewEditor of Research journalResearch

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

Torben Braüner (Member)
5 Oct 20117 Oct 2011

Activity: MembershipMembership in committee, council, board

11th Scandinavian Conference on Artificial Intelligence (External organisation)

John Patrick Gallagher (Member)
2011 → …

Activity: MembershipMembership in committee, council, board

1st International Work-Conference on Linguistics, Biology and Computer Science

Henning Christiansen (Speaker)
14 Mar 201118 Mar 2011

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