Journal of the Japanese Society for Artificial Intelligence
Online ISSN : 2435-8614
Print ISSN : 2188-2266
Print ISSN:0912-8085 until 2013
Proof Procedures of Answer Set Semantics for Logic Programming (Special Issue : "New Technologies in Automated Reasoning and Theorem Proving")
Noboru IWAYAMAKen SATOH
Author information
MAGAZINE FREE ACCESS

2001 Volume 16 Issue 5 Pages 655-660

Details
Article 1st page
Content from these authors
© 2001 The Japaense Society for Artificial Intelligence
Previous article Next article
feedback
Top