Ipeq - equivalence testing of logic programs

Tomi Janhunen

Ipeq - equivalence testing of logic programs

Tomi Janhunen

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

Alkuperäiskieli	Englanti
Painos	1.13
Tila	Julkaistu - 2002
OKM-julkaisutyyppi	I2 Tieto- ja viestintätekniset sovellukset

Tutkimusalat

answer set programming
equivalence testing
logic programs
stable model semantics
translator

Muut tiedostot ja linkit

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

Siteeraa tätä

@misc{0015217052f9454184dc2004b3ec17de,

title = "Ipeq - equivalence testing of logic programs",

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

author = "Tomi Janhunen",

year = "2002",

language = "English",

edition = "1.13",

}

TY - ADVS

T1 - Ipeq - equivalence testing of logic programs

AU - Janhunen, Tomi

PY - 2002

Y1 - 2002

KW - answer set programming

KW - equivalence testing

KW - logic programs

KW - stable model semantics

KW - translator

KW - answer set programming

KW - equivalence testing

KW - logic programs

KW - stable model semantics

KW - translator

KW - answer set programming

KW - equivalence testing

KW - logic programs

KW - stable model semantics

KW - translator

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

M3 - Software

ER -