On Testing Answer-Set Programs

Tomi Janhunen; Ilkka Niemelä; Johannes Oetsch; Jörg Pührer; Hans Tompits

doi:10.3233/978-1-60750-606-5-951

On Testing Answer-Set Programs

Tomi Janhunen, Ilkka Niemelä, Johannes Oetsch, Jörg Pührer, Hans Tompits

Institute of Telecommunications

Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussa › Conference article in proceedings › Scientific › vertaisarvioitu

18 Sitaatiot (Scopus)

Alkuperäiskieli	Englanti
Otsikko	19th European Conference on Artificial Intelligence (ECAI 2010), Lisbon, Portugal, August 16-20, 2010
Toimittajat	Helder Coelho, Rudi Studer, Michael Wooldridge
Kustantaja	IOS Press
Sivut	951-956
ISBN (elektroninen)	978-1-60750-606-5
ISBN (painettu)	978-1-60750-605-8
DOI - pysyväislinkit	https://doi.org/10.3233/978-1-60750-606-5-951
Tila	Julkaistu - 2010
OKM-julkaisutyyppi	A4 Artikkeli konferenssijulkaisussa
Tapahtuma	European Conference on Artificial Intelligence - Lisbon, Portugali Kesto: 16 elok. 2010 → 20 elok. 2010

Julkaisusarja

Nimi	Frontiers in Artificial Intelligence and Applications
Kustantaja	IOS Press
Vuosikerta	215
ISSN (painettu)	0922-6389
ISSN (elektroninen)	1879-8314

Conference

Conference	European Conference on Artificial Intelligence
Lyhennettä	ECAI
Maa/Alue	Portugali
Kaupunki	Lisbon
Ajanjakso	16/08/2010 → 20/08/2010

Pääsy asiakirjaan

10.3233/978-1-60750-606-5-951

Siteeraa tätä

Janhunen, T., Niemelä, I., Oetsch, J., Pührer, J., & Tompits, H. (2010). On Testing Answer-Set Programs. teoksessa H. Coelho, R. Studer, & M. Wooldridge (Toimittajat), 19th European Conference on Artificial Intelligence (ECAI 2010), Lisbon, Portugal, August 16-20, 2010 (Sivut 951-956). (Frontiers in Artificial Intelligence and Applications; Vuosikerta 215). IOS Press. https://doi.org/10.3233/978-1-60750-606-5-951

@inproceedings{0ad550a699344882a12560af3e30b0c6,

title = "On Testing Answer-Set Programs",

author = "Tomi Janhunen and Ilkka Niemel{\"a} and Johannes Oetsch and J{\"o}rg P{\"u}hrer and Hans Tompits",

note = "VK: mcm hiit; European Conference on Artificial Intelligence, ECAI ; Conference date: 16-08-2010 Through 20-08-2010",

year = "2010",

doi = "10.3233/978-1-60750-606-5-951",

language = "English",

isbn = "978-1-60750-605-8",

series = "Frontiers in Artificial Intelligence and Applications",

publisher = "IOS Press",

pages = "951--956",

editor = "Helder Coelho and Studer, {Rudi } and Michael Wooldridge",

booktitle = "19th European Conference on Artificial Intelligence (ECAI 2010), Lisbon, Portugal, August 16-20, 2010",

address = "Netherlands",

}

Janhunen, T, Niemelä, I, Oetsch, J, Pührer, J & Tompits, H 2010, On Testing Answer-Set Programs. julkaisussa H Coelho, R Studer & M Wooldridge (toim), 19th European Conference on Artificial Intelligence (ECAI 2010), Lisbon, Portugal, August 16-20, 2010. Frontiers in Artificial Intelligence and Applications, Vuosikerta 215, IOS Press, Sivut 951-956, European Conference on Artificial Intelligence, Lisbon, Portugali, 16/08/2010. https://doi.org/10.3233/978-1-60750-606-5-951

On Testing Answer-Set Programs. / Janhunen, Tomi; Niemelä, Ilkka; Oetsch, Johannes et al.
19th European Conference on Artificial Intelligence (ECAI 2010), Lisbon, Portugal, August 16-20, 2010. toim. / Helder Coelho; Rudi Studer; Michael Wooldridge. IOS Press, 2010. s. 951-956 (Frontiers in Artificial Intelligence and Applications; Vuosikerta 215).

Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussa › Conference article in proceedings › Scientific › vertaisarvioitu

TY - GEN

T1 - On Testing Answer-Set Programs

AU - Janhunen, Tomi

AU - Niemelä, Ilkka

AU - Oetsch, Johannes

AU - Pührer, Jörg

AU - Tompits, Hans

N1 - VK: mcm hiit

PY - 2010

Y1 - 2010

U2 - 10.3233/978-1-60750-606-5-951

DO - 10.3233/978-1-60750-606-5-951

M3 - Conference article in proceedings

SN - 978-1-60750-605-8

T3 - Frontiers in Artificial Intelligence and Applications

SP - 951

EP - 956

BT - 19th European Conference on Artificial Intelligence (ECAI 2010), Lisbon, Portugal, August 16-20, 2010

A2 - Coelho, Helder

A2 - Studer, Rudi

A2 - Wooldridge, Michael

PB - IOS Press

T2 - European Conference on Artificial Intelligence

Y2 - 16 August 2010 through 20 August 2010

ER -

Janhunen T, Niemelä I, Oetsch J, Pührer J, Tompits H. On Testing Answer-Set Programs. julkaisussa Coelho H, Studer R, Wooldridge M, toimittajat, 19th European Conference on Artificial Intelligence (ECAI 2010), Lisbon, Portugal, August 16-20, 2010. IOS Press. 2010. s. 951-956. (Frontiers in Artificial Intelligence and Applications). doi: 10.3233/978-1-60750-606-5-951