Theory and Practice of Logic Programming

Research outputs

  1. 2017
  2. Published

    Clingo goes linear constraints over reals and integers

    Janhunen, T., Kaminski, R., Ostrowski, M., Schellhorn, S., Wanko, P. & Schaub, T., 2017, In : Theory and Practice of Logic Programming. 17, 5-6, p. 872-888

    Research output: Contribution to journalArticleScientificpeer-review

  3. 2016
  4. Published

    Stable-unstable semantics: Beyond NP with normal logic programs

    Bogaerts, B., Janhunen, T. & Tasharrofi, S., 1 Sep 2016, In : Theory and Practice of Logic Programming. 16, 5-6, p. 570-586 17 p.

    Research output: Contribution to journalArticleScientificpeer-review

  5. Published

    On Local Domain Symmetry for Model Expansion

    Devriendt, J., Bogaerts, B., Bruynooghe, M. & Denecker, M., 2016, In : Theory and Practice of Logic Programming. 16, 5-6, p. 636-652

    Research output: Contribution to journalArticleScientificpeer-review

  6. 2015
  7. Published

    Abstract Gringo

    Gebser, M., Harrison, A., Kaminski, R., Lifschitz, V. & Schaub, T., 2015, In : Theory and Practice of Logic Programming. 15, 4-5, p. 449-463

    Research output: Contribution to journalArticleScientificpeer-review

  8. Published

    Optimizing phylogenetic supertrees using answer set programming

    Koponen, L., Oikarinen, E., Janhunen, T. & Säilä, L., 2015, In : Theory and Practice of Logic Programming. 15, 4-5, p. 604-619

    Research output: Contribution to journalArticleScientificpeer-review

  9. Published

    Rewriting recursive aggregates in answer set programming: back to monotonicity

    Alviano, M., Faber, W. & Gebser, M., 2015, In : Theory and Practice of Logic Programming. 15, 4-5, p. 559-573

    Research output: Contribution to journalArticleScientificpeer-review

  10. 2008
  11. Published

    Achieving compositionality of the stable model semantics for Smodels programs

    Oikarinen, E. & Janhunen, T., 2008, In : Theory and Practice of Logic Programming. 8, 5-6, p. 717-761

    Research output: Contribution to journalArticleScientificpeer-review

  12. Published

    Extended ASP Tableaux and Rule Redundancy in Normal Logic Programs

    Järvisalo, M. & Oikarinen, E., 2008, In : Theory and Practice of Logic Programming. 8, 5-6, p. 691-716

    Research output: Contribution to journalArticleScientificpeer-review

  13. Published

    Logic Programs with Monotone Abstract Constraint Atoms

    Marek, V., Niemelä, I. & Truszczynski, M., 2008, In : Theory and Practice of Logic Programming. 8, 2, p. 167-199 33 p.

    Research output: Contribution to journalArticleScientificpeer-review

  14. 2007
  15. Published

    Automated Verification of Weak Equivalence within the Smodels System

    Janhunen, T. & Oikarinen, E., 2007, In : Theory and Practice of Logic Programming. 7, 6, p. 697-744

    Research output: Contribution to journalArticleScientificpeer-review

  16. 2003
  17. Published

    Bounded LTL Model Checking with Stable Models

    Heljanko, K. & Niemelä, I., 2003, In : Theory and Practice of Logic Programming. 3, 4 & 5, p. 519-550

    Research output: Contribution to journalArticleScientificpeer-review

ID: 406915