Smodels-2.26: a system for answer set programming

P. Simons

Smodels-2.26: a system for answer set programming

P. Simons

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

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

Tutkimusalat

choice rules
constraint rules
logic programs
optimize statements
stable model semantics
weight rules

Muut tiedostot ja linkit

http://www.tcs.hut.fi/Software/smodels/index.html

Siteeraa tätä

@misc{04b3b123103c484db1d2e1236d9e14aa,

title = "Smodels-2.26: a system for answer set programming",

keywords = "choice rules, constraint rules, logic programs, optimize statements, stable model semantics, weight rules, choice rules, constraint rules, logic programs, optimize statements, stable model semantics, weight rules, choice rules, constraint rules, logic programs, optimize statements, stable model semantics, weight rules",

author = "P. Simons",

year = "2000",

language = "English",

}

TY - ADVS

T1 - Smodels-2.26: a system for answer set programming

AU - Simons, P.

PY - 2000

Y1 - 2000

KW - choice rules

KW - constraint rules

KW - logic programs

KW - optimize statements

KW - stable model semantics

KW - weight rules

KW - choice rules

KW - constraint rules

KW - logic programs

KW - optimize statements

KW - stable model semantics

KW - weight rules

KW - choice rules

KW - constraint rules

KW - logic programs

KW - optimize statements

KW - stable model semantics

KW - weight rules

UR - http://www.tcs.hut.fi/Software/smodels/index.html

M3 - Software

ER -