Activities per year
Activities 1999 2018
- 1 - 50 out of 54 results
- Start date (descending)
Confluence in Constraint Handling Rules (Invited talk)
Kirkeby, M. H. (Speaker)7 Jul 2018
Activity: Lecture and oral contribution
File
Keynote talk: Hybrid-Logical Proof-Theory: With an Application to False-Belief Tests
Braüner, T. (Speaker)8 May 2017 → 12 May 2017
Activity: Lecture and oral contribution
Invited lecture: Deception and Second-Order Theory of Mind
Braüner, T. (Speaker)9 Jan 2017 → 13 Jan 2017
Activity: Lecture and oral contribution
Invited talk: Second-order false-belief reasoning: Some modal-logical analyses
Braüner, T. (Speaker)23 May 2016 → 25 May 2016
Activity: Lecture and oral contribution
Invited talk at the workshop: Proof Theory for Modal Logic: Recent Developments
Braüner, T. (Lecturer)6 Jan 2014 → 17 Jan 2014
Activity: Lecture and oral contribution
Invited lecture on hybrid logic at Munich Center for Mathematical Philosophy, Ludwig-Maximilians-Universität München, Germany.
Braüner, T. (Lecturer)17 Jan 2013
Activity: Lecture and oral contribution
Invited talk at the workshop: False-Belief Tasks and Logic
Braüner, T. (Lecturer)5 Dec 2013
Activity: Lecture and oral contribution
Keynote talk: Hybrid-Logical Proofs: With an Application to False-Belief Tasks
Braüner, T. (Lecturer)24 May 2013
Activity: Lecture and oral contribution
Teaching Computer Science at HumTek
Rosendahl, M. (Lecturer)23 May 2012 → 25 May 2012
Activity: Lecture and oral contribution
Autonome robotter - beyond Roomba
Rosendahl, M. (Lecturer)20 Apr 2012
Activity: Lecture and oral contribution
Invited mini-course
Braüner, T. (Lecturer)14 May 2012 → 18 May 2012
Activity: Lecture and oral contribution
Semantics Based Cost Analysis
Rosendahl, M. (Lecturer)19 Oct 2012
Activity: Lecture and oral contribution
Invited talk: Hybrid Logic and Its Proof-Theory
Braüner, T. (Lecturer)30 Sep 2012
Activity: Lecture and oral contribution
Arthur Prior’s temporal logic and the origin of contemporary hybrid logic
Braüner, T. (Lecturer)8 Apr 2011 → 9 Apr 2011
Activity: Lecture and oral contribution
Invited talk: Arthur Prior's temporal logic and contemporary hybrid logic
Braüner, T. (Lecturer)27 Sep 2011 → 29 Sep 2011
Activity: Lecture and oral contribution
Program Analysis With Regular Tree Languages
Gallagher, J. P. (Lecturer)19 Jul 2011
Activity: Lecture and oral contribution
File
Invited Talk: Descriptive Types and Well-Typings, with an Aside on Model Checking
Gallagher, J. P. (Lecturer)7 Jul 2010
Activity: Lecture and oral contribution
Kvinder tænker ikke logisk: Repræsentation af viden ved hjælp af formel logik
Sine Zambach (Lecturer)20 Apr 2010
Activity: Lecture and oral contribution
Miniworkshop in the LoSt rojekt
Theil-Have, C. (Other)4 Mar 2010
Activity: Lecture and oral contribution
Abstract interpretation of temporal logic: abstract model checking revisited
Gallagher, J. P. (Lecturer)19 Aug 2010
Activity: Lecture and oral contribution
File
ICLP 2010, International Conference for Logic Programming
Theil-Have, C. (Other)16 Jul 2010 → 19 Jul 2010
Activity: Lecture and oral contribution
LoSt project workshop
Theil-Have, C. (Other)28 Sep 2010 → 29 Sep 2010
Activity: Lecture and oral contribution
Hvordan virker en rejseplanner?: Som led i NatDag på RUC; arrangementer for gymnasieelever
Christiansen, H. (Lecturer)23 Sep 2009
Activity: Lecture and oral contribution
Integritet i XML og relationelle databaser - og hvordan det kan understøttes - mere eller mindre automatisk
Christiansen, H. (Lecturer)18 Jan 2009
Activity: Lecture and oral contribution
Hvordan virker en rejseplanner?: Del af NATDAG, arrangement for gymnasieelever
Christiansen, H. (Lecturer)4 Mar 2009
Activity: Lecture and oral contribution
Hvordan virker en rejseplanner?: Preæsentation for gynmasieeelever; besøgsdag for Odsherred Gymnasium
Christiansen, H. (Lecturer)5 Oct 2009
Activity: Lecture and oral contribution
Terminologiske ontologier og beskrivelseslogik: Et eksperiment inden for domænet enzymkemi
Sine Zambach (Speaker)9 Jun 2009 → 10 Jun 2009
Activity: Lecture and oral contribution
Workshop “Logic and Ontology”
Sine Zambach (Lecturer)24 Nov 2009
Activity: Lecture and oral contribution
Recent Advances in Natural Language Processing 2009
Theil-Have, C. (Other)14 Sep 2009 → 16 Sep 2009
Activity: Lecture and oral contribution
IT og naturvidenskab - et fornuftsægteskab?
Sine Zambach (Lecturer)5 Mar 2009
Activity: Lecture and oral contribution
Probabilistic-logic models for analysis of language and biological sequence data
Christiansen, H. (Lecturer)17 Apr 2009
Activity: Lecture and oral contribution
Prioritized Abduction with CHR
Christiansen, H. (Lecturer)14 Jul 2008
Activity: Lecture and oral contribution
Integritet i XML og relationelle databaser
Christiansen, H. (Lecturer)11 Jan 2008
Activity: Lecture and oral contribution
Invited Talk: Scalable Static Analysis based on Regular Types
Gallagher, J. P. (Lecturer)Oct 2008
Activity: Lecture and oral contribution
Logic Grammars extended with Constraint Logic: Invited tutorial
Christiansen, H. (Lecturer)19 Sep 2008
Activity: Lecture and oral contribution
Introduction to Constraints and Language Processing
Christiansen, H. (Lecturer)11 Aug 2008
Activity: Lecture and oral contribution
Preprocessing for Optimization of Probabilistic-Logic Models for Biological Sequence Analysis
Christiansen, H. (Lecturer)25 Jun 2008
Activity: Lecture and oral contribution
Invited talk: Arthur Prior's temporal logic and the origin of contemporary hybrid logic
Braüner, T. (Lecturer)4 Dec 2008 → 6 Dec 2008
Activity: Lecture and oral contribution
Probabilistic Abductive Logic Programming implemented with Constraint Handling Rules
Christiansen, H. (Lecturer)27 Mar 2008
Activity: Lecture and oral contribution
Invited talk: From classical to intuitionistic hybrid logic
Braüner, T. (Lecturer)23 Jun 2008
Activity: Lecture and oral contribution
Probabilistic Abductive Logic Programming in Constraint Handling Rules
Christiansen, H. (Lecturer)20 Jun 2008
Activity: Lecture and oral contribution
Paradigms of Programming: Day of Science October 3rd, 2007
Rosendahl, M. (Lecturer)3 Oct 2007
Activity: Lecture and oral contribution
Limits on computing: Day of Science lecture March 7th 2007
Rosendahl, M. (Lecturer)7 Mar 2007
Activity: Lecture and oral contribution
Logic-statistic modeling and analysis of biological sequence data: a research agenda
Christiansen, H. (Lecturer)15 Sep 2007
Activity: Lecture and oral contribution
Invited speaker, PROLE'2007, Zaragoza, Spain
Gallagher, J. P. (Lecturer)14 Sep 2007
Activity: Lecture and oral contribution
From use cases to UML class diagrams using logic grammars and constraints
Christiansen, H. (Lecturer)27 Sep 2007
Activity: Lecture and oral contribution
Introductory lecture on hybrid logic
Braüner, T. (Lecturer)6 Aug 2007 → 10 Aug 2007
Activity: Lecture and oral contribution
Integrity Checking and Maintenance with Active Rules in XML Databases
Christiansen, H. (Lecturer)2 Jul 2007
Activity: Lecture and oral contribution