DLPEQ, Versio 1.9

Emilia Oikarinen

DLPEQ, Versio 1.9

Emilia Oikarinen

Tutkimustuotos: Taiteellinen julkaisu ja ICT-julkaisu › Software › Scientific

Alkuperäiskieli	Englanti
Tila	Julkaistu - 2003
OKM-julkaisutyyppi	I2 Tieto- ja viestintätekniset sovellukset

Tutkimusalat

answer set programming
disjunctive logic programs
equivalence testing
stable model semantics
translator

Muut tiedostot ja linkit

http://www.tcs.hut.fi/Software/lpeq/

Siteeraa tätä

@misc{abadf45ffc0f4b1e9d0b52e2bf5abff5,

title = "DLPEQ, Versio 1.9",

keywords = "answer set programming, disjunctive logic programs, equivalence testing, stable model semantics, translator, answer set programming, disjunctive logic programs, equivalence testing, stable model semantics, translator, answer set programming, disjunctive logic programs, equivalence testing, stable model semantics, translator",

author = "Emilia Oikarinen",

year = "2003",

language = "English",

}

TY - ADVS

T1 - DLPEQ, Versio 1.9

AU - Oikarinen, Emilia

PY - 2003

Y1 - 2003

KW - answer set programming

KW - disjunctive logic programs

KW - equivalence testing

KW - stable model semantics

KW - translator

KW - answer set programming

KW - disjunctive logic programs

KW - equivalence testing

KW - stable model semantics

KW - translator

KW - answer set programming

KW - disjunctive logic programs

KW - equivalence testing

KW - stable model semantics

KW - translator

UR - http://www.tcs.hut.fi/Software/lpeq/

M3 - Software

ER -