Original language | English |
---|---|
Edition | Versio 1.1 |
Publication status | Published - 2005 |
MoE publication type | I2 ICT applications |
Keywords
- disjunctive logic programming
- parallel circumscription
- stable model semantics
- translator
Emilia Oikarinen
Research output: Artistic and non-textual form › Software › Scientific
Original language | English |
---|---|
Edition | Versio 1.1 |
Publication status | Published - 2005 |
MoE publication type | I2 ICT applications |