Activities per year
Activities
Search results
-
Kunstig intelligens, maskinlæringsalgoritmer, mennesker og etik
Jens Ulrik Hansen (Speaker)
26 Nov 2020Activity: Talk or presentation › Lecture and oral contribution
-
Philosophizing on Big Data, Data Science, and AI
Jens Ulrik Hansen (Speaker)
5 Aug 2019 → 10 Aug 2019Activity: Talk or presentation › Lecture and oral contribution
-
Fairness in Context and Philosophy
Jens Ulrik Hansen (Speaker)
26 Aug 2019 → 30 Aug 2019Activity: Talk or presentation › Lecture and oral contribution
-
Invited talk: Hybrid logic and its Proof-Theory
Torben Braüner (Speaker)
27 Nov 2019Activity: Talk or presentation › Lecture and oral contribution
-
Logical proofs: From mathematics to psychology
Torben Braüner (Speaker)
30 Oct 2019Activity: Talk or presentation › Lecture and oral contribution
-
Big Data - definition, usage and pitfalls
Henrik Bulskov (Speaker)
25 Apr 2019Activity: Talk or presentation › Lecture and oral contribution
-
Poster Presentation: The Sounds of Techno-genesis
Maja Fagerberg Ranten (Speaker), David Kadish (Speaker) & Megan Hines (Speaker)
20 Sep 2019 → 23 Sep 2019Activity: Talk or presentation › Lecture and oral contribution
-
Mapping the concepts of AI, Big Data, and Data Science, and identifying related philosophical problems
Jens Ulrik Hansen (Speaker)
28 Feb 2019 → 2 Mar 2019Activity: Talk or presentation › Lecture and oral contribution
-
Energy-aware software engineering
John Patrick Gallagher (Speaker)
1 Nov 2019Activity: Talk or presentation › Lecture and oral contribution
-
Big Data
Henrik Bulskov (Speaker)
1 Apr 2019Activity: Talk or presentation › Lecture and oral contribution
-
Conference participation with poster presentation and robot demo
Henning Christiansen (Other), Mads Hobye (Other) & Anja Mølle Lindelof (Other)
5 Mar 2019 → 8 Mar 2019Activity: Talk or presentation › Lecture and oral contribution
-
Præsentation: Danser med robotter
Henning Christiansen (Speaker)
5 Sep 2019Activity: Talk or presentation › Lecture and oral contribution
-
Logic in progress talk
Torben Braüner (Speaker)
23 May 2018Activity: Talk or presentation › Lecture and oral contribution
-
Confluence in Constraint Handling Rules (Invited talk)
Maja Hanne Kirkeby (Speaker)
7 Jul 2018Activity: Talk or presentation › Lecture and oral contribution
File -
Præsentation på IDA Universe – Driving IT: Dances with robots
Henning Christiansen (Speaker)
2 Nov 2018Activity: Talk or presentation › Lecture and oral contribution
-
Keynote talk: Hybrid-Logical Proof-Theory: With an Application to False-Belief Tests
Torben Braüner (Speaker)
8 May 2017 → 12 May 2017Activity: Talk or presentation › Lecture and oral contribution
-
Invited mini-course on hybrid logic
Torben Braüner (Speaker)
11 Dec 2017 → 13 Dec 2017Activity: Talk or presentation › Lecture and oral contribution
-
Invited lecture: Deception and Second-Order Theory of Mind
Torben Braüner (Speaker)
9 Jan 2017 → 13 Jan 2017Activity: Talk or presentation › Lecture and oral contribution
-
Invited lecture: Second-order false belief reasoning: Some modal logical analyses
Torben Braüner (Speaker)
17 May 2017Activity: Talk or presentation › Lecture and oral contribution
-
Invited lecture: The application of hybrid logic within cognitive psychology
Torben Braüner (Speaker)
15 Dec 2017Activity: Talk or presentation › Lecture and oral contribution
-
Invited talk: Second-order false-belief reasoning: Some modal-logical analyses
Torben Braüner (Speaker)
23 May 2016 → 25 May 2016Activity: Talk or presentation › Lecture and oral contribution
-
A system for conceptual pathway finding and deductive querying
Henrik Bulskov (Speaker)
27 Oct 2015Activity: Talk or presentation › Lecture and oral contribution
-
Invited talk at the workshop: Proof Theory for Modal Logic: Recent Developments
Torben Braüner (Lecturer)
6 Jan 2014 → 17 Jan 2014Activity: Talk or presentation › Lecture and oral contribution
-
Keynote talk: Hybrid-Logical Proofs: With an Application to False-Belief Tasks
Torben Braüner (Lecturer)
24 May 2013Activity: Talk or presentation › Lecture and oral contribution
-
Invited lecture on hybrid logic at Munich Center for Mathematical Philosophy, Ludwig-Maximilians-Universität München, Germany.
Torben Braüner (Lecturer)
17 Jan 2013Activity: Talk or presentation › Lecture and oral contribution
-
Invited talk at the workshop: False-Belief Tasks and Logic
Torben Braüner (Lecturer)
5 Dec 2013Activity: Talk or presentation › Lecture and oral contribution
-
Semantics Based Cost Analysis
Mads Rosendahl (Lecturer)
19 Oct 2012Activity: Talk or presentation › Lecture and oral contribution
-
Invited mini-course
Torben Braüner (Lecturer)
14 May 2012 → 18 May 2012Activity: Talk or presentation › Lecture and oral contribution
-
Teaching Computer Science at HumTek
Mads Rosendahl (Lecturer)
23 May 2012 → 25 May 2012Activity: Talk or presentation › Lecture and oral contribution
-
Invited talk: Hybrid Logic and Its Proof-Theory
Torben Braüner (Lecturer)
30 Sep 2012Activity: Talk or presentation › Lecture and oral contribution
-
Autonome robotter - beyond Roomba
Mads Rosendahl (Lecturer)
20 Apr 2012Activity: Talk or presentation › Lecture and oral contribution
-
Foredrag: Rule based AI-programming
Henning Christiansen (Speaker)
8 Oct 2012Activity: Talk or presentation › Lecture and oral contribution
-
Arthur Prior’s temporal logic and the origin of contemporary hybrid logic
Torben Braüner (Lecturer)
8 Apr 2011 → 9 Apr 2011Activity: Talk or presentation › Lecture and oral contribution
-
Program Analysis With Regular Tree Languages
John Patrick Gallagher (Lecturer)
19 Jul 2011Activity: Talk or presentation › Lecture and oral contribution
File -
Invited talk: Arthur Prior's temporal logic and contemporary hybrid logic
Torben Braüner (Lecturer)
27 Sep 2011 → 29 Sep 2011Activity: Talk or presentation › Lecture and oral contribution
-
Miniworkshop in the LoSt rojekt
Christian Theil-Have (Other)
4 Mar 2010Activity: Talk or presentation › Lecture and oral contribution
-
LoSt project workshop
Christian Theil-Have (Other)
28 Sep 2010 → 29 Sep 2010Activity: Talk or presentation › Lecture and oral contribution
-
Invited Talk: Descriptive Types and Well-Typings, with an Aside on Model Checking
John Patrick Gallagher (Lecturer)
7 Jul 2010Activity: Talk or presentation › Lecture and oral contribution
-
Abstract interpretation of temporal logic: abstract model checking revisited
John Patrick Gallagher (Lecturer)
19 Aug 2010Activity: Talk or presentation › Lecture and oral contribution
File -
ICLP 2010, International Conference for Logic Programming
Christian Theil-Have (Other)
16 Jul 2010 → 19 Jul 2010Activity: Talk or presentation › Lecture and oral contribution
-
Kvinder tænker ikke logisk: Repræsentation af viden ved hjælp af formel logik
Sine Zambach (Lecturer)
20 Apr 2010Activity: Talk or presentation › Lecture and oral contribution
-
Recent Advances in Natural Language Processing 2009
Christian Theil-Have (Other)
14 Sep 2009 → 16 Sep 2009Activity: Talk or presentation › Lecture and oral contribution
-
Integritet i XML og relationelle databaser - og hvordan det kan understøttes - mere eller mindre automatisk
Henning Christiansen (Lecturer)
18 Jan 2009Activity: Talk or presentation › Lecture and oral contribution
-
Hvordan virker en rejseplanner?: Del af NATDAG, arrangement for gymnasieelever
Henning Christiansen (Lecturer)
4 Mar 2009Activity: Talk or presentation › Lecture and oral contribution
-
Workshop “Logic and Ontology”
Sine Zambach (Lecturer)
24 Nov 2009Activity: Talk or presentation › Lecture and oral contribution
-
ICLP 2009
Christian Theil-Have (Other)
15 Jul 2009Activity: Talk or presentation › Lecture and oral contribution
-
Hvordan virker en rejseplanner?: Som led i NatDag på RUC; arrangementer for gymnasieelever
Henning Christiansen (Lecturer)
23 Sep 2009Activity: Talk or presentation › Lecture and oral contribution
-
Probabilistic-logic models for analysis of language and biological sequence data
Henning Christiansen (Lecturer)
17 Apr 2009Activity: Talk or presentation › Lecture and oral contribution
-
DANSAS 2009
Mads Rosendahl (Speaker)
20 Aug 2009Activity: Talk or presentation › Lecture and oral contribution
-
Hvordan virker en rejseplanner?: Preæsentation for gynmasieeelever; besøgsdag for Odsherred Gymnasium
Henning Christiansen (Lecturer)
5 Oct 2009Activity: Talk or presentation › Lecture and oral contribution