17 found
Order:
  1.  8
    A unifying approach to temporal constraint reasoning.Peter Jonsson & Christer Bäckström - 1998 - Artificial Intelligence 102 (1):143-155.
  2.  5
    Solving infinite-domain CSPs using the patchwork property.Konrad K. Dabrowski, Peter Jonsson, Sebastian Ordyniak & George Osipov - 2023 - Artificial Intelligence 317 (C):103880.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  3.  4
    Twenty-one large tractable subclasses of Allen's algebra.Thomas Drakengren & Peter Jonsson - 1997 - Artificial Intelligence 93 (1-2):297-319.
  4.  12
    Acyclic orders, partition schemes and CSPs: Unified hardness proofs and improved algorithms.Peter Jonsson, Victor Lagerkvist & George Osipov - 2021 - Artificial Intelligence 296 (C):103505.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  5.  9
    Computational complexity of relating time points with intervals.Peter Jonsson, Thomas Drakengren & Christer Bäckström - 1999 - Artificial Intelligence 109 (1-2):273-295.
  6.  6
    Point algebras for temporal reasoning: Algorithms and complexity.Mathias Broxvall & Peter Jonsson - 2003 - Artificial Intelligence 149 (2):179-220.
  7.  4
    State-variable planning under structural restrictions: algorithms and complexity.Peter Jonsson & Christer Bäckström - 1998 - Artificial Intelligence 100 (1-2):125-176.
  8.  6
    Constants and finite unary relations in qualitative constraint reasoning.Peter Jonsson - 2018 - Artificial Intelligence 257 (C):1-23.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  9.  4
    An initial study of time complexity in infinite-domain constraint satisfaction.Peter Jonsson & Victor Lagerkvist - 2017 - Artificial Intelligence 245 (C):115-133.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  10.  1
    Disjunctions, independence, refinements.Mathias Broxvall, Peter Jonsson & Jochen Renz - 2002 - Artificial Intelligence 140 (1-2):153-173.
  11.  5
    A complete classification of tractability in Allen's algebra relative to subsets of basic relations.Thomas Drakengren & Peter Jonsson - 1998 - Artificial Intelligence 106 (2):205-219.
  12.  3
    Limitations of acyclic causal graphs for planning.Anders Jonsson, Peter Jonsson & Tomas Lööw - 2014 - Artificial Intelligence 210 (C):36-55.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  13.  4
    A framework for analysing state-abstraction methods.Christer Bäckström & Peter Jonsson - 2022 - Artificial Intelligence 302 (C):103608.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  14.  15
    Adding clauses to poor man's logic (without increasing the complexity).Peter Jonsson - 2005 - Journal of Applied Non-Classical Logics 15 (3):341-357.
    Partly motivated by description logics, poor man's logics have been proposed as an interesting fragment of modal logics. A poor man's logic is a propositional modal logic where only literals and the connectives ∧, □, and ◊ are allowed. It is known that the complexity of the satisfiability problem may drop dramatically when going from a full modal logic to the corresponding poor man's logic, e.g., in the case of modal logic K one goes from PSPACE-complete to coNP-complete. We prove (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  15.  5
    Complexity classification in qualitative temporal constraint reasoning.Peter Jonsson & Andrei Krokhin - 2004 - Artificial Intelligence 160 (1-2):35-51.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  16.  19
    Computational complexity of linear constraints over the integers.Peter Jonsson & Tomas Lööw - 2013 - Artificial Intelligence 195 (C):44-62.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  17.  5
    Towards efficient universal planning: A randomized approach.Peter Jonsson, Patrik Haslum & Christer Bäckström - 2000 - Artificial Intelligence 117 (1):1-29.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark