Programming, Logic and Intelligent Systems

Activities 1999 2019

Filter
Lecture and oral contribution

Logic Grammars extended with Constraint Logic: Invited tutorial

Henning Christiansen (Lecturer)
19 Sep 2008

Activity: Talk or presentationLecture and oral contribution

Integritet i XML og relationelle databaser

Henning Christiansen (Lecturer)
11 Jan 2008

Activity: Talk or presentationLecture and oral contribution

Introductory lecture on hybrid logic

Torben Braüner (Lecturer)
6 Aug 200710 Aug 2007

Activity: Talk or presentationLecture and oral contribution

On Browsing Domain Ontologies for Information Base Content

Henrik Bulskov (Speaker)
18 Jun 200721 Jun 2007

Activity: Talk or presentationLecture and oral contribution

Reasoning about Use Cases using Logic Grammars and Constraints

Henning Christiansen (Lecturer)
18 Sep 2007

Activity: Talk or presentationLecture and oral contribution

Logic-statistic modeling and analysis of biological sequence data: a research agenda

Henning Christiansen (Lecturer)
15 Sep 2007

Activity: Talk or presentationLecture and oral contribution

On Browsing Domain Ontologies for Information Base Content

Troels Andreasen (Speaker)
18 Jun 200721 Jun 2007

Activity: Talk or presentationLecture and oral contribution

Integrity Checking and Maintenance with Active Rules in XML Databases

Henning Christiansen (Lecturer)
2 Jul 2007

Activity: Talk or presentationLecture and oral contribution

Limits on computing: Day of Science lecture March 7th 2007

Mads Rosendahl (Lecturer)
7 Mar 2007

Activity: Talk or presentationLecture and oral contribution

Paradigms of Programming: Day of Science October 3rd, 2007

Mads Rosendahl (Lecturer)
3 Oct 2007

Activity: Talk or presentationLecture and oral contribution

Invited speaker, PROLE'2007, Zaragoza, Spain

John Patrick Gallagher (Lecturer)
14 Sep 2007

Activity: Talk or presentationLecture and oral contribution

From use cases to UML class diagrams using logic grammars and constraints

Henning Christiansen (Lecturer)
27 Sep 2007

Activity: Talk or presentationLecture and oral contribution

Invited tutorial on temporal logic and hybrid logic

Torben Braüner (Lecturer)
7 Nov 20029 Nov 2002

Activity: Talk or presentationLecture and oral contribution