Fixed-parameter complexity in AI and nonmonotonic reasoning

Many relevant intractable problems become tractable if some problem parameter is fixed. However, various problems exhibit very different computational properties, depending on how the runtime required for solving them is related to the fixed parameter chosen. The theory of parameterized complexity d...

Celý popis

Uloženo v:

Podrobná bibliografie
Vydáno v:	Artificial intelligence Ročník 138; číslo 1; s. 55 - 86
Hlavní autoři:	Gottlob, Georg, Scarcello, Francesco, Sideri, Martha
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Elsevier B.V 01.06.2002
Témata:	Artificial intelligence Circumscription Conjunctive queries Constraint satisfaction Fixed-parameter tractability Knowledge representation Logic programming Nonmonotonic reasoning Parameterized complexity Prime implicants Stable models Logic programming Nonmonotonic reasoning Constraint satisfaction Stable models Prime implicants Fixed-parameter tractability Parameterized complexity Conjunctive queries Circumscription
ISSN:	0004-3702, 1872-7921
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Buďte první, kdo okomentuje tento záznam!