Activities per year
Activities
- 1 - 50 out of 52 results
Search results
-
International Conference on Logic Programming
Ilkka Niemelä (Chair)
2014Activity: Participating in or organising an event types › Membership of a scientific or program committee of a conference or seminar
-
International Conference on Applications of Declarative Programming and Knowledge Management
Ilkka Niemelä (Member)
2011Activity: 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
Ilkka Niemelä (Member)
2011Activity: 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
Ilkka Niemelä (Organiser)
2010Activity: 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
Ilkka Niemelä (Member)
2010Activity: Participating in or organising an event types › Membership of a scientific or program committee of a conference or seminar
-
Special Session on Declarative Programming Paradigms and Systems
Ilkka Niemelä (Member)
2010Activity: 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
Ilkka Niemelä (Member)
2010 → …Activity: Participating in or organising an event types › Membership of a scientific or program committee of a conference or seminar
-
International Workshop on Logic and Search
Ilkka Niemelä (Member)
2010Activity: 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
Ilkka Niemelä (Chair)
2010Activity: Participating in or organising an event types › Membership of a scientific or program committee of a conference or seminar
-
International Symposium on Practical Aspects of Declarative Languages
Ilkka Niemelä (Member)
2009Activity: Participating in or organising an event types › Membership of a scientific or program committee of a conference or seminar
-
International Symposium on Rules, Applications, and Interoperability
Ilkka Niemelä (Member)
2009Activity: 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
Ilkka Niemelä (Member)
2009Activity: Participating in or organising an event types › Membership of a scientific or program committee of a conference or seminar
-
Workshop on Answer Set Programming and Other Computing Paradigms
Ilkka Niemelä (Member)
2009Activity: Participating in or organising an event types › Membership of a scientific or program committee of a conference or seminar
-
International Joint Conference on Artificial Intelligence
Ilkka Niemelä (Member)
2009Activity: Participating in or organising an event types › Membership of a scientific or program committee of a conference or seminar
-
Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion
Ilkka Niemelä (Member)
2009Activity: 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
Ilkka Niemelä (Member)
2008Activity: Participating in or organising an event types › Membership of a scientific or program committee of a conference or seminar
-
AAAI Conference on Artificial Intelligence
Ilkka Niemelä (Member)
2008Activity: Participating in or organising an event types › Membership of a scientific or program committee of a conference or seminar
-
International Symposium on Rule Interchange and Applications
Ilkka Niemelä (Member)
2008Activity: Participating in or organising an event types › Membership of a scientific or program committee of a conference or seminar
-
European Conference on Artificial Intelligence
Ilkka Niemelä (Member)
2008Activity: Participating in or organising an event types › Membership of a scientific or program committee of a conference or seminar
-
International Workshop on Non-Monotonic Reasoning
Ilkka Niemelä (Member)
2008Activity: Participating in or organising an event types › Membership of a scientific or program committee of a conference or seminar
-
Workshop on Answer Set Programming and Other Computing Paradigms
Ilkka Niemelä (Member)
2008Activity: Participating in or organising an event types › Membership of a scientific or program committee of a conference or seminar
-
International Workshop on Logic and Search
Ilkka Niemelä (Member)
2008Activity: 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
Ilkka Niemelä (Member)
2008Activity: 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
Ilkka Niemelä (Member)
2007Activity: Participating in or organising an event types › Membership of a scientific or program committee of a conference or seminar
-
International Conference on Logic Programming
Ilkka Niemelä (Chair)
2007Activity: Participating in or organising an event types › Membership of a scientific or program committee of a conference or seminar
-
International Conference on Applications of Declarative Programming and Knowledge Management
Ilkka Niemelä (Member)
2007Activity: 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
Ilkka Niemelä (Member)
2007Activity: Participating in or organising an event types › Membership of a scientific or program committee of a conference or seminar
-
International Symposium on Rule Interchange and Applications
Ilkka Niemelä (Member)
2007Activity: Participating in or organising an event types › Membership of a scientific or program committee of a conference or seminar
-
Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion
Ilkka Niemelä (Member)
2007Activity: Participating in or organising an event types › Membership of a scientific or program committee of a conference or seminar
-
Software and Services Variability Management Workshop
Ilkka Niemelä (Member)
2007Activity: Participating in or organising an event types › Membership of a scientific or program committee of a conference or seminar
-
Workshop on Search and Logic
Ilkka Niemelä (Member)
2006Activity: Participating in or organising an event types › Membership of a scientific or program committee of a conference or seminar
-
International Workshop on Non-Monotonic Reasoning
Ilkka Niemelä (Chair)
2006Activity: Participating in or organising an event types › Membership of a scientific or program committee of a conference or seminar
-
International Symposium on the Foundations of Information and Knowledge Systems
Ilkka Niemelä (Member)
2006Activity: Participating in or organising an event types › Membership of a scientific or program committee of a conference or seminar
-
European Conference on Artificial Intelligence
Ilkka Niemelä (Member)
2006Activity: 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
Ilkka Niemelä (Member)
2006Activity: Participating in or organising an event types › Membership of a scientific or program committee of a conference or seminar
-
International Joint Conference on Automated Reasoning
Ilkka Niemelä (Member)
2006Activity: Participating in or organising an event types › Membership of a scientific or program committee of a conference or seminar
-
International Conference on Automated Deduction
Ilkka Niemelä (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 for Programming, Artificial Intelligence and Reasoning
Ilkka Niemelä (Member)
2005Activity: Participating in or organising an event types › Membership of a scientific or program committee of a conference or seminar
-
Workshop on Model Checking and Artificial Intelligence
Ilkka Niemelä (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
Ilkka Niemelä (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
Ilkka Niemelä (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
Ilkka Niemelä (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
Ilkka Niemelä (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
Ilkka Niemelä (Member)
2005Activity: Participating in or organising an event types › Membership of a scientific or program committee of a conference or seminar
-
International Conference on Theory and Applications of Satisfiability Testing
Ilkka Niemelä (Member)
2005Activity: 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
Ilkka Niemelä (Member)
2004Activity: 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
Ilkka Niemelä (Chair)
2004Activity: Participating in or organising an event types › Membership of a scientific or program committee of a conference or seminar
-
International Conference on Logic Programming
Ilkka Niemelä (Member)
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
Ilkka Niemelä (Member)
2004Activity: Participating in or organising an event types › Membership of a scientific or program committee of a conference or seminar
-
National Conference on Artificial Intelligence
Ilkka Niemelä (Member)
2004Activity: Participating in or organising an event types › Membership of a scientific or program committee of a conference or seminar