Art

J-GLOBAL ID：201502236059820276   Reference number：15A0448643

MaxSATソルバを用いた帰納論理プログラミング

Author (4)： CHIKARA NORIAKI (徳山工高専) ,  KOSHIMURA MIYUKI (九大) ,  FUJITA HIROSHI (九大) ,  HASEGAWA RYUZO (九大)
Material： 人工知能学会人工知能基本問題研究会資料  (SIG-FPAI-C)
Volume： 97th  Page： 85-90  Publication year： Mar. 18, 2015 
JST Material Number： X0830A  ISSN： 2436-4584  Document type： Proceedings
Article type： 原著論文  Country of issue： Japan (JPN)  Language： JAPANESE (JA)

Thesaurus term： *satisfiability problem ,  *logic programming ,  *inductive learning ,  predicative logic ,  speedup ,  search problem ,  program verification ,  Boolean algebra ,  propositional logic ,  coding (signal) ,  tree structure ,  loop
Semi thesaurus term： *MaxSAT ,  MaxSATソルバー ,  coverage ,  *ILP

JST classification (3)： Logic algebra  (JB03000H) ,  Computer system development  (JD02010R) ,  Artificial intelligence  (JE08000Z)

Terms in the title (2)： ソルバ ,  帰納論理プログラミング