Theory and Practice of Logic Programming

Tutkimustuotokset

  1. 2017
  2. Julkaistu

    Clingo goes linear constraints over reals and integers

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

    Tutkimustuotos: Lehtiartikkelivertaisarvioitu

  3. 2016
  4. Julkaistu

    Stable-unstable semantics: Beyond NP with normal logic programs

    Bogaerts, B., Janhunen, T. & Tasharrofi, S., 1 syyskuuta 2016, julkaisussa : Theory and Practice of Logic Programming. 16, 5-6, s. 570-586 17 Sivumäärä

    Tutkimustuotos: Lehtiartikkelivertaisarvioitu

  5. Julkaistu

    On Local Domain Symmetry for Model Expansion

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

    Tutkimustuotos: Lehtiartikkelivertaisarvioitu

  6. 2015
  7. Julkaistu

    Abstract Gringo

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

    Tutkimustuotos: Lehtiartikkelivertaisarvioitu

  8. Julkaistu

    Optimizing phylogenetic supertrees using answer set programming

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

    Tutkimustuotos: Lehtiartikkelivertaisarvioitu

  9. Julkaistu

    Rewriting recursive aggregates in answer set programming: back to monotonicity

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

    Tutkimustuotos: Lehtiartikkelivertaisarvioitu

  10. 2008
  11. Julkaistu

    Achieving compositionality of the stable model semantics for Smodels programs

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

    Tutkimustuotos: Lehtiartikkelivertaisarvioitu

  12. Julkaistu

    Extended ASP Tableaux and Rule Redundancy in Normal Logic Programs

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

    Tutkimustuotos: Lehtiartikkelivertaisarvioitu

  13. Julkaistu

    Logic Programs with Monotone Abstract Constraint Atoms

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

    Tutkimustuotos: Lehtiartikkelivertaisarvioitu

  14. 2007
  15. Julkaistu

    Automated Verification of Weak Equivalence within the Smodels System

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

    Tutkimustuotos: Lehtiartikkelivertaisarvioitu

  16. 2003
  17. Julkaistu

    Bounded LTL Model Checking with Stable Models

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

    Tutkimustuotos: Lehtiartikkelivertaisarvioitu

ID: 406915