Original language | English |
---|---|
Edition | 1.10 |
Publication status | Published - 2006 |
MoE publication type | I2 ICT applications |
Keywords
- answer set programming
- logic programs
- propositional satisfiability
- stable model semantics
- translator
Tomi Janhunen
Research output: Artistic and non-textual form › Software › Scientific
Original language | English |
---|---|
Edition | 1.10 |
Publication status | Published - 2006 |
MoE publication type | I2 ICT applications |