机读格式显示(MARC)
- 000 01334cam a2200241 a 4500
- 008 151102s2015 cc a bi 000 0 eng d
- 100 1_ |a Liao, beishui(廖备水).
- 245 10 |a Efficient computation of argumentation semantics / |c Beishui Liao.
- 260 __ |a 杭州 : |b 浙江大学出版社, |c 2015.
- 300 __ |a 144 p. : |b ill. ; |c 24cm.
- 500 __ |a The copyright page parallel titles.
- 504 __ |a Includes bibliographical references and index.
- 520 __ |a This book uses the similar to the algorithm in the theory of "divide and conquer" strategy and the effective use of last calculation results "strategy, to establish a system based on division of the argumentation semantics theory, on the basis of using answer set programming theory and existing answer set solver, implementation method and prototype system to construct the corresponding, and through the test program to evaluate the system performance, so as to solve the static / dynamic argument system semantic computation efficiency, there are important theoretical significance and application value.
- 650 _0 |a The debate |b Reasoning |x Speech statistics.
- 950 __ |a JHUD |b H019 |c L693