Programmering, logik og intelligente systemer

Aktiviteter 1999 2019

Workshop on Logic and Cognition

Torben Braüner (Arrangør), Sujata Ghosh (Arrangør)
2 mar. 2019

Aktivitet: Deltagelse i eller arrangering af en begivenhedOrganisation og deltagelse i konference

Conference participation with poster presentation and robot demo

Henning Christiansen (Andet), Mads Hobye (Andet), Anja Mølle Lindelof (Andet)
5 mar. 20198 mar. 2019

Aktivitet: Tale eller præsentationForedrag og mundtlige bidrag

PLP 2018, The 5th Workshop on Probabilistic Logic Programming

Henning Christiansen (Arrangør)
1 sep. 2018

Aktivitet: Deltagelse i eller arrangering af en begivenhedOrganisation og deltagelse i konference

Workshop on Linguistic Complexity & Natural Language Processing

Henning Christiansen (Arrangør)
20 aug. 201825 aug. 2018

Aktivitet: Deltagelse i eller arrangering af en begivenhedOrganisation og deltagelse i konference

Fourteenth International Symposium on Functional and Logic Programming (Begivenhed)

John Patrick Gallagher (Redaktør)
2018

Aktivitet: Redaktionelt arbejde og fagfællebedømmelseRedaktør af tidsskriftForskning

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

Henning Christiansen (Taler), Maja Hanne Kirkeby (Taler)
4 sep. 20186 sep. 2018

Aktivitet: Deltagelse i eller arrangering af en begivenhedOrganisation og deltagelse i konference

7th International Workshop on Confluence

Henning Christiansen (Taler)
7 jul. 2018

Aktivitet: Deltagelse i eller arrangering af en begivenhedDeltagelse i workshop, seminar og kursus

Logic in progress talk

Torben Braüner (Oplægsholder)
23 maj 2018

Aktivitet: Tale eller præsentationForedrag og mundtlige bidrag

Confluence in Constraint Handling Rules (Invited talk)

Maja Hanne Kirkeby (Oplægsholder)
7 jul. 2018

Aktivitet: Tale eller præsentationForedrag og mundtlige bidrag

Fil

27th IEEE International Symposium on Robot and Human Interactive Communication

Henning Christiansen (Taler)
27 aug. 201831 aug. 2018

Aktivitet: Deltagelse i eller arrangering af en begivenhedOrganisation og deltagelse i konference

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

Torben Braüner (Medlem)
24 jul. 201827 jul. 2018

Aktivitet: MedlemsskabMedlemskab af udvalg, råd og nævn

9th International Joint Conference on Automated Reasoning (Begivenhed)

Torben Braüner (Medlem)
14 jul. 201817 jul. 2018

Aktivitet: MedlemsskabMedlemskab af udvalg, råd og nævn

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

Henning Christiansen (Taler), Maja Hanne Kirkeby (Taler)
6 sep. 2018

Aktivitet: Deltagelse i eller arrangering af en begivenhedDeltagelse i workshop, seminar og kursus

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

Henning Christiansen (Arrangør)
29 okt. 201831 okt. 2018

Aktivitet: Deltagelse i eller arrangering af en begivenhedOrganisation og deltagelse i konference

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

Henning Christiansen (Oplægsholder)
2 nov. 2018

Aktivitet: Tale eller præsentationForedrag og mundtlige bidrag

MRC 2018

Henning Christiansen (Arrangør)
9 jul. 201819 jul. 2018

Aktivitet: Deltagelse i eller arrangering af en begivenhedOrganisation og deltagelse i konference

Invited mini-course on hybrid logic

Torben Braüner (Oplægsholder)
11 dec. 201713 dec. 2017

Aktivitet: Tale eller præsentationForedrag og mundtlige bidrag

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

Torben Braüner (Oplægsholder)
17 maj 2017

Aktivitet: Tale eller præsentationForedrag og mundtlige bidrag

Invited lecture: The application of hybrid logic within cognitive psychology

Torben Braüner (Oplægsholder)
15 dec. 2017

Aktivitet: Tale eller præsentationForedrag og mundtlige bidrag

Ninth Methods for Modality Workshop - 2017 (Begivenhed)

Torben Braüner (Medlem)
8 jan. 20179 jan. 2017

Aktivitet: MedlemsskabMedlemskab af udvalg, råd og nævn

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

Henning Christiansen (Arrangør)
2017

Aktivitet: Deltagelse i eller arrangering af en begivenhedOrganisation og deltagelse i konference

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

Henning Christiansen (Arrangør)
2017

Aktivitet: Deltagelse i eller arrangering af en begivenhedOrganisation og deltagelse i konference

ICAART 2017 - International Conference on Agents and Artificial Intelligence

Henning Christiansen (Arrangør)
2017

Aktivitet: Deltagelse i eller arrangering af en begivenhedOrganisation og deltagelse i konference

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

Torben Braüner (Oplægsholder)
8 maj 201712 maj 2017

Aktivitet: Tale eller præsentationForedrag og mundtlige bidrag

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

John Patrick Gallagher (Redaktør)
2017

Aktivitet: Redaktionelt arbejde og fagfællebedømmelseRedaktør af tidsskriftForskning

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

Torben Braüner (Medlem)
25 sep. 201728 sep. 2017

Aktivitet: MedlemsskabMedlemskab af udvalg, råd og nævn

Invited lecture: Deception and Second-Order Theory of Mind

Torben Braüner (Oplægsholder)
9 jan. 201713 jan. 2017

Aktivitet: Tale eller præsentationForedrag og mundtlige bidrag

International Workshop Modelling and Reasoning in Context

Henning Christiansen (Arrangør)
2017

Aktivitet: Deltagelse i eller arrangering af en begivenhedOrganisation og deltagelse i konference

Advances in Modal Logic 2016 (Begivenhed)

Torben Braüner (Medlem)
30 aug. 20162 sep. 2016

Aktivitet: MedlemsskabMedlemskab af udvalg, råd og nævn

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

Henning Christiansen (Arrangør)
2016

Aktivitet: Deltagelse i eller arrangering af en begivenhedOrganisation og deltagelse i konference

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

Henning Christiansen (Arrangør)
1 jun. 2016

Aktivitet: Deltagelse i eller arrangering af en begivenhedOrganisation og deltagelse i konference

27th International Conference on Database and Expert Systems Applications

Henning Christiansen (Arrangør)
2016

Aktivitet: Deltagelse i eller arrangering af en begivenhedOrganisation og deltagelse i konference

Eighth International Workshop Modelling and Reasoning in Context

Henning Christiansen (Arrangør)
2016

Aktivitet: Deltagelse i eller arrangering af en begivenhedOrganisation og deltagelse i konference

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

Torben Braüner (Oplægsholder)
23 maj 201625 maj 2016

Aktivitet: Tale eller præsentationForedrag og mundtlige bidrag

Cognitive, linguistic and logical aspects of perspective-taking II

Torben Braüner (Arrangør), Patrick Rowan Blackburn (Arrangør), Irina Polyanskaya (Arrangør)
26 maj 2016

Aktivitet: Deltagelse i eller arrangering af en begivenhedOrganisation og deltagelse i konference

Autism Research Network Meeting

Torben Braüner (Arrangør), Patrick Rowan Blackburn (Arrangør), Irina Polyanskaya (Arrangør)
26 maj 2016

Aktivitet: Deltagelse i eller arrangering af en begivenhedOrganisation og deltagelse i konference

FQAS 2017

Henning Christiansen (Arrangør)
20162017

Aktivitet: Deltagelse i eller arrangering af en begivenhedOrganisation og deltagelse i konference

Udvalgte fotografier 1991-2015 / Henning Christiansen

Henning Christiansen (Deltager)
1 jun. 20162 jul. 2016

Aktivitet: AndetAndet (priser, ekstern undervisning samt andet). - Andet

CSLP 2016

Henning Christiansen (Arrangør)
2016

Aktivitet: Deltagelse i eller arrangering af en begivenhedOrganisation og deltagelse i konference

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

Torben Braüner (Medlem)
2 nov. 20156 nov. 2015

Aktivitet: MedlemsskabMedlemskab af udvalg, råd og nævn

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

Torben Braüner (Medlem)
19 sep. 201524 sep. 2015

Aktivitet: MedlemsskabMedlemskab af udvalg, råd og nævn

7th International Conference on Agents and Artificial Intelligence

Henning Christiansen (Arrangør)
10 jan. 201512 jan. 2015

Aktivitet: Deltagelse i eller arrangering af en begivenhedOrganisation og deltagelse i konference

Cognitive, linguistic and logical aspects of perspective-taking

Torben Braüner (Arrangør), Patrick Rowan Blackburn (Arrangør), Irina Polyanskaya (Arrangør)
27 maj 2015

Aktivitet: Deltagelse i eller arrangering af en begivenhedOrganisation og deltagelse i konference

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

Torben Braüner (Foredragsholder)
6 jan. 201417 jan. 2014

Aktivitet: Tale eller præsentationForedrag og mundtlige bidrag

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

Torben Braüner (Foredragsholder)
5 dec. 2013

Aktivitet: Tale eller præsentationForedrag og mundtlige bidrag

Invited lecture on hybrid logic at Munich Center for Mathematical Philosophy, Ludwig-Maximilians-Universität München, Germany.

Torben Braüner (Foredragsholder)
17 jan. 2013

Aktivitet: Tale eller præsentationForedrag og mundtlige bidrag

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

Torben Braüner (Foredragsholder)
24 maj 2013

Aktivitet: Tale eller præsentationForedrag og mundtlige bidrag

Ph.d. bedømmelsesudvalg (Ekstern organisation)

Torben Braüner (Formand)
31 okt. 2013

Aktivitet: MedlemsskabMedlemskab af bedømmelsesudvalg