GnT 2.1 - Computing Disjunctive Stable Models

Tomi Janhunen

GnT 2.1 - Computing Disjunctive Stable Models

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

Original language	English
Publication status	Published - 2004
MoE publication type	I2 ICT software

Keywords

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

OpenUrl availability

Full text

Cite this

@misc{c26d43693bcb4f3f8e72ec55bb1a3bf7,

title = "GnT 2.1 - Computing Disjunctive Stable Models",

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 = "Tomi Janhunen",

year = "2004",

language = "English",

}

TY - ADVS

T1 - GnT 2.1 - Computing Disjunctive Stable Models

AU - Janhunen, Tomi

PY - 2004

Y1 - 2004

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 -

GnT 2.1 - Computing Disjunctive Stable Models

Keywords

OpenUrl availability

Other files and links

Cite this