Activities per year
Activities
- 100 - 150 out of 182 results
Search results
-
-
-
Dagstuhl Seminar: Nonmonotonic Reasoning, Answer Set Programming and Constraints
Niemelä, I. (Chair)
2005Activity: Participating in or organising an event types › Chair of a conference, workshop, panel, session, tutorial or event
-
Workshop on Model Checking and Artificial Intelligence
Niemelä, I. (Member)
2005Activity: Participating in or organising an event types › Membership of a scientific or program committee of a conference or seminar
-
International Conference on Logic Programming and Nonmonotonic Reasoning
Niemelä, I. (Chair)
2005Activity: Participating in or organising an event types › Chair of a conference, workshop, panel, session, tutorial or event
-
-
Michael Kaminski
Niemelä, I. (Host)
2005Activity: Hosting a visitor types › Hosting an academic visitor
-
International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Niemelä, I. (Member)
2005Activity: Participating in or organising an event types › Membership of a scientific or program committee of a conference or seminar
-
International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Niemelä, I. (Member)
2005Activity: Participating in or organising an event types › Membership of a scientific or program committee of a conference or seminar
-
Association for Logic Programming (External organisation)
Niemelä, I. (Member)
2005 → 2009Activity: Memberships (typically long-term positions of trust) › Position of trust in a society or network
-
International Conference on Logic Programming
Niemelä, I. (Chair)
2005Activity: Participating in or organising an event types › Chair of a conference, workshop, panel, session, tutorial or event
-
-
International Conference on Theory and Applications of Satisfiability Testing
Niemelä, I. (Member)
2005Activity: Participating in or organising an event types › Membership of a scientific or program committee of a conference or seminar
-
Dagstuhl Seminar: Nonmonotonic Reasoning, Answer Set Programming and Constraints
Niemelä, I. (Chair)
2005Activity: Participating in or organising an event types › Membership of a scientific or program committee of a conference or seminar
-
German Conference on Artificial Intelligence
Niemelä, I. (Member)
2005Activity: Participating in or organising an event types › Membership of a scientific or program committee of a conference or seminar
-
International Workshop on Answer Set Programming
Niemelä, I. (Chair)
2005Activity: Participating in or organising an event types › Chair of a conference, workshop, panel, session, tutorial or event
-
-
Horn Professorship (Texas Tech University) USA
Niemelä, I. (Reviewer)
2005Activity: Academic assessments › Statement of assessment of professorship
-
International Conference on Logic Programming
Niemelä, I. (Member)
2005Activity: Participating in or organising an event types › Membership of a scientific or program committee of a conference or seminar
-
Journal of Artificial Intelligence Research (Journal)
Niemelä, I. (Editorial board member)
Mar 2005 → Feb 2011Activity: Publication peer-review and editorial work types › Membership of an editorial board
-
International Conference on Logic Programming and Nonmonotonic Reasoning
Niemelä, I. (Chair)
2004Activity: Participating in or organising an event types › Chair of a conference, workshop, panel, session, tutorial or event
-
Linköping University
Niemelä, I. (Visiting researcher)
2004Activity: Visiting an external institution types › Visiting an external academic institution
-
International Conference on Logic Programming and Nonmonotonic Reasoning
Niemelä, I. (Chair)
2004Activity: Participating in or organising an event types › Membership of a scientific or program committee of a conference or seminar
-
International Conference on Principles of Knowledge Representation and Reasoning
Niemelä, I. (Member)
2004Activity: Participating in or organising an event types › Membership of a scientific or program committee of a conference or seminar
-
-
Leipzig University
Niemelä, I. (Visiting researcher)
2004Activity: Visiting an external institution types › Visiting an external academic institution
-
International Conference on Logic Programming
Niemelä, I. (Chair)
2004Activity: Participating in or organising an event types › Chair of a conference, workshop, panel, session, tutorial or event
-
International Conference on Logic Programming
Niemelä, I. (Member)
2004Activity: Participating in or organising an event types › Membership of a scientific or program committee of a conference or seminar
-
Associate Professor (Computer Science Department) (Texas Tech University) USA
Niemelä, I. (Reviewer)
2004Activity: Academic assessments › Statement of assessment of professorship
-
National Conference on Artificial Intelligence
Niemelä, I. (Member)
2004Activity: Participating in or organising an event types › Membership of a scientific or program committee of a conference or seminar
-
European Conference on Logics in Artificial Intelligence
Niemelä, I. (Member)
2004Activity: Participating in or organising an event types › Membership of a scientific or program committee of a conference or seminar
-
Victor Khomenko
Niemelä, I. (Host)
2003Activity: Hosting a visitor types › Hosting an academic visitor
-
Allen E. Emerson
Niemelä, I. (Host)
2003Activity: Hosting a visitor types › Hosting an academic visitor
-
-
European Working Group on Answer Set Programming (External organisation)
Niemelä, I. (Member)
2002 → 2005Activity: Memberships (typically long-term positions of trust) › Position of trust in a society or network
-
-
-
-
Leipzig University
Niemelä, I. (Visiting researcher)
2002Activity: Visiting an external institution types › Visiting an external academic institution
-
-
-
Inauguration Celebration of the International Quality Network on Rational Mobile Agents and Systems of Agents, Dresden, 29.1.2002, Germany
Niemelä, I. (Speaker)
2002Activity: Talk or presentation types › Invited academic talk
-
-
University of Kentucky
Niemelä, I. (Visiting researcher)
2002Activity: Visiting an external institution types › Visiting an external academic institution
-
Alessandro Provetti
Niemelä, I. (Host)
2002Activity: Hosting a visitor types › Hosting an academic visitor
-
HeCSE Winter School, Viipuri, 7.-8.1.2002, Russia
Niemelä, I. (Speaker)
2002Activity: Talk or presentation types › Invited academic talk
-
University of Potsdam
Niemelä, I. (Visiting researcher)
2002Activity: Visiting an external institution types › Visiting an external academic institution
-
INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMING AND NON-MONOTONIC REASONING
Niemelä, I. (Member)
2001 → …Activity: Participating in or organising an event types › Membership of a scientific or program committee of a conference or seminar
-
Mirek Truszczynski
Niemelä, I. (Host)
2001Activity: Hosting a visitor types › Hosting an academic visitor
-