Proceedings

Peter Jonsson

Department of Computer and Information Science (IDA) , Linköping University

10 papers in the IJCAI proceedings

IJCAI 2026

Maximum Satisfiability of Simple Temporal Problems
with Johannes K. Fichte, Johanna Groven, Victor Lagerkvist, Jorke M. de Vlas
doi:10.24963/ijcai.2026/248
Details PDF

IJCAI 2020

Lower Bounds and Faster Algorithms for Equality Constraints
with Victor Lagerkvist
doi:10.24963/ijcai.2020/247
Details PDF

IJCAI 2019

A Refined Understanding of Cost-optimal Planning with Polytree Causal Graphs
with Christer Bäckström, Sebastian Ordyniak
doi:10.24963/ijcai.2019/848
Details PDF

IJCAI 2018

Classification Transfer for Qualitative Reasoning Problems
with Manuel Bodirsky, Barnaby Martin, Antoine Mottet
doi:10.24963/ijcai.2018/175
Details PDF
Novel Structural Parameters for Acyclic Planning Using Tree Embeddings
with Christer Bäckström, Sebastian Ordyniak
doi:10.24963/ijcai.2018/647
Details PDF

IJCAI 2013

Bridging the Gap Between Refinement and Heuristics in Abstraction
with Christer Bäckström
Details PDF

IJCAI 2011

Discrete-Time Temporal Reasoning with Horn DLRs
with Tomas Lööw
doi:10.5591/978-1-57735-516-8/IJCAI11-161
Details PDF

IJCAI 2001

A Complete Classification of Complexity in Allens Algebra in the Presence of a Non-Trivial Basic Relation
with Andrei A. Krokhin, Peter Jeavons
Details PDF

IJCAI 1997

Towards a Complete Classification of Tractability in Allen's Algebra
with Thomas Drakengren
Details PDF

IJCAI 1995

Planning with Abstraction Hierarchies can be Exponentially Less Efficient
with Christer Bäckström
Details PDF
Welcome Future Conferences AI Journal Division IJCAI Proceedings About IJCAI IJCAI Awards