GnT - Computing Disjunctive Stable Models, Version 2

Patrik Simons; Tomi Janhunen

GnT - Computing Disjunctive Stable Models, Version 2

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

Original language	English
Publication status	Published - 2003
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{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 -

GnT - Computing Disjunctive Stable Models, Version 2

Keywords

OpenUrl availability

Other files and links

Cite this