Programming, Logic and Intelligent Systems

Activities 1999 2019

Conference participation with poster presentation and robot demo

Henning Christiansen (Other), Mads Hobye (Other), Anja Mølle Lindelof (Other)
5 Mar 20198 Mar 2019

Activity: Talk or presentationLecture and oral contribution

Big Data

Henrik Bulskov (Speaker)
1 Apr 2019

Activity: Talk or presentationLecture and oral contribution

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

Big Data - definition, usage and pitfalls

Henrik Bulskov (Speaker)
25 Apr 2019

Activity: Talk or presentationLecture and oral contribution

Fourteenth International Symposium on Functional and Logic Programming (Event)

John Patrick Gallagher (Editor)
2018

Activity: Editorial work and peer reviewEditor of Research journalResearch

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

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

LOPSTR 2018 -28th International Symposium on Logic-Based Program Synthesis and Transformation

Henning Christiansen (Speaker), Maja Hanne Kirkeby (Speaker)
4 Sep 20186 Sep 2018

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

Confluence in Constraint Handling Rules (Invited talk)

Maja Hanne Kirkeby (Speaker)
7 Jul 2018

Activity: Talk or presentationLecture and oral contribution

File

25th Workshop on Logic, Language, Information and Computation (Event)

Torben Braüner (Member)
24 Jul 201827 Jul 2018

Activity: MembershipMembership in committee, council, board

9th International Joint Conference on Automated Reasoning (Event)

Torben Braüner (Member)
14 Jul 201817 Jul 2018

Activity: MembershipMembership in committee, council, board

WFLP 2018, The 26th International Workshop on Functional and Logic Programming

Henning Christiansen (Speaker), Maja Hanne Kirkeby (Speaker)
6 Sep 2018

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

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

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

Henning Christiansen (Speaker)
2 Nov 2018

Activity: Talk or presentationLecture and oral contribution

MRC 2018

Henning Christiansen (Organizer)
9 Jul 201819 Jul 2018

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

7th International Workshop on Confluence

Henning Christiansen (Speaker)
7 Jul 2018

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

27th IEEE International Symposium on Robot and Human Interactive Communication

Henning Christiansen (Speaker)
27 Aug 201831 Aug 2018

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

Ninth Methods for Modality Workshop - 2017 (Event)

Torben Braüner (Member)
8 Jan 20179 Jan 2017

Activity: MembershipMembership in committee, council, board

Invited mini-course on hybrid logic

Torben Braüner (Speaker)
11 Dec 201713 Dec 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

LOPSTR 2017 - International Symposium on Logic-Based Program Synthesis and Transformation

Henning Christiansen (Organizer)
2017

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

28th International Conference on Database and Expert Systems Applications - DEXA 2017

Henning Christiansen (Organizer)
2017

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

ICAART 2017 - International Conference on Agents and Artificial Intelligence

Henning Christiansen (Organizer)
2017

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

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

LOPSTR 2017 - International Symposium on Logic-Based Program Synthesis and Transformation (Event)

John Patrick Gallagher (Editor)
2017

Activity: Editorial work and peer reviewEditor of Research journalResearch

The 26th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (Event)

Torben Braüner (Member)
25 Sep 201728 Sep 2017

Activity: MembershipMembership in committee, council, board

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

International Workshop Modelling and Reasoning in Context

Henning Christiansen (Organizer)
2017

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

Advances in Modal Logic 2016 (Event)

Torben Braüner (Member)
30 Aug 20162 Sep 2016

Activity: MembershipMembership in committee, council, board

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

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

14th International Conference on Practical Applications of Agents and Multi-Agent Systems

Henning Christiansen (Organizer)
1 Jun 2016

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

27th International Conference on Database and Expert Systems Applications

Henning Christiansen (Organizer)
2016

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

Eighth International Workshop Modelling and Reasoning in Context

Henning Christiansen (Organizer)
2016

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

Autism Research Network Meeting

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

FQAS 2017

Henning Christiansen (Organizer)
20162017

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

Udvalgte fotografier 1991-2015 / Henning Christiansen

Henning Christiansen (Participant)
1 Jun 20162 Jul 2016

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

CSLP 2016

Henning Christiansen (Organizer)
2016

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

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

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

A system for conceptual pathway finding and deductive querying

Henrik Bulskov (Speaker)
27 Oct 2015

Activity: Talk or presentationLecture and oral contribution

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

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

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

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

Torben Braüner (Lecturer)
5 Dec 2013

Activity: Talk or presentationLecture and oral contribution