Parallel Encodings of Classical Planning as Satisfiability

Jussi Rintanen; Ilkka Niemelä; Keijo Heljanko

doi:10.1007/978-3-540-30227-8_27

Parallel Encodings of Classical Planning as Satisfiability

Jussi Rintanen, Ilkka Niemelä, Keijo Heljanko

University of Freiburg

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

17 Citations (Scopus)

Original language	English
Title of host publication	Logics in Artificial Intelligence
Subtitle of host publication	9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004. Proceedings
Editors	José Júlio Alferes, Joâo Leite
Place of Publication	Berlin, Germany
Publisher	Springer
Pages	307-319
ISBN (Electronic)	978-3-540-30227-8
ISBN (Print)	3-540-23242-7, 978-3-540-23242-1
DOIs	https://doi.org/10.1007/978-3-540-30227-8_27
Publication status	Published - 2004
MoE publication type	A4 Conference publication

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer Berlin Heidelberg
Volume	3229
ISSN (Print)	0302-9743

Keywords

planning
propositional logic
satisfiability testing

Access to Document

10.1007/978-3-540-30227-8_27

Cite this

Rintanen, J., Niemelä, I., & Heljanko, K. (2004). Parallel Encodings of Classical Planning as Satisfiability. In J. J. Alferes, & J. Leite (Eds.), Logics in Artificial Intelligence : 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004. Proceedings (pp. 307-319). (Lecture Notes in Computer Science ; Vol. 3229). Springer. https://doi.org/10.1007/978-3-540-30227-8_27

Rintanen, Jussi ; Niemelä, Ilkka ; Heljanko, Keijo. / Parallel Encodings of Classical Planning as Satisfiability. Logics in Artificial Intelligence : 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004. Proceedings. editor / José Júlio Alferes ; Joâo Leite. Berlin, Germany : Springer, 2004. pp. 307-319 (Lecture Notes in Computer Science ).

@inproceedings{a5257e2117a9443cbfcc80005ae6288b,

title = "Parallel Encodings of Classical Planning as Satisfiability",

keywords = "planning, propositional logic, satisfiability testing, planning, propositional logic, satisfiability testing, planning, propositional logic, satisfiability testing",

author = "Jussi Rintanen and Ilkka Niemel{\"a} and Keijo Heljanko",

year = "2004",

doi = "10.1007/978-3-540-30227-8_27",

language = "English",

isbn = "3-540-23242-7",

series = "Lecture Notes in Computer Science ",

publisher = "Springer",

pages = "307--319",

editor = "Alferes, {Jos{\'e} J{\'u}lio} and Jo{\^a}o Leite",

booktitle = "Logics in Artificial Intelligence",

address = "Germany",

}

Rintanen, J , Niemelä, I & Heljanko, K 2004, Parallel Encodings of Classical Planning as Satisfiability. in JJ Alferes & J Leite (eds), Logics in Artificial Intelligence : 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004. Proceedings. Lecture Notes in Computer Science , vol. 3229, Springer, Berlin, Germany, pp. 307-319. https://doi.org/10.1007/978-3-540-30227-8_27

Parallel Encodings of Classical Planning as Satisfiability. / Rintanen, Jussi ; Niemelä, Ilkka; Heljanko, Keijo.
Logics in Artificial Intelligence : 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004. Proceedings. ed. / José Júlio Alferes; Joâo Leite. Berlin, Germany: Springer, 2004. p. 307-319 (Lecture Notes in Computer Science ; Vol. 3229).

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

TY - GEN

T1 - Parallel Encodings of Classical Planning as Satisfiability

AU - Rintanen, Jussi

AU - Niemelä, Ilkka

AU - Heljanko, Keijo

PY - 2004

Y1 - 2004

KW - planning

KW - propositional logic

KW - satisfiability testing

KW - planning

KW - propositional logic

KW - satisfiability testing

KW - planning

KW - propositional logic

KW - satisfiability testing

UR - http://www.springerlink.com/openurl.asp?genre=article&issn=0302-9743&volume=3229&spage=307

U2 - 10.1007/978-3-540-30227-8_27

DO - 10.1007/978-3-540-30227-8_27

M3 - Conference article in proceedings

SN - 3-540-23242-7

SN - 978-3-540-23242-1

T3 - Lecture Notes in Computer Science

SP - 307

EP - 319

BT - Logics in Artificial Intelligence

A2 - Alferes, José Júlio

A2 - Leite, Joâo

PB - Springer

CY - Berlin, Germany

ER -

Rintanen J , Niemelä I, Heljanko K. Parallel Encodings of Classical Planning as Satisfiability. In Alferes JJ, Leite J, editors, Logics in Artificial Intelligence : 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004. Proceedings. Berlin, Germany: Springer. 2004. p. 307-319. (Lecture Notes in Computer Science ). doi: 10.1007/978-3-540-30227-8_27

Parallel Encodings of Classical Planning as Satisfiability

Publication series

Keywords

Access to Document

Other files and links

Cite this