GnT - Computing Disjunctive Stable Models, Version 2

Patrik Simons; Tomi Janhunen

GnT - Computing Disjunctive Stable Models, Version 2

Patrik Simons, Tomi Janhunen

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

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

Tutkimusalat

branch and bound search
disjunctive logic programs
intelligent backtracking
stable model semantics

Muut tiedostot ja linkit

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

Siteeraa tätä

@misc{cd39b2fe80ea46dc9c9da4f6bd8e7e41,

title = "GnT - Computing Disjunctive Stable Models, Version 2",

keywords = "branch and bound search, disjunctive logic programs, intelligent backtracking, stable model semantics, branch and bound search, disjunctive logic programs, intelligent backtracking, stable model semantics, branch and bound search, disjunctive logic programs, intelligent backtracking, stable model semantics",

author = "Patrik Simons and Tomi Janhunen",

year = "2003",

language = "English",

}

TY - ADVS

T1 - GnT - Computing Disjunctive Stable Models, Version 2

AU - Simons, Patrik

AU - Janhunen, Tomi

PY - 2003

Y1 - 2003

KW - branch and bound search

KW - disjunctive logic programs

KW - intelligent backtracking

KW - stable model semantics

KW - branch and bound search

KW - disjunctive logic programs

KW - intelligent backtracking

KW - stable model semantics

KW - branch and bound search

KW - disjunctive logic programs

KW - intelligent backtracking

KW - stable model semantics

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

M3 - Software

ER -