Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Hajime Sawamura
@inproceedings{DBLP:conf/comma/SawamuraROH14,
author = {Hajime Sawamura and
Jacques Riche and
Yutaka Oomidou and
Takeshi Hagiwara},
editor = {Simon Parsons and
Nir Oren and
Chris Reed and
Federico Cerutti},
title = {Balanced Semantics for Argumentation based on Heider's Socio-Psychological
Balance Theory},
booktitle = {Computational Models of Argument - Proceedings of {COMMA} 2014, Atholl
Palace Hotel, Scottish Highlands, UK, September 9-12, 2014},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {266},
pages = {397--404},
publisher = {{IOS} Press},
year = {2014},
url = {https://doi.org/10.3233/978-1-61499-436-7-397},
doi = {10.3233/978-1-61499-436-7-397},
timestamp = {Thu, 10 Aug 2023 14:30:52 +0200},
biburl = {https://dblp.org/rec/conf/comma/SawamuraROH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/comma/OomidouKSRH14,
author = {Yutaka Oomidou and
Yuki Katsura and
Hajime Sawamura and
Jacques Riche and
Takeshi Hagiwara},
editor = {Simon Parsons and
Nir Oren and
Chris Reed and
Federico Cerutti},
title = {Asynchronous Argumentation System {PIRIKA} for Anyone, Anytime, Anywhere,
with the Balanced Semantics},
booktitle = {Computational Models of Argument - Proceedings of {COMMA} 2014, Atholl
Palace Hotel, Scottish Highlands, UK, September 9-12, 2014},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {266},
pages = {471--472},
publisher = {{IOS} Press},
year = {2014},
url = {https://doi.org/10.3233/978-1-61499-436-7-471},
doi = {10.3233/978-1-61499-436-7-471},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/comma/OomidouKSRH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaart/KatsuraSHR14,
author = {Yuki Katsura and
Hajime Sawamura and
Takeshi Hagiwara and
Jacques Riche},
editor = {B{\'{e}}atrice Duval and
H. Jaap van den Herik and
St{\'{e}}phane Loiseau and
Joaquim Filipe},
title = {Asynchronous Argumentation with Pervasive Personal Communication Tools},
booktitle = {{ICAART} 2014 - Proceedings of the 6th International Conference on
Agents and Artificial Intelligence, Volume 2, ESEO, Angers, Loire
Valley, France, 6-8 March, 2014},
pages = {105--114},
publisher = {SciTePress},
year = {2014},
url = {https://doi.org/10.5220/0004751101050114},
doi = {10.5220/0004751101050114},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icaart/KatsuraSHR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaart/TannaiOHSR13,
author = {Satoru Tannai and
Shogo Ohta and
Takeshi Hagiwara and
Hajime Sawamura and
Jacques Riche},
editor = {Joaquim Filipe and
Ana L. N. Fred},
title = {The State of the Art in the Development of a Versatile Argumentation
System based on the Logic of Multiple-valued Argumentation},
booktitle = {{ICAART} 2013 - Proceedings of the 5th International Conference on
Agents and Artificial Intelligence, Volume 2, Barcelona, Spain, 15-18
February, 2013},
pages = {217--224},
publisher = {SciTePress},
year = {2013},
timestamp = {Tue, 01 Oct 2013 15:40:12 +0200},
biburl = {https://dblp.org/rec/conf/icaart/TannaiOHSR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prima/OomidouSHR13,
author = {Yutaka Oomidou and
Hajime Sawamura and
Takeshi Hagiwara and
Jacques Riche},
editor = {Guido Boella and
Edith Elkind and
Bastin Tony Roy Savarimuthu and
Frank Dignum and
Martin K. Purvis},
title = {Non-standard Uses of {PIRIKA:} Pilot of the Right Knowledge and Argument},
booktitle = {{PRIMA} 2013: Principles and Practice of Multi-Agent Systems - 16th
International Conference, Dunedin, New Zealand, December 1-6, 2013.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8291},
pages = {229--244},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-44927-7\_16},
doi = {10.1007/978-3-642-44927-7\_16},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/prima/OomidouSHR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/kais/AbbasS12,
author = {Safia Abbas and
Hajime Sawamura},
title = {Argument mining based on a structured database and its usage in an
intelligent tutoring environment},
journal = {Knowl. Inf. Syst.},
volume = {30},
number = {1},
pages = {213--246},
year = {2012},
url = {https://doi.org/10.1007/s10115-010-0371-3},
doi = {10.1007/S10115-010-0371-3},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/kais/AbbasS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/kes/AbbasS11,
author = {Safia Abbas and
Hajime Sawamura},
title = {{ALES:} An innovative agent-based learning environment to teach argumentation},
journal = {Int. J. Knowl. Based Intell. Eng. Syst.},
volume = {15},
number = {1},
pages = {25--41},
year = {2011},
url = {https://doi.org/10.3233/KES-2010-0208},
doi = {10.3233/KES-2010-0208},
timestamp = {Thu, 20 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/kes/AbbasS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/argmas/MaruyamaHHS11,
author = {Yoshifumi Maruyama and
Taichi Hasegawa and
Takeshi Hagiwara and
Hajime Sawamura},
editor = {Peter McBurney and
Simon Parsons and
Iyad Rahwan},
title = {Syncretic Argumentation for Multi-agents by Lattice Homomorphism,
Fusion and Sum},
booktitle = {Argumentation in Multi-Agent Systems - 8th International Workshop,
ArgMAS 2011, Taipei, Taiwan, May 3, 2011, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7543},
pages = {46--65},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-33152-7\_4},
doi = {10.1007/978-3-642-33152-7\_4},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/argmas/MaruyamaHHS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/his/TannaiGMIHS11,
author = {Satoru Tannai and
Yoshiaki Goto and
Yoshifumi Maruyama and
Takuto Itoya and
Takeshi Hagiwara and
Hajime Sawamura},
editor = {Ajith Abraham and
Mohamed Kamel and
Ronald R. Yager},
title = {A versatile argumentation system based on the Logic of Multiple-valued
Argumentation},
booktitle = {11th International Conference on Hybrid Intelligent Systems, {HIS}
2011, Melacca, Malaysia, December 5-8, 2011},
pages = {370--376},
publisher = {{IEEE}},
year = {2011},
url = {https://doi.org/10.1109/HIS.2011.6122134},
doi = {10.1109/HIS.2011.6122134},
timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
biburl = {https://dblp.org/rec/conf/his/TannaiGMIHS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcci/GotoHS11,
author = {Yoshiaki Goto and
Takeshi Hagiwara and
Hajime Sawamura},
editor = {Kurosh Madani and
Janusz Kacprzyk and
Joaquim Filipe},
title = {Neural Networks Computing the Dungean Semantics of Argumentation},
booktitle = {{NCTA} 2011 - Proceedings of the International Conference on Neural
Computation Theory and Applications [part of the International Joint
Conference on Computational Intelligence {IJCCI} 2011], Paris, France,
24-26 October, 2011},
pages = {5--14},
publisher = {SciTePress},
year = {2011},
timestamp = {Thu, 03 May 2012 19:03:07 +0200},
biburl = {https://dblp.org/rec/conf/ijcci/GotoHS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nesy/GotoMS11,
author = {Yoshiaki Goto and
Wataru Makiguchi and
Hajime Sawamura},
editor = {Artur S. d'Avila Garcez and
Pascal Hitzler and
Lu{\'{\i}}s C. Lamb},
title = {Extracting Argumentative Dialogues from the Neural Network that Computes
the Dungean Argumentation Semantics},
booktitle = {Proceedings of the Seventh International Workshop on Neural-Symbolic
Learning and Reasoning, Barcelona, Spain, July 17, 2011},
series = {{CEUR} Workshop Proceedings},
volume = {764},
pages = {28--33},
publisher = {CEUR-WS.org},
year = {2011},
url = {https://ceur-ws.org/Vol-764/paper07.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:33 +0100},
biburl = {https://dblp.org/rec/conf/nesy/GotoMS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/HasegawaS10,
author = {Taichi Hasegawa and
Hajime Sawamura},
editor = {Wiebe van der Hoek and
Gal A. Kaminka and
Yves Lesp{\'{e}}rance and
Michael Luck and
Sandip Sen},
title = {Syncretic argumentation by lattice homomorphism and fusion},
booktitle = {9th International Conference on Autonomous Agents and Multiagent Systems
{(AAMAS} 2010), Toronto, Canada, May 10-14, 2010, Volume 1-3},
pages = {1595--1596},
publisher = {{IFAAMAS}},
year = {2010},
url = {https://dl.acm.org/citation.cfm?id=1838498},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atal/HasegawaS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/argmas/WakakiNS09,
author = {Toshiko Wakaki and
Katsumi Nitta and
Hajime Sawamura},
editor = {Peter McBurney and
Iyad Rahwan and
Simon Parsons and
Nicolas Maudet},
title = {Computing Abductive Argumentation in Answer Set Programming},
booktitle = {Argumentation in Multi-Agent Systems, 6th International Workshop,
ArgMAS 2009, Budapest, Hungary, May 12, 2009. Revised Selected and
Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {6057},
pages = {195--215},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-12805-9\_12},
doi = {10.1007/978-3-642-12805-9\_12},
timestamp = {Sat, 19 Oct 2019 20:24:15 +0200},
biburl = {https://dblp.org/rec/conf/argmas/WakakiNS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edm/AbbasS09,
author = {Safia Abbas and
Hajime Sawamura},
editor = {Tiffany Barnes and
Michel C. Desmarais and
Crist{\'{o}}bal Romero and
Sebasti{\'{a}}n Ventura},
title = {an Argument Learning Environment Using Agent-Based {ITS} {(ALES)}},
booktitle = {Educational Data Mining - {EDM} 2009, Cordoba, Spain, July 1-3, 2009.
Proceedings of the 2nd International Conference on Educational Data
Mining},
pages = {200--209},
publisher = {www.educationaldatamining.org},
year = {2009},
url = {http://www.educationaldatamining.org/EDM2009/uploads/proceedings/abbas.pdf},
timestamp = {Tue, 23 Aug 2022 09:19:48 +0200},
biburl = {https://dblp.org/rec/conf/edm/AbbasS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prima/HasegawaAS09,
author = {Taichi Hasegawa and
Safia Abbas and
Hajime Sawamura},
editor = {Jung{-}Jin Yang and
Makoto Yokoo and
Takayuki Ito and
Zhi Jin and
Paul Scerri},
title = {Syncretic Argumentation by Means of Lattice Homomorphism},
booktitle = {Principles of Practice in Multi-Agent Systems, 12th International
Conference, {PRIMA} 2009, Nagoya, Japan, December 14-16, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5925},
pages = {159--174},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-11161-7\_11},
doi = {10.1007/978-3-642-11161-7\_11},
timestamp = {Wed, 08 Sep 2021 09:45:06 +0200},
biburl = {https://dblp.org/rec/conf/prima/HasegawaAS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/comma/SuzukiS08,
author = {Takayoshi Suzuki and
Hajime Sawamura},
editor = {Philippe Besnard and
Sylvie Doutre and
Anthony Hunter},
title = {Agent Dialogue as Partial Uncertain Argumentation and its Fixpoint
Semantics},
booktitle = {Computational Models of Argument: Proceedings of {COMMA} 2008, Toulouse,
France, May 28-30, 2008},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {172},
pages = {369--380},
publisher = {{IOS} Press},
year = {2008},
url = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=9295},
timestamp = {Wed, 14 Mar 2012 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/comma/SuzukiS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edm/AbbasS08,
author = {Safia Abbas and
Hajime Sawamura},
editor = {Ryan Shaun Joazeiro de Baker and
Tiffany Barnes and
Joseph E. Beck},
title = {Towards Argument Mining from Relational DataBase},
booktitle = {Educational Data Mining 2008, The 1st International Conference on
Educational Data Mining, Montreal, Qu{\'{e}}bec, Canada, June
20-21, 2008. Proceedings},
pages = {202--209},
publisher = {www.educationaldatamining.org},
year = {2008},
url = {http://www.educationaldatamining.org/EDM2008/uploads/proc/23\_Abbas\_15.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/edm/AbbasS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kes/AbbasS08,
author = {Safia Abbas and
Hajime Sawamura},
editor = {Ignac Lovrek and
Robert J. Howlett and
Lakhmi C. Jain},
title = {A First Step towards Argument Mining and Its Use in Arguing Agents
and {ITS}},
booktitle = {Knowledge-Based Intelligent Information and Engineering Systems, 12th
International Conference, {KES} 2008, Zagreb, Croatia, September 3-5,
2008, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {5177},
pages = {149--157},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85563-7\_24},
doi = {10.1007/978-3-540-85563-7\_24},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/kes/AbbasS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kesamsta/FukumotoKS08,
author = {Taro Fukumoto and
Syuusuke Kuribara and
Hajime Sawamura},
editor = {Ngoc Thanh Nguyen and
GeunSik Jo and
Robert J. Howlett and
Lakhmi C. Jain},
title = {An Integrated Argumentation Environment for Arguing Agents},
booktitle = {Agent and Multi-Agent Systems: Technologies and Applications, Second
{KES} International Symposium, {KES-AMSTA} 2008, Incheon, Korea, March
26-28, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4953},
pages = {351--360},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78582-8\_36},
doi = {10.1007/978-3-540-78582-8\_36},
timestamp = {Thu, 16 Mar 2023 20:00:31 +0100},
biburl = {https://dblp.org/rec/conf/kesamsta/FukumotoKS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prima/KuribaraAS08,
author = {Syuusuke Kuribara and
Safia Abbas and
Hajime Sawamura},
editor = {The Duy Bui and
Tuong Vinh Ho and
Quang{-}Thuy Ha},
title = {Applying the Logic of Multiple-Valued Argumentation to Social Web:
{SNS} and Wikipedia},
booktitle = {Intelligent Agents and Multi-Agent Systems, 11th Pacific Rim International
Conference on Multi-Agents, {PRIMA} 2008, Hanoi, Vietnam, December
15-16, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5357},
pages = {251--258},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89674-6\_28},
doi = {10.1007/978-3-540-89674-6\_28},
timestamp = {Thu, 28 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/prima/KuribaraAS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/argmas/MakiguchiS07,
author = {Wataru Makiguchi and
Hajime Sawamura},
editor = {Iyad Rahwan and
Simon Parsons and
Chris Reed},
title = {A Hybrid Argumentation of Symbolic and Neural Net Argumentation (Part
{I)}},
booktitle = {Argumentation in Multi-Agent Systems, 4th International Workshop,
ArgMAS 2007, Honolulu, HI, USA, May 15, 2007, Revised Selected and
Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {4946},
pages = {197--215},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-78915-4\_13},
doi = {10.1007/978-3-540-78915-4\_13},
timestamp = {Thu, 10 Aug 2023 14:30:52 +0200},
biburl = {https://dblp.org/rec/conf/argmas/MakiguchiS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/argmas/MakiguchiS07a,
author = {Wataru Makiguchi and
Hajime Sawamura},
editor = {Iyad Rahwan and
Simon Parsons and
Chris Reed},
title = {A Hybrid Argumentation of Symbolic and Neural Net Argumentation (Part
{II)}},
booktitle = {Argumentation in Multi-Agent Systems, 4th International Workshop,
ArgMAS 2007, Honolulu, HI, USA, May 15, 2007, Revised Selected and
Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {4946},
pages = {216--233},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-78915-4\_14},
doi = {10.1007/978-3-540-78915-4\_14},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/argmas/MakiguchiS07a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/awic/WakakiSN07,
author = {Toshiko Wakaki and
Hajime Sawamura and
Katsumi Nitta},
editor = {Katarzyna Wegrzyn{-}Wolska and
Piotr S. Szczepaniak},
title = {An Integrated System of Semantic Web Reasoning and Argument-Based
Reasoning},
booktitle = {Advances in Intelligent Web Mastering, Proceedings of the 5th Atlantic
Web Intelligence Conference - {AWIC} 2007, Fontainebleau, France,
June 25 - 27, 2007},
series = {Advances in Soft Computing},
volume = {43},
pages = {349--356},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-72575-6\_56},
doi = {10.1007/978-3-540-72575-6\_56},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/awic/WakakiSN07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prima/SuzukiS07,
author = {Takayoshi Suzuki and
Hajime Sawamura},
editor = {Aditya K. Ghose and
Guido Governatori and
Ramakoti Sadananda},
title = {Agent Dialogue as Partial Argumentation and Its Fixpoint Semantics},
booktitle = {Agent Computing and Multi-Agent Systems, 10th Pacific Rim International
Conference on Multi-Agents, {PRIMA} 2007, Bangkok, Thailand, November
21-23, 2007. Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {5044},
pages = {434--439},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-642-01639-4\_43},
doi = {10.1007/978-3-642-01639-4\_43},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/prima/SuzukiS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/argmas/FukumotoS06,
author = {Taro Fukumoto and
Hajime Sawamura},
editor = {Nicolas Maudet and
Simon Parsons and
Iyad Rahwan},
title = {Argumentation-Based Learning},
booktitle = {Argumentation in Multi-Agent Systems, Third International Workshop,
ArgMAS 2006, Hakodate, Japan, May 8, 2006, Revised Selected and Invited
Papers},
series = {Lecture Notes in Computer Science},
volume = {4766},
pages = {17--35},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-75526-5\_2},
doi = {10.1007/978-3-540-75526-5\_2},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/argmas/FukumotoS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/WakakiMMSMFN06,
author = {Toshiko Wakaki and
Takanori Mukai and
Hiromitsu Miyashita and
Hajime Sawamura and
Kumiko Matsunaga and
Taro Fukumoto and
Katsumi Nitta},
editor = {Hideyuki Nakashima and
Michael P. Wellman and
Gerhard Weiss and
Peter Stone},
title = {Automated argument system based on logic of multiple-valued argumentation},
booktitle = {5th International Joint Conference on Autonomous Agents and Multiagent
Systems {(AAMAS} 2006), Hakodate, Japan, May 8-12, 2006},
pages = {1461--1462},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1160633.1160915},
doi = {10.1145/1160633.1160915},
timestamp = {Tue, 08 Mar 2022 10:12:47 +0100},
biburl = {https://dblp.org/rec/conf/atal/WakakiMMSMFN06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/comma/SawamuraWN06,
author = {Hajime Sawamura and
Toshiko Wakaki and
Katsumi Nitta},
editor = {Paul E. Dunne and
Trevor J. M. Bench{-}Capon},
title = {The Logic of Multiple-Valued Argumentation and its Applications to
Web Technology - Extended Abstract},
booktitle = {Computational Models of Argument: Proceedings of {COMMA} 2006, September
11-12, 2006, Liverpool, {UK}},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {144},
pages = {291--296},
publisher = {{IOS} Press},
year = {2006},
url = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=1950},
timestamp = {Wed, 18 Feb 2009 08:34:01 +0100},
biburl = {https://dblp.org/rec/conf/comma/SawamuraWN06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iat/TakahashiSZ06,
author = {Yohsuke Takahashi and
Hajime Sawamura and
Jing Zhang},
title = {Transforming Natural Arguments in Araucaria to Formal Arguments in
{LMA}},
booktitle = {Proceedings of the 2006 {IEEE/WIC/ACM} International Conference on
Intelligent Agent Technology, Hong Kong, China, 18-22 December 2006},
pages = {668--678},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/IAT.2006.126},
doi = {10.1109/IAT.2006.126},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iat/TakahashiSZ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prima/NisikataS06,
author = {Takumi Nisikata and
Hajime Sawamura},
editor = {Zhong{-}Zhi Shi and
Ramakoti Sadananda},
title = {Deliberate Soccer Agents Powered by Resource-Bounded Argumentation},
booktitle = {Agent Computing and Multi-Agent Systems, 9th Pacific Rim International
Workshop on Multi-Agents, {PRIMA} 2006, Guilin, China, August 7-8,
2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4088},
pages = {656--663},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11802372\_75},
doi = {10.1007/11802372\_75},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/prima/NisikataS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/webi/IsogaiFS06,
author = {Takashi Isogai and
Taro Fukumoto and
Hajime Sawamura},
title = {An Integrated Argumentation Environment for Arguing Agents},
booktitle = {2006 {IEEE} / {WIC} / {ACM} International Conference on Web Intelligence
{(WI} 2006), 18-22 December 2006, Hong Kong, China},
pages = {1077--1078},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/WI.2006.38},
doi = {10.1109/WI.2006.38},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/webi/IsogaiFS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieicet/SawamuraT05,
author = {Hajime Sawamura and
Takehisa Takahashi},
title = {Applying Logic of Multiple-Valued Argumentation to Eastern Arguments},
journal = {{IEICE} Trans. Inf. Syst.},
volume = {88-D},
number = {9},
pages = {2021--2030},
year = {2005},
url = {https://doi.org/10.1093/ietisy/e88-d.9.2021},
doi = {10.1093/IETISY/E88-D.9.2021},
timestamp = {Sat, 11 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ieicet/SawamuraT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iicai/SawamuraTM05,
author = {Hajime Sawamura and
Takehisa Takahashi and
Kumiko Matsunaga},
editor = {Bhanu Prasad},
title = {An Eastern Specialization of Logic of Multiple-Valued Argumentation
to Tetralemma Originated in India},
booktitle = {Proceedings of the 2nd Indian International Conference on Artificial
Intelligence, Pune, India, December 20-22, 2005},
pages = {1274--1291},
publisher = {{IICAI}},
year = {2005},
timestamp = {Fri, 15 Dec 2023 18:26:01 +0100},
biburl = {https://dblp.org/rec/conf/iicai/SawamuraTM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kes/MatsunagaS05,
author = {Kumiko Matsunaga and
Hajime Sawamura},
editor = {Rajiv Khosla and
Robert J. Howlett and
Lakhmi C. Jain},
title = {{AASLMA:} An Automated Argument System Based on Logic of Multiple-Valued
Argumentation},
booktitle = {Knowledge-Based Intelligent Information and Engineering Systems, 9th
International Conference, {KES} 2005, Melbourne, Australia, September
14-16, 2005, Proceedings, Part {IV}},
series = {Lecture Notes in Computer Science},
volume = {3684},
pages = {830--838},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11554028\_116},
doi = {10.1007/11554028\_116},
timestamp = {Sun, 02 Jun 2019 21:22:00 +0200},
biburl = {https://dblp.org/rec/conf/kes/MatsunagaS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prima/JeongS05,
author = {Gowun Jeong and
Hajime Sawamura},
editor = {Dickson Lukose and
Zhongzhi Shi},
title = {Diverse Applications of an Automated Argument System Based on the
Logic of Multiple-Valued Argumentation},
booktitle = {Multi-Agent Systems for Society - 8th Pacific Rim International Workshop
on Multi-Agents, {PRIMA} 2005, Kuala Lumpur, Malaysia, September 26-28,
2005, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4078},
pages = {88--102},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-642-03339-1\_8},
doi = {10.1007/978-3-642-03339-1\_8},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/prima/JeongS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/TakahashiS04,
author = {Takehisa Takahashi and
Hajime Sawamura},
title = {A Logic of Multiple-Valued Argumentation},
booktitle = {3rd International Joint Conference on Autonomous Agents and Multiagent
Systems {(AAMAS} 2004), 19-23 August 2004, New York, NY, {USA}},
pages = {800--807},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.ieeecomputersociety.org/10.1109/AAMAS.2004.10114},
doi = {10.1109/AAMAS.2004.10114},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atal/TakahashiS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/SawamuraM04,
author = {Hajime Sawamura and
Edwin D. Mares},
title = {Logic of Argumentation based on Tetralemma with an Eastern Mind},
booktitle = {3rd International Joint Conference on Autonomous Agents and Multiagent
Systems {(AAMAS} 2004), 19-23 August 2004, New York, NY, {USA}},
pages = {1422--1423},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.ieeecomputersociety.org/10.1109/AAMAS.2004.10189},
doi = {10.1109/AAMAS.2004.10189},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atal/SawamuraM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iat/NisikataKS04,
author = {Takumi Nisikata and
Tomohiro Kimura and
Hajime Sawamura},
title = {Energizing Soccer Agents by Argumentation},
booktitle = {2004 {IEEE/WIC/ACM} International Conference on Intelligent Agent
Technology {(IAT} 2004), 20-24 September 2004, Beijing, China},
pages = {561--562},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/IAT.2004.1343018},
doi = {10.1109/IAT.2004.1343018},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iat/NisikataKS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kes/FukumotoTS04,
author = {Taro Fukumoto and
Takehisa Takahashi and
Hajime Sawamura},
editor = {Mircea Gh. Negoita and
Robert J. Howlett and
Lakhmi C. Jain},
title = {Implementing EGAP-Based Many-Valued Argument Model for Uncertain Knowledge},
booktitle = {Knowledge-Based Intelligent Information and Engineering Systems, 8th
International Conference, {KES} 2004, Wellington, New Zealand, September
20-25, 2004. Proceedings. Part {III}},
series = {Lecture Notes in Computer Science},
volume = {3215},
pages = {1--7},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30134-9\_1},
doi = {10.1007/978-3-540-30134-9\_1},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/kes/FukumotoTS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/TakahashiS04,
author = {Takehisa Takahashi and
Hajime Sawamura},
editor = {James P. Delgrande and
Torsten Schaub},
title = {Theory of multiple-valued defeasible argumentation and its applications},
booktitle = {10th International Workshop on Non-Monotonic Reasoning {(NMR} 2004),
Whistler, Canada, June 6-8, 2004, Proceedings},
pages = {385--393},
year = {2004},
url = {http://www.pims.math.ca/science/2004/NMR/papers/paper50.pdf},
timestamp = {Mon, 21 Jun 2004 10:11:59 +0200},
biburl = {https://dblp.org/rec/conf/nmr/TakahashiS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pricai/SawamuraK04,
author = {Hajime Sawamura and
Wataru Kawakami},
editor = {Chengqi Zhang and
Hans W. Guesgen and
Wai{-}Kiang Yeap},
title = {Knowledge and Argument Transformation for Arguing Mobile Agents},
booktitle = {{PRICAI} 2004: Trends in Artificial Intelligence, 8th Pacific Rim
International Conference on Artificial Intelligence, Auckland, New
Zealand, August 9-13, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3157},
pages = {950--952},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-28633-2\_109},
doi = {10.1007/978-3-540-28633-2\_109},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/pricai/SawamuraK04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prima/SawamuraM04,
author = {Hajime Sawamura and
Edwin D. Mares},
editor = {Mike Barley and
Nikola K. Kasabov},
title = {How Agents Should Exploit Tetralemma with an Eastern Mind in Argumentation},
booktitle = {Intelligent Agents and Multi-Agent Systems, 7th Pacific Rim International
Workshop on Multi-Agents, {PRIMA} 2004, Auckland, New Zealand, August
8-13, 2004, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3371},
pages = {259--278},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-32128-6\_20},
doi = {10.1007/978-3-540-32128-6\_20},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/prima/SawamuraM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ecr/SawamuraYU03,
author = {Hajime Sawamura and
Masashi Yamashita and
Yuichi Umeda},
title = {Applying Dialectic Agents to Argumentation in E-Commerce},
journal = {Electron. Commer. Res.},
volume = {3},
number = {3-4},
pages = {297--313},
year = {2003},
url = {https://doi.org/10.1023/A:1023431224197},
doi = {10.1023/A:1023431224197},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ecr/SawamuraYU03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/SawamuraKU03,
author = {Hajime Sawamura and
Wataru Kawakami and
Yuichi Umeda},
title = {Argument transformation for growing agents with mobility},
booktitle = {The Second International Joint Conference on Autonomous Agents {\&}
Multiagent Systems, {AAMAS} 2003, July 14-18, 2003, Melbourne, Victoria,
Australia, Proceedings},
pages = {1112--1113},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/860575.860821},
doi = {10.1145/860575.860821},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atal/SawamuraKU03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kes/TakahashiUS03,
author = {Takehisa Takahashi and
Yuichi Umeda and
Hajime Sawamura},
editor = {Vasile Palade and
Robert J. Howlett and
Lakhmi C. Jain},
title = {Formal Argumentation Frameworks for the Extended Generalized Annotated
Logic Programs},
booktitle = {Knowledge-Based Intelligent Information and Engineering Systems, 7th
International Conference, {KES} 2003, Oxford, UK, September 3-5, 2003,
Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {2773},
pages = {28--38},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45224-9\_8},
doi = {10.1007/978-3-540-45224-9\_8},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/kes/TakahashiUS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prima/TodaYS01,
author = {Yoshirou Toda and
Masashi Yamashita and
Hajime Sawamura},
editor = {Soe{-}Tsyr Yuan and
Makoto Yokoo},
title = {An Argument-Based Agent System with {KQML} as an Agent Communication
Language},
booktitle = {Intelligent Agents: Specification, Modeling, and Applications, 4th
Pacific Rim International Workshop on Multi-Agents, {PRIMA} 2001,
Taipei, Taiwan, July 28-29, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2132},
pages = {48--62},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44637-0\_4},
doi = {10.1007/3-540-44637-0\_4},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/prima/TodaYS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/diagrams/SawamuraK00,
author = {Hajime Sawamura and
Kensuke Kiyozuka},
editor = {Michael Anderson and
Peter C.{-}H. Cheng and
Volker Haarslev},
title = {JVenn: {A} Visual Reasoning System with Diagrams and Sentences},
booktitle = {Theory and Application of Diagrams, First International Conference,
Diagrams 2000, Edinburgh, Scotland, UK, September 1-3, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1889},
pages = {271--285},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44590-0\_25},
doi = {10.1007/3-540-44590-0\_25},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/diagrams/SawamuraK00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ejc/SawamuraM00,
author = {Hajime Sawamura and
Shinya Maeda},
editor = {Hannu Jaakkola and
Hannu Kangassalo and
Eiji Kawaguchi},
title = {An Argumentation-Based Model of Multi-Agent Systems},
booktitle = {Information Modelling and Knowledge Bases {XII:} Tenth European-Japanese
Conference on Information Modelling and Knowledge Bases, {EJC} 2000,
Saariselk{\"{a}}, Finland, May 8-11, 2000},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {67},
pages = {137--150},
publisher = {{IOS} Press},
year = {2000},
timestamp = {Thu, 16 Mar 2017 14:14:16 +0100},
biburl = {https://dblp.org/rec/conf/ejc/SawamuraM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icmas/SatohUM00,
author = {Hajime Sawamura and
Yuichi Umeda and
Robert K. Meyer},
title = {Computational Dialectics for Argument-Based Agent Systems},
booktitle = {4th International Conference on Multi-Agent Systems, {ICMAS} 2000,
Boston, MA, USA, July 10-12, 2000},
pages = {271--278},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/ICMAS.2000.858463},
doi = {10.1109/ICMAS.2000.858463},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icmas/SatohUM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kes/YamashitaUS00,
author = {Masashi Yamashita and
Yuichi Umeda and
Hajime Sawamura},
editor = {Robert J. Howlett and
Lakhmi C. Jain},
title = {Applications of the argument-based agent system with dialectical reasoning
capability},
booktitle = {Fourth International Conference on Knowledge-Based Intelligent Information
Engineering Systems {\&} Allied Technologies, {KES} 2000, Brighton,
UK, 30 August - 1 September 2000, Proceedings, 2 Volumes},
pages = {301--304},
publisher = {{IEEE}},
year = {2000},
url = {https://doi.org/10.1109/KES.2000.885816},
doi = {10.1109/KES.2000.885816},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kes/YamashitaUS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prima/UmedaYIS00,
author = {Yuichi Umeda and
Masashi Yamashita and
Masanobu Inagaki and
Hajime Sawamura},
editor = {Chengqi Zhang and
Von{-}Wun Soo},
title = {Argumentation as a Social Computing Paradigm},
booktitle = {Design and Applications of Intelligent Agents, Third Pacific Rim International
Workshop on Multi-Agents, {PRIMA} 2000, Melbourne, Australia, August
28-29, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1881},
pages = {46--60},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44594-3\_4},
doi = {10.1007/3-540-44594-3\_4},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/prima/UmedaYIS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vl/SawamuraK00,
author = {Hajime Sawamura and
Kensuke Kiyozuka},
title = {A Hybrid Reasoning System with Diagrams and Sentences},
booktitle = {2000 {IEEE} International Symposium on Visual Languages, {VL} 2000,
Seattle, Washington, USA, September 10-13, 2000, Proceedings},
pages = {73--74},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/VL.2000.874358},
doi = {10.1109/VL.2000.874358},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vl/SawamuraK00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dis/MaedaUGS98,
author = {Shinya Maeda and
Yuichi Umeda and
Cyunyang Guan and
Hajime Sawamura},
editor = {Setsuo Arikawa and
Koichi Furukawa},
title = {Argument-Based Agent Systems},
booktitle = {Discovery Science, Second International Conference, {DS} '99, Tokyo,
Japan, December, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1721},
pages = {338--339},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-46846-3\_38},
doi = {10.1007/3-540-46846-3\_38},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/dis/MaedaUGS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kes/UmedaS99,
author = {Yuichi Umeda and
Hajime Sawamura},
editor = {Lakhmi C. Jain},
title = {Towards an argument-based agent system},
booktitle = {Third International Conference on Knowledge-Based Intelligent Information
Engineering Systems, {KES} 1999, Adelaide, South Australia, 31 August
- 1 September 1999, Proceedings},
pages = {30--33},
publisher = {{IEEE}},
year = {1999},
url = {https://doi.org/10.1109/KES.1999.820112},
doi = {10.1109/KES.1999.820112},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kes/UmedaS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/SawamuraA98,
author = {Hajime Sawamura and
Daisaku Asanuma},
editor = {Jim Grundy and
Malcolm C. Newey},
title = {Mechanizing Relevant Logics with {HOL}},
booktitle = {Theorem Proving in Higher Order Logics, 11th International Conference,
TPHOLs'98, Canberra, Australia, September 27 - October 1, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1479},
pages = {443--460},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055151},
doi = {10.1007/BFB0055151},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/tphol/SawamuraA98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/OhtaniSM94,
author = {Takeshi Ohtani and
Hajime Sawamura and
Toshiro Minami},
editor = {Alan Bundy},
title = {{EUODHILOS-II} on Top of {GNU} Epoch},
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 = {816--820},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58156-1\_67},
doi = {10.1007/3-540-58156-1\_67},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/OhtaniSM94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alt/ArimaS93,
author = {Jun Arima and
Hajime Sawamura},
editor = {Klaus P. Jantke and
Shigenobu Kobayashi and
Etsuji Tomita and
Takashi Yokomori},
title = {Reformulation of Explanation by Linear Logic: Toward Logic for Explanation},
booktitle = {Algorithmic Learning Theory, 4th International Workshop, {ALT} '93,
Tokyo, Japan, November 8-10, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {744},
pages = {45--57},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-57370-4\_36},
doi = {10.1007/3-540-57370-4\_36},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/alt/ArimaS93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/SawamuraMO92,
author = {Hajime Sawamura and
Toshiro Minami and
Kyoko Ohashi},
editor = {Andrei Voronkov},
title = {{EUODHILOS:} {A} General Reasoning System for a Variety of Logics},
booktitle = {Logic Programming and Automated Reasoning,International Conference
LPAR'92, St. Petersburg, Russia, July 15-20, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {624},
pages = {501--503},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0013101},
doi = {10.1007/BFB0013101},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/lpar/SawamuraMO92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/wsscs/SawamuraMYO91,
author = {Hajime Sawamura and
Toshiro Minami and
Kaoru Yokota and
Kyoko Ohashi},
editor = {Ikuo Nakata and
Masami Hagiya},
title = {Potential of General-Purpose Reasoning Assistant System {EUODHILOS}},
booktitle = {Software Science and Engineering: Selected Papers from the Kyoto Symposia},
series = {World Scientific Series in Computer Science},
volume = {31},
pages = {164--188},
publisher = {World Scientific},
year = {1991},
url = {https://doi.org/10.1142/9789814360128\_0009},
doi = {10.1142/9789814360128\_0009},
timestamp = {Tue, 23 Jun 2020 13:49:03 +0200},
biburl = {https://dblp.org/rec/series/wsscs/SawamuraMYO91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/SawamuraMYO90,
author = {Hajime Sawamura and
Toshiro Minami and
Kaoru Yocota and
Kyoko Ohashi},
editor = {David H. D. Warren and
P{\'{e}}ter Szeredi},
title = {A Logic Programming Approach to Specifying Logics and Constructing
Proofs},
booktitle = {Logic Programming, Proceedings of the Seventh International Conference,
Jerusalem, Israel, June 18-20, 1990},
pages = {405--424},
publisher = {{MIT} Press},
year = {1990},
timestamp = {Fri, 29 Nov 2013 14:57:24 +0100},
biburl = {https://dblp.org/rec/conf/iclp/SawamuraMYO90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lp/MinamiSST88,
author = {Toshiro Minami and
Hajime Sawamura and
Kaoru Satoh and
Kyoko Tsuchiya},
editor = {Koichi Furukawa and
Hozumi Tanaka and
Tetsunosuke Fujisaki},
title = {{EUODHILOS:} {A} General-Purpose Reasoning Assistant System - Concept
and Implementation},
booktitle = {Logic Programming '88, Proceedings of the 7th Conference, Tokyo, Japan,
April 11-14, 1988},
series = {Lecture Notes in Computer Science},
volume = {383},
pages = {172--187},
publisher = {Springer},
year = {1988},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/lp/MinamiSST88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/SawamuraT85,
author = {Hajime Sawamura and
Taku Takeshima},
title = {Recursive Unsolvability of Determinacy, Solvable Cases of Determinancy
and their Applications to Prolog Optimization},
booktitle = {Proceedings of the 1985 Symposium on Logic Programming, Boston, Massachusetts,
USA, July 15-18, 1985},
pages = {200--207},
publisher = {{IEEE-CS}},
year = {1985},
timestamp = {Wed, 04 Dec 2013 14:42:59 +0100},
biburl = {https://dblp.org/rec/conf/slp/SawamuraT85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipm/MaedaMS80,
author = {Takashi Maeda and
Yoshio Momouchi and
Hajime Sawamura},
title = {An automatic method for extracting significant phrases in scientific
or technical documents},
journal = {Inf. Process. Manag.},
volume = {16},
number = {3},
pages = {119--127},
year = {1980},
url = {https://doi.org/10.1016/0306-4573(80)90015-1},
doi = {10.1016/0306-4573(80)90015-1},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ipm/MaedaMS80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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-25 01:32 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:
