Programmering, logik og intelligente systemer

Aktiviteter 1999 2019

Filter
Foredrag og mundtlige bidrag

Big Data - definition, usage and pitfalls

Henrik Bulskov (Oplægsholder)
25 apr. 2019

Aktivitet: Tale eller præsentationForedrag og mundtlige bidrag

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

Big Data

Henrik Bulskov (Oplægsholder)
1 apr. 2019

Aktivitet: Tale eller præsentationForedrag og mundtlige bidrag

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

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

Invited mini-course on hybrid logic

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

Aktivitet: Tale eller præsentationForedrag og mundtlige bidrag

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

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

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: 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

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

A system for conceptual pathway finding and deductive querying

Henrik Bulskov (Oplægsholder)
27 okt. 2015

Aktivitet: Tale eller præsentationForedrag og mundtlige bidrag

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 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

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

Teaching Computer Science at HumTek

Mads Rosendahl (Foredragsholder)
23 maj 201225 maj 2012

Aktivitet: Tale eller præsentationForedrag og mundtlige bidrag

Semantics Based Cost Analysis

Mads Rosendahl (Foredragsholder)
19 okt. 2012

Aktivitet: Tale eller præsentationForedrag og mundtlige bidrag

Invited talk: Hybrid Logic and Its Proof-Theory

Torben Braüner (Foredragsholder)
30 sep. 2012

Aktivitet: Tale eller præsentationForedrag og mundtlige bidrag

Invited mini-course

Torben Braüner (Foredragsholder)
14 maj 201218 maj 2012

Aktivitet: Tale eller præsentationForedrag og mundtlige bidrag

Autonome robotter - beyond Roomba

Mads Rosendahl (Foredragsholder)
20 apr. 2012

Aktivitet: Tale eller præsentationForedrag og mundtlige bidrag

Invited talk: Arthur Prior's temporal logic and contemporary hybrid logic

Torben Braüner (Foredragsholder)
27 sep. 201129 sep. 2011

Aktivitet: Tale eller præsentationForedrag og mundtlige bidrag

Program Analysis With Regular Tree Languages

John Patrick Gallagher (Foredragsholder)
19 jul. 2011

Aktivitet: Tale eller præsentationForedrag og mundtlige bidrag

Fil

Arthur Prior’s temporal logic and the origin of contemporary hybrid logic

Torben Braüner (Foredragsholder)
8 apr. 20119 apr. 2011

Aktivitet: Tale eller præsentationForedrag og mundtlige bidrag

LoSt project workshop

Christian Theil-Have (Andet)
28 sep. 201029 sep. 2010

Aktivitet: Tale eller præsentationForedrag og mundtlige bidrag

Miniworkshop in the LoSt rojekt

Christian Theil-Have (Andet)
4 mar. 2010

Aktivitet: Tale eller præsentationForedrag og mundtlige bidrag

ICLP 2010, International Conference for Logic Programming

Christian Theil-Have (Andet)
16 jul. 201019 jul. 2010

Aktivitet: Tale eller præsentationForedrag og mundtlige bidrag

Abstract interpretation of temporal logic: abstract model checking revisited

John Patrick Gallagher (Foredragsholder)
19 aug. 2010

Aktivitet: Tale eller præsentationForedrag og mundtlige bidrag

Fil

Invited Talk: Descriptive Types and Well-Typings, with an Aside on Model Checking

John Patrick Gallagher (Foredragsholder)
7 jul. 2010

Aktivitet: Tale eller præsentationForedrag og mundtlige bidrag

Kvinder tænker ikke logisk: Repræsentation af viden ved hjælp af formel logik

Sine Zambach (Foredragsholder)
20 apr. 2010

Aktivitet: Tale eller præsentationForedrag og mundtlige bidrag

Hvordan virker en rejseplanner?: Som led i NatDag på RUC; arrangementer for gymnasieelever

Henning Christiansen (Foredragsholder)
23 sep. 2009

Aktivitet: Tale eller præsentationForedrag og mundtlige bidrag

  IT og naturvidenskab - et fornuftsægteskab?

Sine Zambach (Foredragsholder)
5 mar. 2009

Aktivitet: Tale eller præsentationForedrag og mundtlige bidrag

Probabilistic-logic models for analysis of language and biological sequence data

Henning Christiansen (Foredragsholder)
17 apr. 2009

Aktivitet: Tale eller præsentationForedrag og mundtlige bidrag

Terminologiske ontologier og beskrivelseslogik: Et eksperiment inden for domænet enzymkemi

Sine Zambach (Oplægsholder)
9 jun. 200910 jun. 2009

Aktivitet: Tale eller præsentationForedrag og mundtlige bidrag

Workshop “Logic and Ontology”

Sine Zambach (Foredragsholder)
24 nov. 2009

Aktivitet: Tale eller præsentationForedrag og mundtlige bidrag

DANSAS 2009

Mads Rosendahl (Oplægsholder)
20 aug. 2009

Aktivitet: Tale eller præsentationForedrag og mundtlige bidrag

Recent Advances in Natural Language Processing 2009

Christian Theil-Have (Andet)
14 sep. 200916 sep. 2009

Aktivitet: Tale eller præsentationForedrag og mundtlige bidrag

Hvordan virker en rejseplanner?: Del af NATDAG, arrangement for gymnasieelever

Henning Christiansen (Foredragsholder)
4 mar. 2009

Aktivitet: Tale eller præsentationForedrag og mundtlige bidrag

Integritet i XML og relationelle databaser - og hvordan det kan understøttes - mere eller mindre automatisk

Henning Christiansen (Foredragsholder)
18 jan. 2009

Aktivitet: Tale eller præsentationForedrag og mundtlige bidrag

Hvordan virker en rejseplanner?: Preæsentation for gynmasieeelever; besøgsdag for Odsherred Gymnasium

Henning Christiansen (Foredragsholder)
5 okt. 2009

Aktivitet: Tale eller præsentationForedrag og mundtlige bidrag

ICLP 2009

Christian Theil-Have (Andet)
15 jul. 2009

Aktivitet: Tale eller præsentationForedrag og mundtlige bidrag

Introduction to Constraints and Language Processing

Henning Christiansen (Foredragsholder)
11 aug. 2008

Aktivitet: Tale eller præsentationForedrag og mundtlige bidrag

Probabilistic Abductive Logic Programming implemented with Constraint Handling Rules

Henning Christiansen (Foredragsholder)
27 mar. 2008

Aktivitet: Tale eller præsentationForedrag og mundtlige bidrag

Invited talk: Arthur Prior's temporal logic and the origin of contemporary hybrid logic

Torben Braüner (Foredragsholder)
4 dec. 20086 dec. 2008

Aktivitet: Tale eller præsentationForedrag og mundtlige bidrag

Prioritized Abduction with CHR

Henning Christiansen (Foredragsholder)
14 jul. 2008

Aktivitet: Tale eller præsentationForedrag og mundtlige bidrag

Invited Talk: Scalable Static Analysis based on Regular Types

John Patrick Gallagher (Foredragsholder)
okt. 2008

Aktivitet: Tale eller præsentationForedrag og mundtlige bidrag

Probabilistic Abductive Logic Programming in Constraint Handling Rules

Henning Christiansen (Foredragsholder)
20 jun. 2008

Aktivitet: Tale eller præsentationForedrag og mundtlige bidrag

Preprocessing for Optimization of Probabilistic-Logic Models for Biological Sequence Analysis

Henning Christiansen (Foredragsholder)
25 jun. 2008

Aktivitet: Tale eller præsentationForedrag og mundtlige bidrag

Invited talk: From classical to intuitionistic hybrid logic

Torben Braüner (Foredragsholder)
23 jun. 2008

Aktivitet: Tale eller præsentationForedrag og mundtlige bidrag