Strong Equivalence of Logic Programs with Abstract Constraint Atoms

Guohua Liu; Randy Goebel; Tomi Janhunen; Ilkka Niemelä; Jia-Huai You

doi:10.1007/978-3-642-20895-9_15

Strong Equivalence of Logic Programs with Abstract Constraint Atoms

Guohua Liu, Randy Goebel, Tomi Janhunen, Ilkka Niemelä, Jia-Huai You

University of Alberta

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

5 Sitaatiot (Scopus)

Alkuperäiskieli	Englanti
Otsikko	Logic Programming and Nonmonotonic Reasoning. LPNMR 2011
Toimittajat	James Delgrande, Wolfgang Faber
Kustantaja	Springer
Sivut	161-173
ISBN (elektroninen)	978-3-642-20895-9
ISBN (painettu)	978-3-642-20894-2
DOI - pysyväislinkit	https://doi.org/10.1007/978-3-642-20895-9_15
Tila	Julkaistu - 2011
OKM-julkaisutyyppi	A4 Artikkeli konferenssijulkaisuussa
Tapahtuma	International Conference on Logic Programming and Nonmonotonic Reasoning - Vancouver, Kanada Kesto: 16 toukok. 2011 → 19 toukok. 2011 Konferenssinumero: 11

Julkaisusarja

Nimi	Lecture Notes in Computer Science
Kustantaja	SPRINGER-VERLAG BERLIN
Vuosikerta	6645
ISSN (painettu)	0302-9743

Conference

Conference	International Conference on Logic Programming and Nonmonotonic Reasoning
Lyhennettä	LPNMR
Maa/Alue	Kanada
Kaupunki	Vancouver
Ajanjakso	16/05/2011 → 19/05/2011

Pääsy asiakirjaan

10.1007/978-3-642-20895-9_15

OpenUrl-saatavuus

Koko teksti

Muut tiedostot ja linkit

http://link.springer.com/chapter/10.1007/978-3-642-20895-9_15

Siteeraa tätä

Liu, G., Goebel, R., Janhunen, T., Niemelä, I., & You, J-H. (2011). Strong Equivalence of Logic Programs with Abstract Constraint Atoms. teoksessa J. Delgrande, & W. Faber (Toimittajat), Logic Programming and Nonmonotonic Reasoning. LPNMR 2011 (Sivut 161-173). (Lecture Notes in Computer Science; Vuosikerta 6645). Springer. https://doi.org/10.1007/978-3-642-20895-9_15

@inproceedings{eaac564beab34c0cba8fe0aaff4ad08b,

title = "Strong Equivalence of Logic Programs with Abstract Constraint Atoms",

author = "Guohua Liu and Randy Goebel and Tomi Janhunen and Ilkka Niemel{\"a} and Jia-Huai You",

year = "2011",

doi = "10.1007/978-3-642-20895-9_15",

language = "English",

isbn = "978-3-642-20894-2",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "161--173",

editor = "James Delgrande and Wolfgang Faber",

booktitle = "Logic Programming and Nonmonotonic Reasoning. LPNMR 2011",

address = "Germany",

note = "International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR ; Conference date: 16-05-2011 Through 19-05-2011",

}

Liu, G, Goebel, R, Janhunen, T , Niemelä, I & You, J-H 2011, Strong Equivalence of Logic Programs with Abstract Constraint Atoms. julkaisussa J Delgrande & W Faber (toim), Logic Programming and Nonmonotonic Reasoning. LPNMR 2011. Lecture Notes in Computer Science, Vuosikerta 6645, Springer, Sivut 161-173, International Conference on Logic Programming and Nonmonotonic Reasoning, Vancouver, Kanada, 16/05/2011. https://doi.org/10.1007/978-3-642-20895-9_15

Strong Equivalence of Logic Programs with Abstract Constraint Atoms. / Liu, Guohua; Goebel, Randy; Janhunen, Tomi et al.
Logic Programming and Nonmonotonic Reasoning. LPNMR 2011. toim. / James Delgrande; Wolfgang Faber. Springer, 2011. s. 161-173 (Lecture Notes in Computer Science; Vuosikerta 6645).

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

TY - GEN

T1 - Strong Equivalence of Logic Programs with Abstract Constraint Atoms

AU - Liu, Guohua

AU - Goebel, Randy

AU - Janhunen, Tomi

AU - Niemelä, Ilkka

AU - You, Jia-Huai

N1 - Conference code: 11

PY - 2011

Y1 - 2011

UR - http://link.springer.com/chapter/10.1007/978-3-642-20895-9_15

U2 - 10.1007/978-3-642-20895-9_15

DO - 10.1007/978-3-642-20895-9_15

M3 - Conference contribution

SN - 978-3-642-20894-2

T3 - Lecture Notes in Computer Science

SP - 161

EP - 173

BT - Logic Programming and Nonmonotonic Reasoning. LPNMR 2011

A2 - Delgrande, James

A2 - Faber, Wolfgang

PB - Springer

T2 - International Conference on Logic Programming and Nonmonotonic Reasoning

Y2 - 16 May 2011 through 19 May 2011

ER -