Smodels-2.26: a system for answer set programming

P. Simons

Smodels-2.26: a system for answer set programming

P. Simons

Research output: Artistic and non-textual form › Software › Scientific

Original language	English
Publication status	Published - 2000
MoE publication type	I2 ICT applications

Keywords

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

Cite this

@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 -

Smodels-2.26: a system for answer set programming

Keywords

Other files and links

Cite this