|
Journals in DBLP
TPLP 2006, volume: 6, number: 4
- Yann Loyer, Umberto Straccia
Epistemic foundation of stable model semantics. [Citation Graph (0, 0)][DBLP] TPLP, 2006, v:6, n:4, pp:355-393 [Journal]
- Zbigniew Lonc, Miroslaw Truszczynski
Computing minimal models, stable models and answer sets. [Citation Graph (0, 0)][DBLP] TPLP, 2006, v:6, n:4, pp:395-449 [Journal]
- Hahnsang Kim, Thierry Turletti, Amar Bouali
EPspectra: a formal toolkit for developing DSP software applications. [Citation Graph (0, 0)][DBLP] TPLP, 2006, v:6, n:4, pp:451-481 [Journal]
|