Publications

of Igor Stéphan

Conference articles

  1. Igor Stéphan. First-order ASP programs as CHR programs. In SAC '21: Proc. 36th ACM Symp. Applied Computing, pages 881-888, 2021.
  2. Vincent Barichard and Igor Stéphan. Quantified Constraint Handling Rules. In Technical Communications of the 35th International Conference on Logic Programming (ICLP 2019), 2019.
  3. Igor Stéphan. A New Proof-Theoretical Linear Semantics for CHR. In Technical Communications of the 34th International Conference on Logic Programming (ICLP 2018), 2018.

BACK TO INDEX