Igor St\'ephan

Identifiers

• name variant Igor St\'ephan 0.60 · backfill

Papers (4)

1. Reducing Arbitrary Metric Temporal Formulas into Logic Programs under Answer Set Semantics cs.LO · 2026 · author #4
2. Applications of Intuitionistic Temporal Logic to Temporal Answer Set Programming cs.LO · 2026 · author #6
3. ASPeRiX, a First Order Forward Chaining Approach for Answer Set Computing cs.LO · 2015 · author #3
4. Compilation for QCSP cs.PL · 2013 · author #1

Mentions

• 2603.14692 #6 · arxiv_oai · confidence 0.70 Igor St\'ephan
• 1503.07717 #3 · backfill · confidence 0.70 Igor St\'ephan
• 2605.30618 #4 · arxiv_oai · confidence 0.70 Igor St\'ephan
• 1307.4655 #1 · backfill · confidence 0.70 Igor St\'ephan

Frequent Coauthors

• Mart\'in Di\'eguez 2 shared papers
• Torsten Schaub 2 shared papers
• Christopher B\'eatrix 1 shared papers
• Claire Lef\`evre 1 shared papers
• David Fern\'andez-Duque 1 shared papers
• Fran\c{c}ois Laferri\`ere 1 shared papers
• Laurent Garcia 1 shared papers
• Pedro Cabalar 1 shared papers
• Susana Hahn 1 shared papers