Xavier Parent

Identifiers

• name variant Xavier Parent 0.60 · backfill

Papers (4)

1. Defeasible Conditional Obligation in a Two-tiered Preference-based Semantics (Extended Version) cs.LO · 2026 · author #1
2. First Experiments with a Flexible Infrastructure for Normative Reasoning cs.AI · 2018 · author #2
3. I/O Logic in HOL --- First Steps cs.AI · 2018 · author #2
4. Faithful Semantical Embedding of a Dyadic Deontic Logic in HOL cs.AI · 2018 · author #3

Mentions

• 2604.26977 #1 · arxiv_oai · confidence 0.70 Xavier Parent

Frequent Coauthors

• Christoph Benzm\"uller 3 shared papers
• Ali Farjami 1 shared papers