default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Koji Iwanuma
@inproceedings{DBLP:conf/iiaiaai/MaedaI23,
author = {Kosuke Maeda and
Koji Iwanuma},
title = {An {\unicode{1013}}-Approximation On-line Algorithm for Quantiles
Based on Counters},
booktitle = {14th {IIAI} International Congress on Advanced Applied Informatics,
{IIAI-AAI} 2023, Koriyama, Japan, July 8-13, 2023},
pages = {721--724},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/IIAI-AAI59060.2023.00150},
doi = {10.1109/IIAI-AAI59060.2023.00150},
timestamp = {Thu, 18 Jan 2024 08:27:12 +0100},
biburl = {https://dblp.org/rec/conf/iiaiaai/MaedaI23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bigdataconf/IwanumaH22,
author = {Koji Iwanuma and
Ryo Hinata},
editor = {Shusaku Tsumoto and
Yukio Ohsawa and
Lei Chen and
Dirk Van den Poel and
Xiaohua Hu and
Yoichi Motomura and
Takuya Takagi and
Lingfei Wu and
Ying Xie and
Akihiro Abe and
Vijay Raghavan},
title = {A Fast On-Line {\unicode{1013}}-Approximation Algorithm for Mining
Strongly Closed Itemsets},
booktitle = {{IEEE} International Conference on Big Data, Big Data 2022, Osaka,
Japan, December 17-20, 2022},
pages = {6656--6659},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/BigData55660.2022.10020826},
doi = {10.1109/BIGDATA55660.2022.10020826},
timestamp = {Tue, 11 Jun 2024 10:44:02 +0200},
biburl = {https://dblp.org/rec/conf/bigdataconf/IwanumaH22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iiaiaai/YajimaIY22,
author = {Kento Yajima and
Koji Iwanuma and
Yoshitaka Yamamoto},
editor = {Tokuro Matsuo and
Kunihiko Takamatsu and
Yuichi Ono},
title = {A Bottom-Up Enumeration Algorithm of Minimal Generators without Support
Counting for Compressing Negative Association Rules},
booktitle = {12th International Congress on Advanced Applied Informatics, {IIAI-AAI}
2022, Kanazawa, Japan, July 2-8, 2022},
pages = {665--668},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/IIAIAAI55812.2022.00135},
doi = {10.1109/IIAIAAI55812.2022.00135},
timestamp = {Tue, 04 Oct 2022 17:55:04 +0200},
biburl = {https://dblp.org/rec/conf/iiaiaai/YajimaIY22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jiis/YamamotoTI20,
author = {Yoshitaka Yamamoto and
Yasuo Tabei and
Koji Iwanuma},
title = {{PARASOL:} a hybrid approximation approach for scalable frequent itemset
mining in streaming data},
journal = {J. Intell. Inf. Syst.},
volume = {55},
number = {1},
pages = {119--147},
year = {2020},
url = {https://doi.org/10.1007/s10844-019-00590-9},
doi = {10.1007/S10844-019-00590-9},
timestamp = {Fri, 14 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jiis/YamamotoTI20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bigdataconf/IwanumaYY20,
author = {Koji Iwanuma and
Kento Yajima and
Yoshitaka Yamamoto},
editor = {Xintao Wu and
Chris Jermaine and
Li Xiong and
Xiaohua Hu and
Olivera Kotevska and
Siyuan Lu and
Weija Xu and
Srinivas Aluru and
Chengxiang Zhai and
Eyhab Al{-}Masri and
Zhiyuan Chen and
Jeff Saltz},
title = {Mining Consistent, Non-Redundant and Minimal Negative Rules Based
on Minimal Generators},
booktitle = {2020 {IEEE} International Conference on Big Data {(IEEE} BigData 2020),
Atlanta, GA, USA, December 10-13, 2020},
pages = {5706--5709},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/BigData50022.2020.9377846},
doi = {10.1109/BIGDATA50022.2020.9377846},
timestamp = {Fri, 19 Nov 2021 16:08:20 +0100},
biburl = {https://dblp.org/rec/conf/bigdataconf/IwanumaYY20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bigcomp/NishinaIY19,
author = {Takumi Nishina and
Koji Iwanuma and
Yoshitaka Yamamoto},
title = {A Skipping FP-Tree for Incrementally Intersecting Closed Itemsets
in On-Line Stream Mining},
booktitle = {{IEEE} International Conference on Big Data and Smart Computing, BigComp
2019, Kyoto, Japan, February 27 - March 2, 2019},
pages = {1--4},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/BIGCOMP.2019.8679296},
doi = {10.1109/BIGCOMP.2019.8679296},
timestamp = {Wed, 16 Oct 2019 14:14:48 +0200},
biburl = {https://dblp.org/rec/conf/bigcomp/NishinaIY19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bigdataconf/IwanumaNY19,
author = {Koji Iwanuma and
Takumi Nishina and
Yoshitaka Yamamoto},
editor = {Chaitanya K. Baru and
Jun Huan and
Latifur Khan and
Xiaohua Hu and
Ronay Ak and
Yuanyuan Tian and
Roger S. Barga and
Carlo Zaniolo and
Kisung Lee and
Yanfang (Fanny) Ye},
title = {Accelerating an On-Line Approximation Mining for Large Closed Itemsets},
booktitle = {2019 {IEEE} International Conference on Big Data {(IEEE} BigData),
Los Angeles, CA, USA, December 9-12, 2019},
pages = {6078--6080},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/BigData47090.2019.9006573},
doi = {10.1109/BIGDATA47090.2019.9006573},
timestamp = {Tue, 18 Oct 2022 14:44:48 +0200},
biburl = {https://dblp.org/rec/conf/bigdataconf/IwanumaNY19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1901-01710,
author = {Yoshitaka Yamamoto and
Yasuo Tabei and
Koji Iwanuma},
title = {Approximate-Closed-Itemset Mining for Streaming Data Under Resource
Constraint},
journal = {CoRR},
volume = {abs/1901.01710},
year = {2019},
url = {http://arxiv.org/abs/1901.01710},
eprinttype = {arXiv},
eprint = {1901.01710},
timestamp = {Thu, 31 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1901-01710.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bcs/NishinaIY18,
author = {Takumi Nishina and
Koji Iwanuma and
Yoshitaka Yamamoto},
title = {On-Line Approximation Mining for Frequent Closed Itemsets Greater
than or Equal to Size {K}},
booktitle = {2018 {IEEE} International Conference on Big Data, Cloud Computing,
Data Science {\&} Engineering (BCD), Yonago, Japan, July 12-13,
2018},
pages = {61--66},
publisher = {{IEEE} Computer Society},
year = {2018},
url = {https://doi.org/10.1109/BCD2018.2018.00027},
doi = {10.1109/BCD2018.2018.00027},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/bcs/NishinaIY18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edbt/IwanumaYF16,
author = {Koji Iwanuma and
Yoshitaka Yamamoto and
Shoshi Fukuda},
editor = {Evaggelia Pitoura and
Sofian Maabout and
Georgia Koutrika and
Am{\'{e}}lie Marian and
Letizia Tanca and
Ioana Manolescu and
Kostas Stefanidis},
title = {An On-Line Approximation Algorithm for Mining Frequent Closed Itemsets
Based on Incremental Intersection},
booktitle = {Proceedings of the 19th International Conference on Extending Database
Technology, {EDBT} 2016, Bordeaux, France, March 15-16, 2016, Bordeaux,
France, March 15-16, 2016},
pages = {704--705},
publisher = {OpenProceedings.org},
year = {2016},
url = {https://doi.org/10.5441/002/edbt.2016.96},
doi = {10.5441/002/EDBT.2016.96},
timestamp = {Fri, 29 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/edbt/IwanumaYF16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bigdataconf/YamamotoI15,
author = {Yoshitaka Yamamoto and
Koji Iwanuma},
title = {Online pattern mining for high-dimensional data streams},
booktitle = {2015 {IEEE} International Conference on Big Data {(IEEE} BigData 2015),
Santa Clara, CA, USA, October 29 - November 1, 2015},
pages = {2880--2882},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/BigData.2015.7364109},
doi = {10.1109/BIGDATA.2015.7364109},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/bigdataconf/YamamotoI15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmmb/YamamotoRNIMFI14,
author = {Yoshitaka Yamamoto and
Adrien Rougny and
Hidetomo Nabeshima and
Katsumi Inoue and
Hisao Moriya and
Christine Froidevaux and
Koji Iwanuma},
editor = {Fran{\c{c}}ois Fages and
Carla Piazza},
title = {Completing {SBGN-AF} Networks by Logic-Based Hypothesis Finding},
booktitle = {Formal Methods in Macro-Biology - First International Conference,
{FMMB} 2014, Noum{\'{e}}a, New Caledonia, September 22-24, 2014.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8738},
pages = {165--179},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-10398-3\_14},
doi = {10.1007/978-3-319-10398-3\_14},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmmb/YamamotoRNIMFI14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigmod/YamamotoIF14,
author = {Yoshitaka Yamamoto and
Koji Iwanuma and
Shoshi Fukuda},
editor = {Curtis E. Dyreson and
Feifei Li and
M. Tamer {\"{O}}zsu},
title = {Resource-oriented approximation for frequent itemset mining from bursty
data streams},
booktitle = {International Conference on Management of Data, {SIGMOD} 2014, Snowbird,
UT, USA, June 22-27, 2014},
pages = {205--216},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2588555.2612171},
doi = {10.1145/2588555.2612171},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigmod/YamamotoIF14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/NabeshimaII13,
author = {Hidetomo Nabeshima and
Koji Iwanuma and
Katsumi Inoue},
title = {On-the-Fly Lazy Clause Simplification Based on Binary Resolvents},
booktitle = {25th {IEEE} International Conference on Tools with Artificial Intelligence,
{ICTAI} 2013, Herndon, VA, USA, November 4-6, 2013},
pages = {987--995},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/ICTAI.2013.149},
doi = {10.1109/ICTAI.2013.149},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictai/NabeshimaII13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ml/YamamotoII12,
author = {Yoshitaka Yamamoto and
Katsumi Inoue and
Koji Iwanuma},
title = {Inverse subsumption for complete explanatory induction},
journal = {Mach. Learn.},
volume = {86},
number = {1},
pages = {115--139},
year = {2012},
url = {https://doi.org/10.1007/s10994-011-5250-y},
doi = {10.1007/S10994-011-5250-Y},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ml/YamamotoII12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ilp/YamamotoII12b,
author = {Yoshitaka Yamamoto and
Koji Iwanuma and
Katsumi Inoue},
editor = {Fabrizio Riguzzi and
Filip Zelezn{\'{y}}},
title = {Non-monotone Dualization via Monotone Dualization},
booktitle = {Late Breaking Papers of the 22nd International Conference on Inductive
Logic Programming, Dubrovnik, Croatia, September 17-19, 2012},
series = {{CEUR} Workshop Proceedings},
volume = {975},
pages = {74--79},
publisher = {CEUR-WS.org},
year = {2012},
url = {https://ceur-ws.org/Vol-975/paper-09.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:03 +0100},
biburl = {https://dblp.org/rec/conf/ilp/YamamotoII12b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ilp/YamamotoII12a,
author = {Yoshitaka Yamamoto and
Katsumi Inoue and
Koji Iwanuma},
editor = {Fabrizio Riguzzi and
Filip Zelezn{\'{y}}},
title = {Heuristic Inverse Subsumption in Full-Clausal Theories},
booktitle = {Inductive Logic Programming - 22nd International Conference, {ILP}
2012, Dubrovnik, Croatia, September 17-19, 2012, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {7842},
pages = {241--256},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-38812-5\_17},
doi = {10.1007/978-3-642-38812-5\_17},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ilp/YamamotoII12a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ilp/YamamotoII12,
author = {Yoshitaka Yamamoto and
Katsumi Inoue and
Koji Iwanuma},
editor = {Stephen H. Muggleton and
Alireza Tamaddoni{-}Nezhad and
Francesca A. Lisi},
title = {Comparison of Upward and Downward Generalizations in CF-Induction},
booktitle = {Inductive Logic Programming - 21st International Conference, {ILP}
2011, Windsor Great Park, UK, July 31 - August 3, 2011, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {7207},
pages = {373--388},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-31951-8\_31},
doi = {10.1007/978-3-642-31951-8\_31},
timestamp = {Sat, 30 Apr 2022 12:43:31 +0200},
biburl = {https://dblp.org/rec/conf/ilp/YamamotoII12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aicom/NabeshimaIIR10,
author = {Hidetomo Nabeshima and
Koji Iwanuma and
Katsumi Inoue and
Oliver Ray},
title = {{SOLAR:} An automated deduction system for consequence finding},
journal = {{AI} Commun.},
volume = {23},
number = {2-3},
pages = {183--203},
year = {2010},
url = {https://doi.org/10.3233/AIC-2010-0465},
doi = {10.3233/AIC-2010-0465},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/aicom/NabeshimaIIR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/japll/IwanumaIN09,
author = {Koji Iwanuma and
Katsumi Inoue and
Hidetomo Nabeshima},
title = {Reconsideration of circumscriptive induction with pointwise circumscription},
journal = {J. Appl. Log.},
volume = {7},
number = {3},
pages = {307--317},
year = {2009},
url = {https://doi.org/10.1016/j.jal.2008.10.005},
doi = {10.1016/J.JAL.2008.10.005},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/japll/IwanumaIN09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftp/IwanumaNI09,
author = {Koji Iwanuma and
Hidetomo Nabeshima and
Katsumi Inoue},
editor = {Nicolas Peltier and
Viorica Sofronie{-}Stokkermans},
title = {Toward an Efficient Equality Computation in Connection Tableaux: {A}
Modification Method without Symmetry Transformation},
booktitle = {Proceedings of the 7th International Workshop on First-Order Theorem
Proving, {FTP} 2009, Oslo, Norway, July 6-7, 2009},
series = {{CEUR} Workshop Proceedings},
volume = {556},
publisher = {CEUR-WS.org},
year = {2009},
url = {https://ceur-ws.org/Vol-556/paper04.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:18 +0100},
biburl = {https://dblp.org/rec/conf/ftp/IwanumaNI09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/NabeshimaII08,
author = {Hidetomo Nabeshima and
Koji Iwanuma and
Katsumi Inoue},
editor = {Piotr Rudnicki and
Geoff Sutcliffe and
Boris Konev and
Renate A. Schmidt and
Stephan Schulz},
title = {Complete Pruning Methods and a Practical Search Strategy for {SOL}},
booktitle = {Proceedings of the {LPAR} 2008 Workshops, Knowledge Exchange: Automated
Provers and Proof Assistants, and the 7th International Workshop on
the Implementation of Logics, Doha, Qatar, November 22, 2008},
series = {{CEUR} Workshop Proceedings},
volume = {418},
publisher = {CEUR-WS.org},
year = {2008},
url = {https://ceur-ws.org/Vol-418/paper9.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:21 +0100},
biburl = {https://dblp.org/rec/conf/lpar/NabeshimaII08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jiis/InoueIN06,
author = {Katsumi Inoue and
Koji Iwanuma and
Hidetomo Nabeshima},
title = {Consequence finding and computing answers with defaults},
journal = {J. Intell. Inf. Syst.},
volume = {26},
number = {1},
pages = {41--58},
year = {2006},
url = {https://doi.org/10.1007/s10844-006-5450-2},
doi = {10.1007/S10844-006-5450-2},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jiis/InoueIN06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/NabeshimaSII06,
author = {Hidetomo Nabeshima and
Takehide Soh and
Katsumi Inoue and
Koji Iwanuma},
editor = {Derek Long and
Stephen F. Smith and
Daniel Borrajo and
Lee McCluskey},
title = {Lemma Reusing for {SAT} based Planning and Scheduling},
booktitle = {Proceedings of the Sixteenth International Conference on Automated
Planning and Scheduling, {ICAPS} 2006, Cumbria, UK, June 6-10, 2006},
pages = {103--113},
publisher = {{AAAI}},
year = {2006},
url = {http://www.aaai.org/Library/ICAPS/2006/icaps06-011.php},
timestamp = {Fri, 05 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aips/NabeshimaSII06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/webi/NabeshimaMSI06,
author = {Hidetomo Nabeshima and
Reiko Miyagawa and
Yuki Suzuki and
Koji Iwanuma},
title = {Rapid Synthesis of Domain-Specific Web Search Engines Based on Semi-Automatic
Training-Example Generation},
booktitle = {2006 {IEEE} / {WIC} / {ACM} International Conference on Web Intelligence
{(WI} 2006), 18-22 December 2006, Hong Kong, China},
pages = {769--772},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/WI.2006.143},
doi = {10.1109/WI.2006.143},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/webi/NabeshimaMSI06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aia/NabeshimaNI05,
author = {Hidetomo Nabeshima and
Hirohito Nozawa and
Koji Iwanuma},
editor = {M. H. Hamza},
title = {Effective {SAT} Planning by Lemma-Reusing},
booktitle = {{IASTED} International Conference on Artificial Intelligence and Applications,
part of the 23rd Multi-Conference on Applied Informatics, Innsbruck,
Austria, February 14-16, 2005},
pages = {1--5},
publisher = {{IASTED/ACTA} Press},
year = {2005},
timestamp = {Mon, 17 Oct 2005 14:07:48 +0200},
biburl = {https://dblp.org/rec/conf/aia/NabeshimaNI05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdm/IwanumaITN05,
author = {Koji Iwanuma and
Ryuichi Ishihara and
Yo Takano and
Hidetomo Nabeshima},
title = {Extracting Frequent Subsequences from a Single Long Data Sequence:
{A} Novel Anti-Monotonic Measure and a Simple On-Line Algorithm},
booktitle = {Proceedings of the 5th {IEEE} International Conference on Data Mining
{(ICDM} 2005), 27-30 November 2005, Houston, Texas, {USA}},
pages = {186--193},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/ICDM.2005.60},
doi = {10.1109/ICDM.2005.60},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icdm/IwanumaITN05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/IwanumaIN05,
author = {Koji Iwanuma and
Katsumi Inoue and
Hidetomo Nabeshima},
editor = {Dang Van Hung and
Martin Wirsing},
title = {Upside-Down Transformation in SOL/Connection Tableaux and Its Application},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2005, Second International
Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3722},
pages = {166--179},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11560647\_11},
doi = {10.1007/11560647\_11},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ictac/IwanumaIN05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/InoueI04,
author = {Katsumi Inoue and
Koji Iwanuma},
title = {Speculative Computation Through Consequence-Finding in Multi-Agent
Environments},
journal = {Ann. Math. Artif. Intell.},
volume = {42},
number = {1-3},
pages = {255--291},
year = {2004},
url = {https://doi.org/10.1023/B:AMAI.0000034529.83643.ce},
doi = {10.1023/B:AMAI.0000034529.83643.CE},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/amai/InoueI04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fqas/InoueIN04,
author = {Katsumi Inoue and
Koji Iwanuma and
Hidetomo Nabeshima},
editor = {Henning Christiansen and
Mohand{-}Said Hacid and
Troels Andreasen and
Henrik Legind Larsen},
title = {Consequence Finding in Default Theories},
booktitle = {Flexible Query Answering Systems, 6th International Conference, {FQAS}
2004, Lyon, France, June 24-26, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3055},
pages = {459--472},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-25957-2\_36},
doi = {10.1007/978-3-540-25957-2\_36},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/fqas/InoueIN04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/NabeshimaII03,
author = {Hidetomo Nabeshima and
Koji Iwanuma and
Katsumi Inoue},
editor = {Marta Cialdea Mayer and
Fiora Pirri},
title = {{SOLAR:} {A} Consequence Finding System for Advanced Reasoning},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods, International
Conference, {TABLEAUX} 2003, Rome, Italy, September 9-12, 2003. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2796},
pages = {257--263},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45206-5\_22},
doi = {10.1007/978-3-540-45206-5\_22},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/NabeshimaII03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ausai/NabeshimaII02,
author = {Hidetomo Nabeshima and
Koji Iwanuma and
Katsumi Inoue},
editor = {Bob McKay and
John K. Slaney},
title = {Effective {SAT} Planning by Speculative Computation},
booktitle = {{AI} 2002: Advances in Artificial Intelligence, 15th Australian Joint
Conference on Artificial Intelligence, Canberra, Australia, December
2-6, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2557},
pages = {726--728},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-36187-1\_74},
doi = {10.1007/3-540-36187-1\_74},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/ausai/NabeshimaII02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ideal/UmeharaIN02,
author = {Masayuki Umehara and
Koji Iwanuma and
Hidetomo Nabeshima},
editor = {Hujun Yin and
Nigel M. Allinson and
Richard T. Freeman and
John A. Keane and
Simon J. Hubbard},
title = {A Case-Based Recognition of Semantic Structures in {HTML} Documents},
booktitle = {Intelligent Data Engineering and Automated Learning - {IDEAL} 2002,
Third International Conference, Manchester, UK, August 12-14, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2412},
pages = {141--147},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45675-9\_24},
doi = {10.1007/3-540-45675-9\_24},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/ideal/UmeharaIN02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/IwanumaI02,
author = {Koji Iwanuma and
Katsumi Inoue},
editor = {Sergio Flesca and
Sergio Greco and
Nicola Leone and
Giovambattista Ianni},
title = {Minimal Answer Computation and {SOL}},
booktitle = {Logics in Artificial Intelligence, European Conference, {JELIA} 2002,
Cosenza, Italy, September, 23-26, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2424},
pages = {245--258},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45757-7\_21},
doi = {10.1007/3-540-45757-7\_21},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jelia/IwanumaI02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/IwanumaI02,
author = {Koji Iwanuma and
Katsumi Inoue},
editor = {J{\"{u}}rgen Dix and
Jo{\~{a}}o Alexandre Leite and
Ken Satoh},
title = {Conditional Answer Computation in {SOL} as Speculative Computation
in Multi-Agent Environments},
booktitle = {Computational Logic in Multi-Agent Systems, {CLIMA} 2002, FLoC Satellite
Event, Copenhagen, Denmark, August 1, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {70},
number = {5},
pages = {167--182},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(04)80595-4},
doi = {10.1016/S1571-0661(04)80595-4},
timestamp = {Tue, 06 Dec 2022 15:03:24 +0100},
biburl = {https://dblp.org/rec/journals/entcs/IwanumaI02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cl/SakamaIIS00,
author = {Chiaki Sakama and
Katsumi Inoue and
Koji Iwanuma and
Ken Satoh},
editor = {Ken Satoh and
Fariba Sadri},
title = {A Defeasible Reasoning System in Multi-Agent Environment},
booktitle = {{CL-2000} Workshop on Computational Logic in Multi-Agent Systems (CLIMA-00),
London, UK, July 24-25, 2000},
pages = {1--6},
year = {2000},
timestamp = {Tue, 21 Nov 2017 19:17:13 +0100},
biburl = {https://dblp.org/rec/conf/cl/SakamaIIS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icmas/SatohIIS00,
author = {Ken Satoh and
Katsumi Inoue and
Koji Iwanuma and
Chiaki Sakama},
title = {Speculative Computation by Abduction under Incomplete Communication
Environments},
booktitle = {4th International Conference on Multi-Agent Systems, {ICMAS} 2000,
Boston, MA, USA, July 10-12, 2000},
pages = {263--270},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/ICMAS.2000.858462},
doi = {10.1109/ICMAS.2000.858462},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icmas/SatohIIS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ideal/UmeharaI00,
author = {Masayuki Umehara and
Koji Iwanuma},
editor = {Kwong{-}Sak Leung and
Lai{-}Wan Chan and
Helen Meng},
title = {A Case-Based Transformation from {HTML} to {XML}},
booktitle = {Intelligent Data Engineering and Automated Learning - {IDEAL} 2000,
Data Mining, Financial Engineering, and Intelligent Agents, Second
International Conference, Shatin, {N.T.} Hong Kong, China, December
13-15, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1983},
pages = {410--415},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44491-2\_60},
doi = {10.1007/3-540-44491-2\_60},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/ideal/UmeharaI00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asian/IwanumaK99,
author = {Koji Iwanuma and
Kenichi Kishino},
editor = {P. S. Thiagarajan and
Roland H. C. Yap},
title = {Lemma Generalization and Non-unit Lemma Matching for Model Elimination},
booktitle = {Advances in Computing Science - ASIAN'99, 5th Asian Computing Science
Conference, Phuket, Thailand, December 10-12, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1742},
pages = {163--176},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-46674-6\_15},
doi = {10.1007/3-540-46674-6\_15},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/asian/IwanumaK99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Iwanuma97,
author = {Koji Iwanuma},
editor = {William McCune},
title = {Lemma Matching for a PTTP-based Top-down Theorem Prover},
booktitle = {Automated Deduction - CADE-14, 14th International Conference on Automated
Deduction, Townsville, North Queensland, Australia, July 13-17, 1997,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1249},
pages = {146--160},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63104-6\_16},
doi = {10.1007/3-540-63104-6\_16},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/Iwanuma97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/IwanumaO96,
author = {Koji Iwanuma and
Kazuhiko Oota},
title = {An Extension of Pointwise Circumscription},
journal = {Artif. Intell.},
volume = {86},
number = {2},
pages = {391--402},
year = {1996},
url = {https://doi.org/10.1016/S0004-3702(96)00028-8},
doi = {10.1016/S0004-3702(96)00028-8},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/IwanumaO96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Iwanuma94,
author = {Koji Iwanuma},
editor = {Alan Bundy},
title = {Conservative Query Normalization on Parallel Circumscription},
booktitle = {Automated Deduction - CADE-12, 12th International Conference on Automated
Deduction, Nancy, France, June 26 - July 1, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {814},
pages = {296--310},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58156-1\_21},
doi = {10.1007/3-540-58156-1\_21},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/Iwanuma94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scjapan/HaraoI90,
author = {Masateru Harao and
Koji Iwanuma},
title = {Automated Design of Circuits from Recursion Equations Using Theorem-Proving
Technique},
journal = {Syst. Comput. Jpn.},
volume = {21},
number = {6},
pages = {95--107},
year = {1990},
url = {https://doi.org/10.1002/scj.4690210610},
doi = {10.1002/SCJ.4690210610},
timestamp = {Wed, 13 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scjapan/HaraoI90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scjapan/HaraoI89,
author = {Masateru Harao and
Koji Iwanuma},
title = {Transformation rules for automated design of circuits by theorem-proving
techniques. Transformation from recursion equations to circuit descriptions},
journal = {Syst. Comput. Jpn.},
volume = {20},
number = {1},
pages = {93--105},
year = {1989},
url = {https://doi.org/10.1002/scj.4690200110},
doi = {10.1002/SCJ.4690200110},
timestamp = {Wed, 13 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scjapan/HaraoI89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fgcs/IwanumaH88,
author = {Koji Iwanuma and
Masateru Harao},
title = {Knowledge Representation and Inference Based on First-Order Modal
Logic},
booktitle = {Proceedings of the International Conference on Fifth Generation Computer
Systems, {FGCS} 1988, Tokyo, Japan, November 28-December 2, 1988},
pages = {499--506},
publisher = {{OHMSHA} Ltd. Tokyo and Springer-Verlag},
year = {1988},
timestamp = {Mon, 05 Aug 2019 17:00:40 +0200},
biburl = {https://dblp.org/rec/conf/fgcs/IwanumaH88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scjapan/IwanumaHN87,
author = {Koji Iwanuma and
Masateru Harao and
Shoichi Noguchi},
title = {Completeness of temporal and spatial logic {ETSL}},
journal = {Syst. Comput. Jpn.},
volume = {18},
number = {6},
pages = {1--14},
year = {1987},
url = {https://doi.org/10.1002/scj.4690180601},
doi = {10.1002/SCJ.4690180601},
timestamp = {Wed, 13 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scjapan/IwanumaHN87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lp/IwanumaH87,
author = {Koji Iwanuma and
Masateru Harao},
editor = {Koichi Furukawa and
Hozumi Tanaka and
Tetsunosuke Fujisaki},
title = {Knowledge Representation and Inference Based on First-Order Modal
Logic},
booktitle = {Logic Programming '87, Proceedings of the 6th Conference, Tokyo, Japan,
June 22-24, 1987},
series = {Lecture Notes in Computer Science},
volume = {315},
pages = {236--251},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-19426-6\_15},
doi = {10.1007/3-540-19426-6\_15},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/lp/IwanumaH87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-24 22:51 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
