Extended ASP Tableaux and Rule Redundancy in Normal Logic Programs

Matti Järvisalo; Emilia Oikarinen

Extended ASP Tableaux and Rule Redundancy in Normal Logic Programs

Matti Järvisalo, Emilia Oikarinen

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

6 Citations (Scopus)

Original language	English
Title of host publication	23rd International Conference on Logic Programming (ICLP), Porto, Portugal, September 8-13, 2007
Editors	Verónica Dahl, Ilkka Niemelä
Publisher	SPRINGER
Pages	134-148
Publication status	Published - 2007
MoE publication type	A4 Article in a conference publication

Keywords

answer set programming
extended resolution
propositional satisfiability
tableau method

OpenUrl availability

Full text

Cite this

@inproceedings{591444d02b0f4274889c120b724d4f80,

title = "Extended ASP Tableaux and Rule Redundancy in Normal Logic Programs",

keywords = "answer set programming, extended resolution, propositional satisfiability, tableau method, answer set programming, extended resolution, propositional satisfiability, tableau method, answer set programming, extended resolution, propositional satisfiability, tableau method",

author = "Matti J{\"a}rvisalo and Emilia Oikarinen",

year = "2007",

language = "English",

pages = "134--148",

editor = "Ver{\'o}nica Dahl and Ilkka Niemel{\"a}",

booktitle = "23rd International Conference on Logic Programming (ICLP), Porto, Portugal, September 8-13, 2007",

publisher = "SPRINGER",

address = "Germany",

}

Extended ASP Tableaux and Rule Redundancy in Normal Logic Programs. / Järvisalo, Matti; Oikarinen, Emilia.

23rd International Conference on Logic Programming (ICLP), Porto, Portugal, September 8-13, 2007. ed. / Verónica Dahl; Ilkka Niemelä. SPRINGER, 2007. p. 134-148.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

TY - GEN

T1 - Extended ASP Tableaux and Rule Redundancy in Normal Logic Programs

AU - Järvisalo, Matti

AU - Oikarinen, Emilia

PY - 2007

Y1 - 2007

KW - answer set programming

KW - extended resolution

KW - propositional satisfiability

KW - tableau method

KW - answer set programming

KW - extended resolution

KW - propositional satisfiability

KW - tableau method

KW - answer set programming

KW - extended resolution

KW - propositional satisfiability

KW - tableau method

UR - http://www.springeronline.com/978-3-540-74608-9

M3 - Conference contribution

SP - 134

EP - 148

BT - 23rd International Conference on Logic Programming (ICLP), Porto, Portugal, September 8-13, 2007

A2 - Dahl, Verónica

A2 - Niemelä, Ilkka

PB - SPRINGER

ER -

Extended ASP Tableaux and Rule Redundancy in Normal Logic Programs

Keywords

OpenUrl availability

Other files and links

Cite this