ken-system: - All Technical Committee Conferences

IEICE Technical Committee Submission System
Conference Schedule

Online Proceedings
[Sign in]
Tech. Rep. Archives

[Japanese] / [English]

(

Committee/Place/Topics

) --Press->

(

Paper Keywords: / Column:Title Auth. Affi. Abst. Keyword

) --Press->

All Technical Committee Conferences (Searched in: All Years)

Search Results: Conference Papers

Conference Papers (Available on Advance Programs) (Sort by: Date Descending)

Committee	Date Time	Place		Paper Title / Authors	Abstract	Paper #
AI	2007-05-31 10:20	Tokyo	Kikai-Shinko-Kaikan Bldg.	Towards a Logical Reconstruction of CF-Induction Yoshitaka Yamamoto (Graduate Univ. for Advanced Studies), Oliver Ray (Univ. of Bristol), Katsumi Inoue (NII/Graduate Univ. for Advanced Studies) AI2007-1	CF-Induction is a sound and complete hypothesis finding procedure for full clausal logic. Given a background theory and... [more]	AI2007-1 pp.1-6
AI	2006-05-18 11:10	Tokyo	Kikai-Shinko-Kaikan Bldg.	Effective SAT Planning and SAT Scheduling by Lemma Reusing Hidetomo Nabeshima (Univ. of Yamanashi), Takehide Soh (Kobe Univ.), Katsumi Inoue (NII), Koji Iwanuma (Univ. of Yamanashi)	In this paper, we propose a new approach, called {\itshape lemma-reusing}, for accelerating SAT based planning and sched... [more]	AI2006-4 pp.19-24

Copyright and reproduction : All rights are reserved and no part of this publication may be reproduced or transmitted in any form or by any means, electronic or mechanical, including photocopy, recording, or any information storage and retrieval system, without permission in writing from the publisher. Notwithstanding, instructors are permitted to photocopy isolated articles for noncommercial classroom use without fee. (License No.: 10GA0019/12GB0052/13GB0056/17GB0034/18GB0034)

[Return to Top Page]

[Return to IEICE Web Page]

The Institute of Electronics, Information and Communication Engineers (IEICE), Japan