Treffer 1 - 20 von 228 für Suche 'Niemelä, Ilkka', Suchdauer: 0,76s Treffer weiter einschränken
  1. 1
    Logic Programming and Nonmonotonic Reasoning: 7th International Conference, LPNMR 2004, Fort Lauderdale, FL, USA, January 6-8, 2004, Proceedings

    Logic Programming and Nonmonotonic Reasoning: 7th International Conference, LPNMR 2004, Fort Lauderdale, FL, USA, January 6-8, 2004, Proceedings von Lifschitz, Vladimir, Niemelä, Ilkka


    Volltext
    Buch

    Zu den Favoriten
    Gespeichert in:
  2. 2
    The Answer Set Programming Paradigm

    The Answer Set Programming Paradigm von Janhunen, Tomi, Niemelä, Ilkka

    Veröffentlicht in The AI magazine

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Stable models and difference logic

    Stable models and difference logic von Niemela, Ilkka


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Answer Set Programming: A Declarative Approach to Solving Search Problems

    Answer Set Programming: A Declarative Approach to Solving Search Problems von Niemelä, Ilkka


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Preferences and Nonmonotonic Reasoning

    Preferences and Nonmonotonic Reasoning von Brewka, Gerhard, Niemelä, Ilkka, Truszczyński, Miroslaw

    Veröffentlicht in The AI magazine

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Partitioning SAT Instances for Distributed Solving

    Partitioning SAT Instances for Distributed Solving von Hyvärinen, Antti E. J., Junttila, Tommi, Niemelä, Ilkka


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  7. 7
    Logic Programming: 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007 : Proceedings

    Logic Programming: 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007 : Proceedings von Hutchison, David, Kanade, Takeo, Kittler, Josef

    Volltext
    Buch

    Zu den Favoriten
    Gespeichert in:
  8. 8
    Solving parity games by a reduction to SAT

    Solving parity games by a reduction to SAT von Heljanko, Keijo, Keinänen, Misa, Lange, Martin, Niemelä, Ilkka


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  9. 9
    Logics in Artificial Intelligence: 12th European Conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010, Proceedings

    Logics in Artificial Intelligence: 12th European Conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010, Proceedings von Janhunen, Tomi, Niemelä, Ilkka

    Volltext
    Buch

    Zu den Favoriten
    Gespeichert in:
  10. 10
    Computing Stable Models via Reductions to Difference Logic

    Computing Stable Models via Reductions to Difference Logic von Janhunen, Tomi, Niemelä, Ilkka, Sevalnev, Mark


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  11. 11
    Answer Set Programming: A Declarative Approach to Solving Challenging Search Problems

    Answer Set Programming: A Declarative Approach to Solving Challenging Search Problems von Niemelä, I.


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  12. 12
    Logic programs with monotone abstract constraint atoms

    Logic programs with monotone abstract constraint atoms von MAREK, VICTOR W., NIEMELÄ, ILKKA, TRUSZCZYŃSKI, MIROSŁAW


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  13. 13
    Logic programs with stable model semantics as a constraint programming paradigm

    Logic programs with stable model semantics as a constraint programming paradigm von Niemelä, Ilkka


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  14. 14
    Random vs. Structure-Based Testing of Answer-Set Programs: An Experimental Comparison

    Random vs. Structure-Based Testing of Answer-Set Programs: An Experimental Comparison von Janhunen, Tomi, Niemelä, Ilkka, Oetsch, Johannes, Pührer, Jörg, Tompits, Hans


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  15. 15
    On testing answer-set programs

    On testing answer-set programs von Janhunen, Tomi, Niemelä, Ilkka, Oetsch, Johannes, Pührer, Jörg, Tompits, Hans

    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  16. 16
    Introducing Real Variables and Integer Objective Functions to Answer Set Programming

    Introducing Real Variables and Integer Objective Functions to Answer Set Programming von Liu, Guohua, Janhunen, Tomi, Niemelä, Ilkka


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  17. 17
    Cumulativity Tailored for Nonmonotonic Reasoning

    Cumulativity Tailored for Nonmonotonic Reasoning von Janhunen, Tomi, Niemelä, Ilkka


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  18. 18
    The effect of structural branching on the efficiency of clause learning SAT solving: An experimental study

    The effect of structural branching on the efficiency of clause learning SAT solving: An experimental study von Järvisalo, Matti, Niemelä, Ilkka

    Veröffentlicht in Journal of algorithms

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  19. 19
    A Distribution Method for Solving SAT in Grids

    A Distribution Method for Solving SAT in Grids von Hyvärinen, Antti E. J., Junttila, Tommi, Niemelä, Ilkka


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  20. 20
    Counterexample Guided Abstraction Refinement Algorithm for Propositional Circumscription

    Counterexample Guided Abstraction Refinement Algorithm for Propositional Circumscription von Janota, Mikoláš, Grigore, Radu, Marques-Silva, Joao


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: