Home >

news Help

Publication Information


Title
Japanese:aspartame: Solving Constraint Satisfaction Problems with Answer Set Programming 
English:aspartame: Solving Constraint Satisfaction Problems with Answer Set Programming 
Author
Japanese: Mutsunori Banbara, Martin Gebser, Katsumi Inoue, Max Ostrowski, Andrea Peano, Torsten Schaub, Takehide Soh, Naoyuki Tamura, Matthias Weise.  
English: Mutsunori Banbara, Martin Gebser, Katsumi Inoue, Max Ostrowski, Andrea Peano, Torsten Schaub, Takehide Soh, Naoyuki Tamura, Matthias Weise.  
Language English 
Journal/Book name
Japanese: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 
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 
Volume, Number, Page Vol. 9345        pp. 112-126
Published date Sept. 2015 
Publisher
Japanese:Springer 
English:Springer 
Conference name
Japanese: 
English: 
Conference site
Japanese: 
English: 

©2007 Tokyo Institute of Technology All rights reserved.