Solving Alternating Boolean Equation Systems in Answer Set Programming

Misa Keinänen; Ilkka Niemelä

doi:10.1007/11415763_9

Solving Alternating Boolean Equation Systems in Answer Set Programming

Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussa › Conference contribution › Scientific › vertaisarvioitu

2 Sitaatiot (Scopus)

Alkuperäiskieli	Englanti
Otsikko	Applications of Declarative Programming and Knowledge Management
Alaotsikko	15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and 18th Workshop on Logic Programming, WLP 2004, Potsdam, Germany, March 4-6, 2004, Revised Selected Papers
Toimittajat	D. Seipel, M. Hanus, U. Geske, O. Bartenstein
Sivut	134-148
ISBN (elektroninen)	978-3-540-32124-8
DOI - pysyväislinkit	https://doi.org/10.1007/11415763_9
Tila	Julkaistu - 2005
OKM-julkaisutyyppi	A4 Artikkeli konferenssijulkaisuussa
Tapahtuma	INTERNATIONAL CONFERENCE ON APPLICATIONS OF DECLARATIVE PROGRAMMING AND KNOWLEDGE MANAGEMENT - Kesto: 1 tammik. 1900 → …

Julkaisusarja

Nimi	Lecture Notes in Computer Science
Kustantaja	Springer Berlin Heidelberg
Vuosikerta	3392
ISSN (painettu)	0302-9743

Conference

Conference	INTERNATIONAL CONFERENCE ON APPLICATIONS OF DECLARATIVE PROGRAMMING AND KNOWLEDGE MANAGEMENT
Lyhennettä	INAP
Ajanjakso	01/01/1900 → …

Tutkimusalat

Boolean equation systems

Pääsy asiakirjaan

10.1007/11415763_9

SFX-saatavuus

Koko teksti

Siteeraa tätä

Keinänen, M., & Niemelä, I. (2005). Solving Alternating Boolean Equation Systems in Answer Set Programming. teoksessa D. Seipel, M. Hanus, U. Geske, & O. Bartenstein (Toimittajat), Applications of Declarative Programming and Knowledge Management : 15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and 18th Workshop on Logic Programming, WLP 2004, Potsdam, Germany, March 4-6, 2004, Revised Selected Papers (Sivut 134-148). (Lecture Notes in Computer Science ; Vuosikerta 3392). https://doi.org/10.1007/11415763_9

Keinänen, Misa ; Niemelä, Ilkka. / Solving Alternating Boolean Equation Systems in Answer Set Programming. Applications of Declarative Programming and Knowledge Management : 15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and 18th Workshop on Logic Programming, WLP 2004, Potsdam, Germany, March 4-6, 2004, Revised Selected Papers. Toimittaja / D. Seipel ; M. Hanus ; U. Geske ; O. Bartenstein. 2005. Sivut 134-148 (Lecture Notes in Computer Science ).

@inproceedings{725b1554ff9e4133aa6da7c115b09a52,

title = "Solving Alternating Boolean Equation Systems in Answer Set Programming",

keywords = "Boolean equation systems, Boolean equation systems, Boolean equation systems",

author = "Misa Kein{\"a}nen and Ilkka Niemel{\"a}",

year = "2005",

doi = "10.1007/11415763_9",

language = "English",

isbn = "978-3-540-25560-5",

series = "Lecture Notes in Computer Science ",

publisher = "Springer Berlin Heidelberg",

pages = "134--148",

editor = "D. Seipel and M. Hanus and U. Geske and O. Bartenstein",

booktitle = "Applications of Declarative Programming and Knowledge Management",

note = "INTERNATIONAL CONFERENCE ON APPLICATIONS OF DECLARATIVE PROGRAMMING AND KNOWLEDGE MANAGEMENT, INAP ; Conference date: 01-01-1900",

}

Keinänen, M & Niemelä, I 2005, Solving Alternating Boolean Equation Systems in Answer Set Programming. julkaisussa D Seipel, M Hanus, U Geske & O Bartenstein (toim), Applications of Declarative Programming and Knowledge Management : 15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and 18th Workshop on Logic Programming, WLP 2004, Potsdam, Germany, March 4-6, 2004, Revised Selected Papers. Lecture Notes in Computer Science , Vuosikerta 3392, Sivut 134-148, INTERNATIONAL CONFERENCE ON APPLICATIONS OF DECLARATIVE PROGRAMMING AND KNOWLEDGE MANAGEMENT, 01/01/1900. https://doi.org/10.1007/11415763_9

Solving Alternating Boolean Equation Systems in Answer Set Programming. / Keinänen, Misa; Niemelä, Ilkka.

Applications of Declarative Programming and Knowledge Management : 15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and 18th Workshop on Logic Programming, WLP 2004, Potsdam, Germany, March 4-6, 2004, Revised Selected Papers. toim. / D. Seipel; M. Hanus; U. Geske; O. Bartenstein. 2005. s. 134-148 (Lecture Notes in Computer Science ; Vuosikerta 3392).

Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussa › Conference contribution › Scientific › vertaisarvioitu

TY - GEN

T1 - Solving Alternating Boolean Equation Systems in Answer Set Programming

AU - Keinänen, Misa

AU - Niemelä, Ilkka

PY - 2005

Y1 - 2005

KW - Boolean equation systems

U2 - 10.1007/11415763_9

DO - 10.1007/11415763_9

M3 - Conference contribution

SN - 978-3-540-25560-5

T3 - Lecture Notes in Computer Science

SP - 134

EP - 148

BT - Applications of Declarative Programming and Knowledge Management

A2 - Seipel, D.

A2 - Hanus, M.

A2 - Geske, U.

A2 - Bartenstein, O.

T2 - INTERNATIONAL CONFERENCE ON APPLICATIONS OF DECLARATIVE PROGRAMMING AND KNOWLEDGE MANAGEMENT

Y2 - 1 January 1900

ER -

Keinänen M, Niemelä I. Solving Alternating Boolean Equation Systems in Answer Set Programming. julkaisussa Seipel D, Hanus M, Geske U, Bartenstein O, toimittajat, Applications of Declarative Programming and Knowledge Management : 15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and 18th Workshop on Logic Programming, WLP 2004, Potsdam, Germany, March 4-6, 2004, Revised Selected Papers. 2005. s. 134-148. (Lecture Notes in Computer Science ). https://doi.org/10.1007/11415763_9