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)
 Results 1 - 5 of 5  /   
Committee Date Time Place Paper Title / Authors Abstract Paper #
COMP 2022-03-06
16:00		 Online Online (Online) Enumerating Labeled Graphs Under Given Constraints Using Answer Set Programming
Yu Nakahata (NAIST) COMP2021-36		 Enumeration of constrained graphs is important for both graph-theoretical study and testcase generation. We propose a me... [more] COMP2021-36
pp.26-30
DE, IPSJ-DBS 2021-12-27
10:50		 Online (Online, Tokyo)
(Primary: Online, Secondary: On-site)		 Tree decomposition compression using tree grammar and query processing based on answer set programming
Kazuyuki Kojima, Hiroyuki Seki (Nagoya Univ.) DE2021-16		 Tree decomposition of a graph is an effective approach to solving problems for large graphs while the decomposition itse... [more] DE2021-16
pp.7-12
KBSE, SS, IPSJ-SE [detail] 2014-07-10
09:00		 Hokkaido Furano-Bunka-Kaikan (Hokkaido) Application of Answer Set Programming to Various Forms of the Task Scheduling Problem
Hiroyuki Kobayashi, Hiroyuki Nakagawa, Hideharu Kojima, Tatsuhiro Tsuchiya (Osaka Univ.) SS2014-9 KBSE2014-12		 Multi-core processor is widely used in recent CPUs. Even though it makes
an evolutional change to high performance com... [more]		 SS2014-9 KBSE2014-12
pp.25-30
AI 2005-10-21
15:35		 Kyoto (Kyoto) The Circum System
Toshiko Wakaki (Shibaura Inst. of Tech.), Katsumi Nitta (Tokyo Inst. of Tech.) 		\begin{eabstract}
So far many studies have been proposed for the automation of
circumscription. However, not only few... [more]		 AI2005-20
pp.31-36
AI 2004-06-21
14:10		 Tokyo Kikai-Shinko-Kaikan Bldg. (Tokyo) Computing Circumscriptive Models by means of Answer Set Programming
Toshiko Wakaki (Shibaura Inst. of Tech.), Katsumi Inoue (NII) 		In computing circumscription by logic programming, circumscription is
usually transformed into some target logic progr... [more]		 AI2004-6
pp.27-32
 Results 1 - 5 of 5  /   
Choose a download format for default settings. [NEW !!]
Text format pLaTeX format CSV format BibTeX format
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