Programming, Logic and Intelligent Systems

Activities 1999 2019

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

Integrity Checking and Maintenance with Active Rules in XML Databases

Henning Christiansen (Lecturer)
2 Jul 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 speaker, PROLE'2007, Zaragoza, Spain

John Patrick Gallagher (Lecturer)
14 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

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

Introductory lecture on hybrid logic

Torben Braüner (Lecturer)
6 Aug 200710 Aug 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

Invited tutorial on temporal logic and hybrid logic

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

Activity: Talk or presentationLecture and oral contribution