Igor Stéphan
Igor Stéphan
Affiliation: University of Angers
Pages in this Program
Reducing Arbitrary Metric Temporal Formulas into Logic Programs under Answer Set Semantics
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated:
🔍 ↑