Fingerprint
Dive into the research topics of 'Interpolable formulas in equilibrium logic and answer set programming'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Interpolable formulas in equilibrium logic and answer set programming
Dov Gabbay, David Pearce, Agustín Valverde
Research output: Contribution to journal › Article › peer-review
9
Scopus
citations