aspartame: Solving Constraint Satisfaction Problems with Answer Set Programming

論文・著書情報

タイトル

和文:	aspartame: Solving Constraint Satisfaction Problems with Answer Set Programming
英文:	aspartame: Solving Constraint Satisfaction Problems with Answer Set Programming

著者

和文:	Mutsunori Banbara, Martin Gebser, Katsumi Inoue, Max Ostrowski, Andrea Peano, Torsten Schaub, Takehide Soh, Naoyuki Tamura, Matthias Weise.
英文:	Mutsunori Banbara, Martin Gebser, Katsumi Inoue, Max Ostrowski, Andrea Peano, Torsten Schaub, Takehide Soh, Naoyuki Tamura, Matthias Weise.

言語

English

掲載誌/書名

和文:	In: Francesco Calimeri, Giovambattista Ianni, and Miroslaw Truszczynski (eds.), Logic Programming and Nonmonotonic Reasoning: Proceedings of the 13th International Conference (LPNMR 2015; Lexington, KY, USA, September 30, 2015), Lecture Notes in Artificial Intelligence
英文:	In: Francesco Calimeri, Giovambattista Ianni, and Miroslaw Truszczynski (eds.), Logic Programming and Nonmonotonic Reasoning: Proceedings of the 13th International Conference (LPNMR 2015; Lexington, KY, USA, September 30, 2015), Lecture Notes in Artificial Intelligence

巻, 号, ページ

Vol. 9345 pp. 112-126

出版年月

2015年9月

出版者

和文:	Springer
英文:	Springer

会議名称

和文:
英文:

開催地

和文:
英文: