Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Ken Satoh
@inproceedings{DBLP:conf/icaart/SongS24,
author = {Yang Song and
Ken Satoh},
editor = {Ana Paula Rocha and
Luc Steels and
H. Jaap van den Herik},
title = {A Three-Valued Semantics for Negotiated Situation of Multi-Agent System
Based on {BATNA} and {WATNA}},
booktitle = {Proceedings of the 16th International Conference on Agents and Artificial
Intelligence, {ICAART} 2024, Volume 1, Rome, Italy, February 24-26,
2024},
pages = {333--340},
publisher = {{SCITEPRESS}},
year = {2024},
url = {https://doi.org/10.5220/0012394200003636},
doi = {10.5220/0012394200003636},
timestamp = {Thu, 04 Apr 2024 15:53:04 +0200},
biburl = {https://dblp.org/rec/conf/icaart/SongS24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaart/HosobeS24,
author = {Hiroshi Hosobe and
Ken Satoh},
editor = {Ana Paula Rocha and
Luc Steels and
H. Jaap van den Herik},
title = {A Soft Constraint-Based Framework for Ethical Reasoning},
booktitle = {Proceedings of the 16th International Conference on Agents and Artificial
Intelligence, {ICAART} 2024, Volume 3, Rome, Italy, February 24-26,
2024},
pages = {1354--1361},
publisher = {{SCITEPRESS}},
year = {2024},
url = {https://doi.org/10.5220/0012474100003636},
doi = {10.5220/0012474100003636},
timestamp = {Thu, 04 Apr 2024 15:53:27 +0200},
biburl = {https://dblp.org/rec/conf/icaart/HosobeS24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2403-01185,
author = {Ha{-}Thanh Nguyen and
Ken Satoh},
title = {Balancing Exploration and Exploitation in {LLM} using Soft {RLLF}
for Enhanced Negation Understanding},
journal = {CoRR},
volume = {abs/2403.01185},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2403.01185},
doi = {10.48550/ARXIV.2403.01185},
eprinttype = {arXiv},
eprint = {2403.01185},
timestamp = {Tue, 02 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2403-01185.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2403-18093,
author = {Hai{-}Long Nguyen and
Duc{-}Minh Nguyen and
Tan{-}Minh Nguyen and
Ha{-}Thanh Nguyen and
Thi{-}Hai{-}Yen Vuong and
Ken Satoh},
title = {Enhancing Legal Document Retrieval: {A} Multi-Phase Approach with
Large Language Models},
journal = {CoRR},
volume = {abs/2403.18093},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2403.18093},
doi = {10.48550/ARXIV.2403.18093},
eprinttype = {arXiv},
eprint = {2403.18093},
timestamp = {Wed, 10 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2403-18093.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2403-18098,
author = {Ha{-}Thanh Nguyen and
Hiroaki Yamada and
Ken Satoh},
title = {GPTs and Language Barrier: {A} Cross-Lingual Legal {QA} Examination},
journal = {CoRR},
volume = {abs/2403.18098},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2403.18098},
doi = {10.48550/ARXIV.2403.18098},
eprinttype = {arXiv},
eprint = {2403.18098},
timestamp = {Fri, 12 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2403-18098.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ail/VuongBNNTPSL23,
author = {Thi{-}Hai{-}Yen Vuong and
Quan Minh Bui and
Ha{-}Thanh Nguyen and
Thi{-}Thu{-}Trang Nguyen and
Vu D. Tran and
Xuan{-}Hieu Phan and
Ken Satoh and
Nguyen Minh Le},
title = {{SM-BERT-CR:} a deep learning approach for case law retrieval with
supporting model},
journal = {Artif. Intell. Law},
volume = {31},
number = {3},
pages = {601--628},
year = {2023},
url = {https://doi.org/10.1007/s10506-022-09319-6},
doi = {10.1007/S10506-022-09319-6},
timestamp = {Thu, 31 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ail/VuongBNNTPSL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rss/BourgneGPS23,
author = {Gauvain Bourgne and
Jean{-}Gabriel Ganascia and
Adrian Paschke and
Ken Satoh},
title = {Preface of Special Issue on International Workshop on {AI} compliance
mechanism {(WAICOM} 2022)},
journal = {Rev. Socionetwork Strateg.},
volume = {17},
number = {2},
pages = {215--216},
year = {2023},
url = {https://doi.org/10.1007/s12626-023-00150-2},
doi = {10.1007/S12626-023-00150-2},
timestamp = {Fri, 03 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/rss/BourgneGPS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eacl/DoNTSMN23,
author = {Truong Do and
Chau Nguyen and
Vu Tran and
Ken Satoh and
Yuji Matsumoto and
Le{-}Minh Nguyen},
editor = {Danilo Croce and
Luca Soldaini},
title = {CovRelex-SE: Adding Semantic Information for Relation Search via Sequence
Embedding},
booktitle = {Proceedings of the 17th Conference of the European Chapter of the
Association for Computational Linguistics. {EACL} 2023 - System Demonstrations,
Dubrovnik, Croatia, May 2-4, 2023},
pages = {35--42},
publisher = {Association for Computational Linguistics},
year = {2023},
url = {https://doi.org/10.18653/v1/2023.eacl-demo.5},
doi = {10.18653/V1/2023.EACL-DEMO.5},
timestamp = {Thu, 05 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eacl/DoNTSMN23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaart/HayashiS23,
author = {Hisashi Hayashi and
Ken Satoh},
editor = {Ana Paula Rocha and
Luc Steels and
H. Jaap van den Herik},
title = {Online {HTN} Planning for Data Transfer and Utilization Considering
Legal and Ethical Norms: Case Study},
booktitle = {Proceedings of the 15th International Conference on Agents and Artificial
Intelligence, {ICAART} 2023, Volume 1, Lisbon, Portugal, February
22-24, 2023},
pages = {154--164},
publisher = {{SCITEPRESS}},
year = {2023},
url = {https://doi.org/10.5220/0011603000003393},
doi = {10.5220/0011603000003393},
timestamp = {Tue, 09 May 2023 16:56:35 +0200},
biburl = {https://dblp.org/rec/conf/icaart/HayashiS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaart/HosobeS23,
author = {Hiroshi Hosobe and
Ken Satoh},
editor = {Ana Paula Rocha and
Luc Steels and
H. Jaap van den Herik},
title = {Hierarchical Constraint Logic Programming for Multi-Agent Systems},
booktitle = {Proceedings of the 15th International Conference on Agents and Artificial
Intelligence, {ICAART} 2023, Volume 1, Lisbon, Portugal, February
22-24, 2023},
pages = {289--296},
publisher = {{SCITEPRESS}},
year = {2023},
url = {https://doi.org/10.5220/0011698000003393},
doi = {10.5220/0011698000003393},
timestamp = {Tue, 09 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icaart/HosobeS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaart/NguyenTN0S23,
author = {Ha{-}Thanh Nguyen and
Vu Tran and
Minh{-}Phuong Nguyen and
Le{-}Minh Nguyen and
Ken Satoh},
editor = {Ana Paula Rocha and
Luc Steels and
H. Jaap van den Herik},
title = {How Fine Tuning Affects Contextual Embeddings: {A} Negative Result
Explanation},
booktitle = {Proceedings of the 15th International Conference on Agents and Artificial
Intelligence, {ICAART} 2023, Volume 3, Lisbon, Portugal, February
22-24, 2023},
pages = {586--591},
publisher = {{SCITEPRESS}},
year = {2023},
url = {https://doi.org/10.5220/0011714200003393},
doi = {10.5220/0011714200003393},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icaart/NguyenTN0S23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icail/ZinNSSN23,
author = {May Myo Zin and
Ha{-}Thanh Nguyen and
Ken Satoh and
Saku Sugawara and
Fumihito Nishino},
editor = {Matthias Grabmair and
Francisco Andrade and
Paulo Novais},
title = {Improving Translation of Case Descriptions into Logical Fact Formulas
using LegalCaseNER},
booktitle = {Proceedings of the Nineteenth International Conference on Artificial
Intelligence and Law, {ICAIL} 2023, Braga, Portugal, June 19-23, 2023},
pages = {462--466},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3594536.3595141},
doi = {10.1145/3594536.3595141},
timestamp = {Sun, 24 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icail/ZinNSSN23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icail/GoebelKK0SY23,
author = {Randy Goebel and
Yoshinobu Kano and
Mi{-}Young Kim and
Juliano Rabelo and
Ken Satoh and
Masaharu Yoshioka},
editor = {Matthias Grabmair and
Francisco Andrade and
Paulo Novais},
title = {Summary of the Competition on Legal Information, Extraction/Entailment
{(COLIEE)} 2023},
booktitle = {Proceedings of the Nineteenth International Conference on Artificial
Intelligence and Law, {ICAIL} 2023, Braga, Portugal, June 19-23, 2023},
pages = {472--480},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3594536.3595176},
doi = {10.1145/3594536.3595176},
timestamp = {Sun, 24 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icail/GoebelKK0SY23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/NguyenGTSS23,
author = {Ha{-}Thanh Nguyen and
Randy Goebel and
Francesca Toni and
Kostas Stathis and
Ken Satoh},
editor = {Joaqu{\'{\i}}n Arias and
Sotiris Batsakis and
Wolfgang Faber and
Gopal Gupta and
Francesco Pacenza and
Emmanuel Papadakis and
Livio Robaldo and
Kilian R{\"{u}}ckschlo{\ss} and
Elmer Salazar and
Zeynep G. Saribatur and
Ilias Tachmazidis and
Felix Weitk{\"{a}}mper and
Adam Z. Wyner},
title = {How well do {SOTA} legal reasoning models support abductive reasoning?},
booktitle = {Proceedings of the International Conference on Logic Programming 2023
Workshops co-located with the 39th International Conference on Logic
Programming {(ICLP} 2023), London, United Kingdom, July 9th and 10th,
2023},
series = {{CEUR} Workshop Proceedings},
volume = {3437},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3437/paper1LPLR.pdf},
timestamp = {Mon, 18 Dec 2023 10:22:48 +0100},
biburl = {https://dblp.org/rec/conf/iclp/NguyenGTSS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/NguyenTSS23,
author = {Ha{-}Thanh Nguyen and
Francesca Toni and
Kostas Stathis and
Ken Satoh},
editor = {Joaqu{\'{\i}}n Arias and
Sotiris Batsakis and
Wolfgang Faber and
Gopal Gupta and
Francesco Pacenza and
Emmanuel Papadakis and
Livio Robaldo and
Kilian R{\"{u}}ckschlo{\ss} and
Elmer Salazar and
Zeynep G. Saribatur and
Ilias Tachmazidis and
Felix Weitk{\"{a}}mper and
Adam Z. Wyner},
title = {Beyond Logic Programming for Legal Reasoning},
booktitle = {Proceedings of the International Conference on Logic Programming 2023
Workshops co-located with the 39th International Conference on Logic
Programming {(ICLP} 2023), London, United Kingdom, July 9th and 10th,
2023},
series = {{CEUR} Workshop Proceedings},
volume = {3437},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3437/paper2LPLR.pdf},
timestamp = {Thu, 24 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/NguyenTSS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Paulino-PassosS23,
author = {Guilherme Paulino{-}Passos and
Ken Satoh and
Francesca Toni},
editor = {Joaqu{\'{\i}}n Arias and
Sotiris Batsakis and
Wolfgang Faber and
Gopal Gupta and
Francesco Pacenza and
Emmanuel Papadakis and
Livio Robaldo and
Kilian R{\"{u}}ckschlo{\ss} and
Elmer Salazar and
Zeynep G. Saribatur and
Ilias Tachmazidis and
Felix Weitk{\"{a}}mper and
Adam Z. Wyner},
title = {A Dataset of Contractual Events in Court Decisions},
booktitle = {Proceedings of the International Conference on Logic Programming 2023
Workshops co-located with the 39th International Conference on Logic
Programming {(ICLP} 2023), London, United Kingdom, July 9th and 10th,
2023},
series = {{CEUR} Workshop Proceedings},
volume = {3437},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3437/paper3LPLR.pdf},
timestamp = {Tue, 11 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/Paulino-PassosS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/HosobeS23,
author = {Hiroshi Hosobe and
Ken Satoh},
title = {Binary Search-Based Methods for Solving Constraint Hierarchies over
Finite Domains},
booktitle = {35th {IEEE} International Conference on Tools with Artificial Intelligence,
{ICTAI} 2023, Atlanta, GA, USA, November 6-8, 2023},
pages = {186--193},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ICTAI59109.2023.00035},
doi = {10.1109/ICTAI59109.2023.00035},
timestamp = {Tue, 09 Jan 2024 16:43:57 +0100},
biburl = {https://dblp.org/rec/conf/ictai/HosobeS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jurix/Fungwacharakorn23,
author = {Wachara Fungwacharakorn and
Kanae Tsushima and
Hiroshi Hosobe and
Hideaki Takeda and
Ken Satoh},
editor = {Giovanni Sileno and
Jerry Spanakis and
Gijs van Dijck},
title = {Connecting Rule-Based and Case-Based Representations of Soft-Constraint
Norms},
booktitle = {Legal Knowledge and Information Systems - {JURIX} 2023: The Thirty-sixth
Annual Conference, Maastricht, The Netherlands, 18-20 December 2023},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {379},
pages = {149--154},
publisher = {{IOS} Press},
year = {2023},
url = {https://doi.org/10.3233/FAIA230959},
doi = {10.3233/FAIA230959},
timestamp = {Wed, 31 Jan 2024 15:45:22 +0100},
biburl = {https://dblp.org/rec/conf/jurix/Fungwacharakorn23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jurix/ZinNSSN23,
author = {May Myo Zin and
Ha{-}Thanh Nguyen and
Ken Satoh and
Saku Sugawara and
Fumihito Nishino},
editor = {Giovanni Sileno and
Jerry Spanakis and
Gijs van Dijck},
title = {Information Extraction from Lengthy Legal Contracts: Leveraging Query-Based
Summarization and {GPT-3.5}},
booktitle = {Legal Knowledge and Information Systems - {JURIX} 2023: The Thirty-sixth
Annual Conference, Maastricht, The Netherlands, 18-20 December 2023},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {379},
pages = {177--186},
publisher = {{IOS} Press},
year = {2023},
url = {https://doi.org/10.3233/FAIA230963},
doi = {10.3233/FAIA230963},
timestamp = {Sat, 10 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/jurix/ZinNSSN23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jurix/NguyenFS23,
author = {Ha{-}Thanh Nguyen and
Wachara Fungwacharakorn and
Ken Satoh},
editor = {Giovanni Sileno and
Jerry Spanakis and
Gijs van Dijck},
title = {LogiLaw Dataset Towards Reinforcement Learning from Logical Feedback
{(RLLF)}},
booktitle = {Legal Knowledge and Information Systems - {JURIX} 2023: The Thirty-sixth
Annual Conference, Maastricht, The Netherlands, 18-20 December 2023},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {379},
pages = {217--226},
publisher = {{IOS} Press},
year = {2023},
url = {https://doi.org/10.3233/FAIA230967},
doi = {10.3233/FAIA230967},
timestamp = {Wed, 31 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/jurix/NguyenFS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jurix/NguyenGTSS23,
author = {Ha Thanh Nguyen and
Randy Goebel and
Francesca Toni and
Kostas Stathis and
Ken Satoh},
editor = {Giovanni Sileno and
Jerry Spanakis and
Gijs van Dijck},
title = {LawGiBa - Combining GPT, Knowledge Bases, and Logic Programming in
a Legal Assistance System},
booktitle = {Legal Knowledge and Information Systems - {JURIX} 2023: The Thirty-sixth
Annual Conference, Maastricht, The Netherlands, 18-20 December 2023},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {379},
pages = {371--374},
publisher = {{IOS} Press},
year = {2023},
url = {https://doi.org/10.3233/FAIA230991},
doi = {10.3233/FAIA230991},
timestamp = {Wed, 31 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/jurix/NguyenGTSS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ruleml/HayashiMTTSBGPS23,
author = {Hisashi Hayashi and
Theodoros Mitsikas and
Yousef Taheri and
Kanae Tsushima and
Ralph Sch{\"{a}}fermeier and
Gauvain Bourgne and
Jean{-}Gabriel Ganascia and
Adrian Paschke and
Ken Satoh},
editor = {Jan Vanthienen and
Tom{\'{a}}s Kliegr and
Paul Fodor and
Davide Lanti and
D{\"{o}}rthe Arndt and
Egor V. Kostylev and
Theodoros Mitsikas and
Ahmet Soylu},
title = {Multi-agent Online Planning Architecture for Real-time Compliance},
booktitle = {Proceedings of the 17th International Rule Challenge and 7th Doctoral
Consortium @ RuleML+RR 2023 co-located with 19th Reasoning Web Summer
School {(RW} 2023) and 15th DecisionCAMP 2023 as part of Declarative
{AI} 2023, Oslo, Norway, 18 - 20 September, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3485},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3485/paper5801.pdf},
timestamp = {Wed, 20 Sep 2023 16:32:49 +0200},
biburl = {https://dblp.org/rec/conf/ruleml/HayashiMTTSBGPS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/Satoh23,
author = {Ken Satoh},
editor = {David Scott Warren and
Ver{\'{o}}nica Dahl and
Thomas Eiter and
Manuel V. Hermenegildo and
Robert A. Kowalski and
Francesca Rossi},
title = {{PROLEG:} Practical Legal Reasoning System},
booktitle = {Prolog: The Next 50 Years},
series = {Lecture Notes in Computer Science},
volume = {13900},
pages = {277--283},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-35254-6\_23},
doi = {10.1007/978-3-031-35254-6\_23},
timestamp = {Tue, 23 Jan 2024 13:25:47 +0100},
biburl = {https://dblp.org/rec/series/lncs/Satoh23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/jsai/2021w,
editor = {Katsutoshi Yada and
Yasufumi Takama and
Koji Mineshima and
Ken Satoh},
title = {New Frontiers in Artificial Intelligence - JSAI-isAI 2021 Workshops,
JURISIN, LENLS18, SCIDOCA, Kansei-AI, AI-BIZ, Yokohama, Japan, November
13-15, 2021, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {13856},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-36190-6},
doi = {10.1007/978-3-031-36190-6},
isbn = {978-3-031-36189-0},
timestamp = {Wed, 26 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jsai/2021w.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/jsai/2022w,
editor = {Yasufumi Takama and
Katsutoshi Yada and
Ken Satoh and
Sachiyo Arai},
title = {New Frontiers in Artificial Intelligence - JSAI-isAI 2022 Workshop,
{JURISIN} 2022, and {JSAI} 2022 International Session, Kyoto, Japan,
June 12-17, 2022, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {13859},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-29168-5},
doi = {10.1007/978-3-031-29168-5},
isbn = {978-3-031-29167-8},
timestamp = {Tue, 02 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jsai/2022w.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2304-06912,
author = {Ha{-}Thanh Nguyen and
Randy Goebel and
Francesca Toni and
Kostas Stathis and
Ken Satoh},
title = {How well do {SOTA} legal reasoning models support abductive reasoning?},
journal = {CoRR},
volume = {abs/2304.06912},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2304.06912},
doi = {10.48550/ARXIV.2304.06912},
eprinttype = {arXiv},
eprint = {2304.06912},
timestamp = {Wed, 19 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2304-06912.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2305-12203,
author = {Georg Borges and
Ken Satoh and
Erich Schweighofer},
title = {Proceedings of the International Workshop on Methodologies for Translating
Legal Norms into Formal Representations {(LN2FR} 2022) in association
with 35th International Conference on Legal Knowledge and Information
Systems {(JURIX} 2022)},
journal = {CoRR},
volume = {abs/2305.12203},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2305.12203},
doi = {10.48550/ARXIV.2305.12203},
eprinttype = {arXiv},
eprint = {2305.12203},
timestamp = {Fri, 26 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2305-12203.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2306-16632,
author = {Ha{-}Thanh Nguyen and
Francesca Toni and
Kostas Stathis and
Ken Satoh},
title = {Beyond Logic Programming for Legal Reasoning},
journal = {CoRR},
volume = {abs/2306.16632},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2306.16632},
doi = {10.48550/ARXIV.2306.16632},
eprinttype = {arXiv},
eprint = {2306.16632},
timestamp = {Mon, 03 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2306-16632.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2306-16638,
author = {Ha{-}Thanh Nguyen and
Randy Goebel and
Francesca Toni and
Kostas Stathis and
Ken Satoh},
title = {A negation detection assessment of GPTs: analysis with the xNot360
dataset},
journal = {CoRR},
volume = {abs/2306.16638},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2306.16638},
doi = {10.48550/ARXIV.2306.16638},
eprinttype = {arXiv},
eprint = {2306.16638},
timestamp = {Thu, 24 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2306-16638.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2309-05501,
author = {Ha{-}Thanh Nguyen and
Randy Goebel and
Francesca Toni and
Kostas Stathis and
Ken Satoh},
title = {Black-Box Analysis: GPTs Across Time in Legal Textual Entailment Task},
journal = {CoRR},
volume = {abs/2309.05501},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2309.05501},
doi = {10.48550/ARXIV.2309.05501},
eprinttype = {arXiv},
eprint = {2309.05501},
timestamp = {Fri, 15 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2309-05501.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2309-08187,
author = {Vu Tran and
Minh Le Nguyen and
Satoshi Tojo and
Ken Satoh},
title = {Encoded Summarization: Summarizing Documents into Continuous Vector
Space for Legal Case Retrieval},
journal = {CoRR},
volume = {abs/2309.08187},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2309.08187},
doi = {10.48550/ARXIV.2309.08187},
eprinttype = {arXiv},
eprint = {2309.08187},
timestamp = {Fri, 22 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2309-08187.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2311-13095,
author = {Ha{-}Thanh Nguyen and
Wachara Fungwacharakorn and
Ken Satoh},
title = {Enhancing Logical Reasoning in Large Language Models to Facilitate
Legal Applications},
journal = {CoRR},
volume = {abs/2311.13095},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2311.13095},
doi = {10.48550/ARXIV.2311.13095},
eprinttype = {arXiv},
eprint = {2311.13095},
timestamp = {Thu, 30 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2311-13095.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ail/SinhNS22,
author = {Vu Trong Sinh and
Minh Le Nguyen and
Ken Satoh},
title = {Abstract meaning representation for legal documents: an empirical
research on a human-annotated dataset},
journal = {Artif. Intell. Law},
volume = {30},
number = {2},
pages = {221--243},
year = {2022},
url = {https://doi.org/10.1007/s10506-021-09292-6},
doi = {10.1007/S10506-021-09292-6},
timestamp = {Tue, 18 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ail/SinhNS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/clsr/Fungwacharakorn22,
author = {Wachara Fungwacharakorn and
Ken Satoh},
title = {Toward a practical legal rule revision in legal debugging},
journal = {Comput. Law Secur. Rev.},
volume = {46},
pages = {105696},
year = {2022},
url = {https://doi.org/10.1016/j.clsr.2022.105696},
doi = {10.1016/J.CLSR.2022.105696},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/clsr/Fungwacharakorn22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/flap/ArisakaDST22,
author = {Ryuta Arisaka and
J{\'{e}}r{\'{e}}mie Dauphin and
Ken Satoh and
Leendert van der Torre},
title = {Multi-agent Argumentation and Dialogue},
journal = {{FLAP}},
volume = {9},
number = {4},
pages = {921--954},
year = {2022},
url = {https://collegepublications.co.uk/ifcolog/?00056},
timestamp = {Mon, 08 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/flap/ArisakaDST22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ngc/Fungwacharakorn22,
author = {Wachara Fungwacharakorn and
Kanae Tsushima and
Ken Satoh},
title = {Diagnosing and Treating Effect of Legal Rule-Based Revision},
journal = {New Gener. Comput.},
volume = {40},
number = {1},
pages = {25--45},
year = {2022},
url = {https://doi.org/10.1007/s00354-022-00157-3},
doi = {10.1007/S00354-022-00157-3},
timestamp = {Thu, 02 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ngc/Fungwacharakorn22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rss/GoebelKKRSY22,
author = {Randy Goebel and
Yoshinobu Kano and
Mi{-}Young Kim and
Juliano Rabelo and
Ken Satoh and
Masaharu Yoshioka},
title = {Preface of Special Issue on 8th Competition on Legal Information of
Extraction and Entailment {(COLIEE} 2021)},
journal = {Rev. Socionetwork Strateg.},
volume = {16},
number = {1},
pages = {109--110},
year = {2022},
url = {https://doi.org/10.1007/s12626-022-00108-w},
doi = {10.1007/S12626-022-00108-W},
timestamp = {Mon, 02 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rss/GoebelKKRSY22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rss/RabeloGKKYS22,
author = {Juliano Rabelo and
Randy Goebel and
Mi{-}Young Kim and
Yoshinobu Kano and
Masaharu Yoshioka and
Ken Satoh},
title = {Overview and Discussion of the Competition on Legal Information Extraction/Entailment
{(COLIEE)} 2021},
journal = {Rev. Socionetwork Strateg.},
volume = {16},
number = {1},
pages = {111--133},
year = {2022},
url = {https://doi.org/10.1007/s12626-022-00105-z},
doi = {10.1007/S12626-022-00105-Z},
timestamp = {Wed, 18 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rss/RabeloGKKYS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rss/NguyenNVBNDTNS22,
author = {Ha{-}Thanh Nguyen and
Minh Phuong Nguyen and
Thi{-}Hai{-}Yen Vuong and
Minh{-}Quan Bui and
Minh{-}Chau Nguyen and
Tran Binh Dang and
Vu D. Tran and
Le{-}Minh Nguyen and
Ken Satoh},
title = {Transformer-Based Approaches for Legal Text Processing},
journal = {Rev. Socionetwork Strateg.},
volume = {16},
number = {1},
pages = {135--155},
year = {2022},
url = {https://doi.org/10.1007/s12626-022-00102-2},
doi = {10.1007/S12626-022-00102-2},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rss/NguyenNVBNDTNS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aciids/NguyenNTNNS22,
author = {Minh{-}Phuong Nguyen and
Thi{-}Thu{-}Trang Nguyen and
Vu D. Tran and
Ha{-}Thanh Nguyen and
Le{-}Minh Nguyen and
Ken Satoh},
editor = {Ngoc Thanh Nguyen and
Tien Khoa Tran and
Ualsher Tukeyev and
Tzung{-}Pei Hong and
Bogdan Trawinski and
Edward Szczerbicki},
title = {Learning to Map the {GDPR} to Logic Representation on {DAPRECO-KB}},
booktitle = {Intelligent Information and Database Systems - 14th Asian Conference,
{ACIIDS} 2022, Ho Chi Minh City, Vietnam, November 28-30, 2022, Proceedings,
Part {I}},
series = {Lecture Notes in Computer Science},
volume = {13757},
pages = {442--454},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-21743-2\_35},
doi = {10.1007/978-3-031-21743-2\_35},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aciids/NguyenNTNNS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/RobaldoBCCFGMPS22,
author = {Livio Robaldo and
Sotiris Batsakis and
Roberta Calegari and
Francesco Calimeri and
Megumi Fujita and
Guido Governatori and
Maria Concetta Morelli and
Giuseppe Pisano and
Ken Satoh and
Ilias Tachmazidis},
editor = {Roberta Calegari and
Giovanni Ciatto and
Andrea Omicini},
title = {Taking stock of available technologies for compliance checking on
first-order knowledge},
booktitle = {Proceedings of the 37th Italian Conference on Computational Logic,
Bologna, Italy, June 29 - July 1, 2022},
series = {{CEUR} Workshop Proceedings},
volume = {3204},
pages = {1--16},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3204/paper\_1.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:45 +0100},
biburl = {https://dblp.org/rec/conf/cilc/RobaldoBCCFGMPS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Satoh22,
author = {Ken Satoh},
editor = {Joaqu{\'{\i}}n Arias and
Roberta Calegari and
Luke Dickens and
Wolfgang Faber and
Jorge Fandinno and
Gopal Gupta and
Markus Hecher and
Daniela Inclezan and
Emily LeBlanc and
Michael Morak and
Elmer Salazar and
Jessica Zangari},
title = {A Query Evaluation Method for {ASP} with Abduction},
booktitle = {Proceedings of the International Conference on Logic Programming 2022
Workshops co-located with the 38th International Conference on Logic
Programming {(ICLP} 2022), Haifa, Israel, July 31st - August 1st,
2022},
series = {{CEUR} Workshop Proceedings},
volume = {3193},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3193/short4GDE.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:26 +0100},
biburl = {https://dblp.org/rec/conf/iclp/Satoh22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ieaaie/NguyenNS22,
author = {Ha{-}Thanh Nguyen and
Le{-}Minh Nguyen and
Ken Satoh},
editor = {Hamido Fujita and
Philippe Fournier{-}Viger and
Moonis Ali and
Yinglin Wang},
title = {A Survey of Pretrained Embeddings for Japanese Legal Representation},
booktitle = {Advances and Trends in Artificial Intelligence. Theory and Practices
in Artificial Intelligence - 35th International Conference on Industrial,
Engineering and Other Applications of Applied Intelligent Systems,
{IEA/AIE} 2022, Kitakyushu, Japan, July 19-22, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13343},
pages = {363--369},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-08530-7\_30},
doi = {10.1007/978-3-031-08530-7\_30},
timestamp = {Tue, 18 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ieaaie/NguyenNS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jsai/FungwacharakornTS22,
author = {Wachara Fungwacharakorn and
Kanae Tsushima and
Ken Satoh},
editor = {Yasufumi Takama and
Katsutoshi Yada and
Ken Satoh and
Sachiyo Arai},
title = {On Complexity and Generality of Contrary Prioritized Defeasible Theory},
booktitle = {New Frontiers in Artificial Intelligence - JSAI-isAI 2022 Workshop,
{JURISIN} 2022, and {JSAI} 2022 International Session, Kyoto, Japan,
June 12-17, 2022, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {13859},
pages = {23--35},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-29168-5\_2},
doi = {10.1007/978-3-031-29168-5\_2},
timestamp = {Tue, 02 May 2023 15:31:34 +0200},
biburl = {https://dblp.org/rec/conf/jsai/FungwacharakornTS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jsai/KimRGYKS22,
author = {Mi{-}Young Kim and
Juliano Rabelo and
Randy Goebel and
Masaharu Yoshioka and
Yoshinobu Kano and
Ken Satoh},
editor = {Yasufumi Takama and
Katsutoshi Yada and
Ken Satoh and
Sachiyo Arai},
title = {{COLIEE} 2022 Summary: Methods for Legal Document Retrieval and Entailment},
booktitle = {New Frontiers in Artificial Intelligence - JSAI-isAI 2022 Workshop,
{JURISIN} 2022, and {JSAI} 2022 International Session, Kyoto, Japan,
June 12-17, 2022, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {13859},
pages = {51--67},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-29168-5\_4},
doi = {10.1007/978-3-031-29168-5\_4},
timestamp = {Tue, 02 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jsai/KimRGYKS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jurix/NguyenFNS22,
author = {Ha{-}Thanh Nguyen and
Wachara Fungwacharakorn and
Fumihito Nishino and
Ken Satoh},
editor = {Enrico Francesconi and
Georg Borges and
Christoph Sorge},
title = {A Multi-Step Approach in Translating Natural Language into Logical
Formula},
booktitle = {Legal Knowledge and Information Systems - {JURIX} 2022: The Thirty-fifth
Annual Conference, Saarbr{\"{u}}cken, Germany, 14-16 December
2022},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {362},
pages = {103--112},
publisher = {{IOS} Press},
year = {2022},
url = {https://doi.org/10.3233/FAIA220453},
doi = {10.3233/FAIA220453},
timestamp = {Mon, 12 Dec 2022 17:24:49 +0100},
biburl = {https://dblp.org/rec/conf/jurix/NguyenFNS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jurix/Fungwacharakorn22,
author = {Wachara Fungwacharakorn and
Kanae Tsushima and
Ken Satoh},
editor = {Enrico Francesconi and
Georg Borges and
Christoph Sorge},
title = {Fundamental Revisions on Constraint Hierarchies for Ethical Norms},
booktitle = {Legal Knowledge and Information Systems - {JURIX} 2022: The Thirty-fifth
Annual Conference, Saarbr{\"{u}}cken, Germany, 14-16 December
2022},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {362},
pages = {182--187},
publisher = {{IOS} Press},
year = {2022},
url = {https://doi.org/10.3233/FAIA220464},
doi = {10.3233/FAIA220464},
timestamp = {Mon, 12 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/jurix/Fungwacharakorn22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jurix/NguyenNFS22,
author = {Ha{-}Thanh Nguyen and
Fumihito Nishino and
Megumi Fujita and
Ken Satoh},
editor = {Enrico Francesconi and
Georg Borges and
Christoph Sorge},
title = {An Interactive Natural Language Interface for {PROLEG}},
booktitle = {Legal Knowledge and Information Systems - {JURIX} 2022: The Thirty-fifth
Annual Conference, Saarbr{\"{u}}cken, Germany, 14-16 December
2022},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {362},
pages = {294--297},
publisher = {{IOS} Press},
year = {2022},
url = {https://doi.org/10.3233/FAIA220484},
doi = {10.3233/FAIA220484},
timestamp = {Mon, 12 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/jurix/NguyenNFS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jurix/NishiokaMS22,
author = {Shidaka Nishioka and
Yuto Mori and
Ken Satoh},
editor = {Enrico Francesconi and
Georg Borges and
Christoph Sorge},
title = {Consumer Dispute Resolution System Based on {PROLEG}},
booktitle = {Legal Knowledge and Information Systems - {JURIX} 2022: The Thirty-fifth
Annual Conference, Saarbr{\"{u}}cken, Germany, 14-16 December
2022},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {362},
pages = {298--301},
publisher = {{IOS} Press},
year = {2022},
url = {https://doi.org/10.3233/FAIA220485},
doi = {10.3233/FAIA220485},
timestamp = {Mon, 12 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/jurix/NishiokaMS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/HayashiS22,
author = {Hisashi Hayashi and
Ken Satoh},
editor = {Ofer Arieli and
Giovanni Casini and
Laura Giordano},
title = {Towards Legally and Ethically Correct Online {HTN} Planning for Data
Transfer},
booktitle = {Proceedings of the 20th International Workshop on Non-Monotonic Reasoning,
{NMR} 2022, Part of the Federated Logic Conference (FLoC 2022), Haifa,
Israel, August 7-9, 2022},
series = {{CEUR} Workshop Proceedings},
volume = {3197},
pages = {4--15},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3197/paper1.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:30 +0100},
biburl = {https://dblp.org/rec/conf/nmr/HayashiS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/SawasakiST22,
author = {Takahiro Sawasaki and
Ken Satoh and
Aurore Cl{\'{e}}ment Troussel},
editor = {Mar{\'{\i}}a Navas{-}Loro and
Carlos Badenes{-}Olmedo and
Manolis Koubarakis and
Jos{\'{e}} Luis Redondo Garc{\'{\i}}a and
Sabrina Kirrane and
Nandana Mihindukulasooriya and
Ken Satoh and
Maribel Acosta},
title = {A Use Case on {GDPR} of Modular-PROLEG for Private International Law},
booktitle = {Joint Proceedings of the 3th International Workshop on Artificial
Intelligence Technologies for Legal Documents {(AI4LEGAL} 2022) and
the 1st International Workshop on Knowledge Graph Summarization (KGSum
2022) co-located with the 21st International Semantic Web Conference
{(ISWC} 2022), Virtual Event, Hangzhou, China, October 23-24, 2022},
series = {{CEUR} Workshop Proceedings},
volume = {3257},
pages = {1--11},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3257/paper1.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:03 +0100},
biburl = {https://dblp.org/rec/conf/semweb/SawasakiST22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/semweb/2022ai4legal,
editor = {Mar{\'{\i}}a Navas{-}Loro and
Carlos Badenes{-}Olmedo and
Manolis Koubarakis and
Jos{\'{e}} Luis Redondo Garc{\'{\i}}a and
Sabrina Kirrane and
Nandana Mihindukulasooriya and
Ken Satoh and
Maribel Acosta},
title = {Joint Proceedings of the 3th International Workshop on Artificial
Intelligence Technologies for Legal Documents {(AI4LEGAL} 2022) and
the 1st International Workshop on Knowledge Graph Summarization (KGSum
2022) co-located with the 21st International Semantic Web Conference
{(ISWC} 2022), Virtual Event, Hangzhou, China, October 23-24, 2022},
series = {{CEUR} Workshop Proceedings},
volume = {3257},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3257},
urn = {urn:nbn:de:0074-3257-4},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/semweb/2022ai4legal.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2202-06397,
author = {Ha{-}Thanh Nguyen and
Minh Phuong Nguyen and
Thi{-}Hai{-}Yen Vuong and
Minh{-}Quan Bui and
Chau Minh Nguyen and
Tran Binh Dang and
Vu Tran and
Minh Le Nguyen and
Ken Satoh},
title = {Transformer-based Approaches for Legal Text Processing},
journal = {CoRR},
volume = {abs/2202.06397},
year = {2022},
url = {https://arxiv.org/abs/2202.06397},
eprinttype = {arXiv},
eprint = {2202.06397},
timestamp = {Tue, 18 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2202-06397.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2212-08335,
author = {Ha{-}Thanh Nguyen and
Vu D. Tran and
Ngoc{-}Cam Le and
Thi{-}Thuy Le and
Quang{-}Huy Nguyen and
Le{-}Minh Nguyen and
Ken Satoh},
title = {Law to Binary Tree - An Formal Interpretation of Legal Natural Language},
journal = {CoRR},
volume = {abs/2212.08335},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2212.08335},
doi = {10.48550/ARXIV.2212.08335},
eprinttype = {arXiv},
eprint = {2212.08335},
timestamp = {Wed, 22 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2212-08335.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ail/Fungwacharakorn21,
author = {Wachara Fungwacharakorn and
Kanae Tsushima and
Ken Satoh},
title = {Resolving counterintuitive consequences in law using legal debugging},
journal = {Artif. Intell. Law},
volume = {29},
number = {4},
pages = {541--557},
year = {2021},
url = {https://doi.org/10.1007/s10506-021-09283-7},
doi = {10.1007/S10506-021-09283-7},
timestamp = {Wed, 03 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ail/Fungwacharakorn21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/clar/SatohGB21,
author = {Ken Satoh and
Laura Giordano and
Matteo Baldoni},
editor = {Pietro Baroni and
Christoph Benzm{\"{u}}ller and
Y{\`{\i}} N. W{\'{a}}ng},
title = {Implementation of Choice of Jurisdiction and Law in Private International
Law by {PROLEG} Meta-interpreter},
booktitle = {Logic and Argumentation - 4th International Conference, {CLAR} 2021,
Hangzhou, China, October 20-22, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13040},
pages = {60--75},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-89391-0\_4},
doi = {10.1007/978-3-030-89391-0\_4},
timestamp = {Mon, 18 Oct 2021 17:08:47 +0200},
biburl = {https://dblp.org/rec/conf/clar/SatohGB21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eacl/TranTNNSMN21,
author = {Vu Tran and
Van{-}Hien Tran and
Phuong Nguyen and
Chau Minh Nguyen and
Ken Satoh and
Yuji Matsumoto and
Minh Le Nguyen},
editor = {Dimitra Gkatzia and
Djam{\'{e}} Seddah},
title = {CovRelex: {A} {COVID-19} Retrieval System with Relation Extraction},
booktitle = {Proceedings of the 16th Conference of the European Chapter of the
Association for Computational Linguistics: System Demonstrations,
{EACL} 2021, Online, April 19-23, 2021},
pages = {24--31},
publisher = {Association for Computational Linguistics},
year = {2021},
url = {https://doi.org/10.18653/v1/2021.eacl-demos.4},
doi = {10.18653/V1/2021.EACL-DEMOS.4},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eacl/TranTNNSMN21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icail/Fungwacharakorn21,
author = {Wachara Fungwacharakorn and
Kanae Tsushima and
Ken Satoh},
editor = {Juliano Maranh{\~{a}}o and
Adam Zachary Wyner},
title = {On semantics-based minimal revision for legal reasoning},
booktitle = {{ICAIL} '21: Eighteenth International Conference for Artificial Intelligence
and Law, S{\~{a}}o Paulo Brazil, June 21 - 25, 2021},
pages = {50--59},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3462757.3466075},
doi = {10.1145/3462757.3466075},
timestamp = {Mon, 02 Aug 2021 12:18:20 +0200},
biburl = {https://dblp.org/rec/conf/icail/Fungwacharakorn21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icail/SatohTK21,
author = {Ken Satoh and
Kazuko Takahashi and
Tatsuki Kawasaki},
editor = {Juliano Maranh{\~{a}}o and
Adam Zachary Wyner},
title = {Interactive system for arranging issues based on {PROLEG} in civil
litigation},
booktitle = {{ICAIL} '21: Eighteenth International Conference for Artificial Intelligence
and Law, S{\~{a}}o Paulo Brazil, June 21 - 25, 2021},
pages = {273--274},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3462757.3466096},
doi = {10.1145/3462757.3466096},
timestamp = {Mon, 02 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icail/SatohTK21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/jsai/2020w,
editor = {Naoaki Okazaki and
Katsutoshi Yada and
Ken Satoh and
Koji Mineshima},
title = {New Frontiers in Artificial Intelligence - JSAI-isAI 2020 Workshops,
JURISIN, {LENLS} 2020 Workshops, Virtual Event, November 15-17, 2020,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {12758},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-79942-7},
doi = {10.1007/978-3-030-79942-7},
isbn = {978-3-030-79941-0},
timestamp = {Tue, 13 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jsai/2020w.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2106-13403,
author = {Ha{-}Thanh Nguyen and
Vu Tran and
Phuong Minh Nguyen and
Thi{-}Hai{-}Yen Vuong and
Quan Minh Bui and
Chau Minh Nguyen and
Tran Binh Dang and
Minh Le Nguyen and
Ken Satoh},
title = {ParaLaw Nets - Cross-lingual Sentence-level Pretraining for Legal
Text Processing},
journal = {CoRR},
volume = {abs/2106.13403},
year = {2021},
url = {https://arxiv.org/abs/2106.13403},
eprinttype = {arXiv},
eprint = {2106.13403},
timestamp = {Tue, 18 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2106-13403.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2106-13405,
author = {Ha{-}Thanh Nguyen and
Phuong Minh Nguyen and
Thi{-}Hai{-}Yen Vuong and
Quan Minh Bui and
Chau Minh Nguyen and
Tran Binh Dang and
Vu Tran and
Minh Le Nguyen and
Ken Satoh},
title = {{JNLP} Team: Deep Learning Approaches for Legal Processing Tasks in
{COLIEE} 2021},
journal = {CoRR},
volume = {abs/2106.13405},
year = {2021},
url = {https://arxiv.org/abs/2106.13405},
eprinttype = {arXiv},
eprint = {2106.13405},
timestamp = {Tue, 18 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2106-13405.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ail/TranNTS20,
author = {Vu D. Tran and
Minh Le Nguyen and
Satoshi Tojo and
Ken Satoh},
title = {Encoded summarization: summarizing documents into continuous vector
space for legal case retrieval},
journal = {Artif. Intell. Law},
volume = {28},
number = {4},
pages = {441--467},
year = {2020},
url = {https://doi.org/10.1007/s10506-020-09262-4},
doi = {10.1007/S10506-020-09262-4},
timestamp = {Tue, 18 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ail/TranNTS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/AlbertiGLRSZ20,
author = {Marco Alberti and
Marco Gavanelli and
Evelina Lamma and
Fabrizio Riguzzi and
Ken Satoh and
Riccardo Zese},
title = {Dischargeable Obligations in the \emph{{\unicode{119982}}}CIFF Framework},
journal = {Fundam. Informaticae},
volume = {176},
number = {3-4},
pages = {321--348},
year = {2020},
url = {https://doi.org/10.3233/FI-2020-1976},
doi = {10.3233/FI-2020-1976},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fuin/AlbertiGLRSZ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aciids/KoshimuraS20,
author = {Miyuki Koshimura and
Ken Satoh},
editor = {Ngoc Thanh Nguyen and
Kietikul Jearanaitanakij and
Ali Selamat and
Bogdan Trawinski and
Suphamit Chittayasothorn},
title = {A Simple yet Efficient MCSes Enumeration with {SAT} Oracles},
booktitle = {Intelligent Information and Database Systems - 12th Asian Conference,
{ACIIDS} 2020, Phuket, Thailand, March 23-26, 2020, Proceedings, Part
{I}},
series = {Lecture Notes in Computer Science},
volume = {12033},
pages = {191--201},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-41964-6\_17},
doi = {10.1007/978-3-030-41964-6\_17},
timestamp = {Thu, 16 Mar 2023 20:00:29 +0100},
biburl = {https://dblp.org/rec/conf/aciids/KoshimuraS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/clar/0002DSTN20,
author = {Tiago Oliveira and
J{\'{e}}r{\'{e}}mie Dauphin and
Ken Satoh and
Shusaku Tsumoto and
Paulo Novais},
editor = {Mehdi Dastani and
Huimin Dong and
Leon van der Torre},
title = {Goal-Driven Structured Argumentation for Patient Management in a Multimorbidity
Setting},
booktitle = {Logic and Argumentation - Third International Conference, {CLAR} 2020,
Hangzhou, China, April 6-9, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12061},
pages = {166--183},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-44638-3\_11},
doi = {10.1007/978-3-030-44638-3\_11},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/clar/0002DSTN20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/ShaoMLMSZM20,
author = {Yunqiu Shao and
Jiaxin Mao and
Yiqun Liu and
Weizhi Ma and
Ken Satoh and
Min Zhang and
Shaoping Ma},
editor = {Christian Bessiere},
title = {{BERT-PLI:} Modeling Paragraph-Level Interactions for Legal Case Retrieval},
booktitle = {Proceedings of the Twenty-Ninth International Joint Conference on
Artificial Intelligence, {IJCAI} 2020},
pages = {3501--3507},
publisher = {ijcai.org},
year = {2020},
url = {https://doi.org/10.24963/ijcai.2020/484},
doi = {10.24963/IJCAI.2020/484},
timestamp = {Wed, 16 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/ShaoMLMSZM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jsai/Fungwacharakorn20,
author = {Wachara Fungwacharakorn and
Kanae Tsushima and
Ken Satoh},
editor = {Katsutoshi Yada and
Daisuke Katagami and
Yasufumi Takama and
Takayuki Ito and
Akinori Abe and
Eri Sato{-}Shimokawara and
Junichiro Mori and
Naohiro Matsumura and
Hisashi Kashima},
title = {On the Legal Revision in {PROLEG} Program},
booktitle = {Advances in Artificial Intelligence - Selected Papers from the Annual
Conference of Japanese Society of Artificial Intelligence, {JSAI}
2020, Kumamoto-ken, Japan, 9-12 June 2020},
series = {Advances in Intelligent Systems and Computing},
volume = {1357},
pages = {25--36},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-73113-7\_3},
doi = {10.1007/978-3-030-73113-7\_3},
timestamp = {Thu, 02 Feb 2023 15:40:16 +0100},
biburl = {https://dblp.org/rec/conf/jsai/Fungwacharakorn20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jsai/RabeloKGYKS20,
author = {Juliano Rabelo and
Mi{-}Young Kim and
Randy Goebel and
Masaharu Yoshioka and
Yoshinobu Kano and
Ken Satoh},
editor = {Naoaki Okazaki and
Katsutoshi Yada and
Ken Satoh and
Koji Mineshima},
title = {{COLIEE} 2020: Methods for Legal Document Retrieval and Entailment},
booktitle = {New Frontiers in Artificial Intelligence - JSAI-isAI 2020 Workshops,
JURISIN, {LENLS} 2020 Workshops, Virtual Event, November 15-17, 2020,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {12758},
pages = {196--210},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-79942-7\_13},
doi = {10.1007/978-3-030-79942-7\_13},
timestamp = {Thu, 28 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jsai/RabeloKGYKS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jurix/Fungwacharakorn20,
author = {Wachara Fungwacharakorn and
Ken Satoh},
editor = {Serena Villata and
Jakub Harasta and
Petr Kremen},
title = {Generalizing Culprit Resolution in Legal Debugging with Background
Knowledge},
booktitle = {Legal Knowledge and Information Systems - {JURIX} 2020: The Thirty-third
Annual Conference, Brno, Czech Republic, December 9-11, 2020},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {334},
pages = {52--62},
publisher = {{IOS} Press},
year = {2020},
url = {https://doi.org/10.3233/FAIA200849},
doi = {10.3233/FAIA200849},
timestamp = {Wed, 11 Aug 2021 09:02:30 +0200},
biburl = {https://dblp.org/rec/conf/jurix/Fungwacharakorn20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jurix/SatohB020,
author = {Ken Satoh and
Matteo Baldoni and
Laura Giordano},
editor = {Serena Villata and
Jakub Harasta and
Petr Kremen},
title = {Reasoning About Applicable Law in Private International Law in Logic
Programming},
booktitle = {Legal Knowledge and Information Systems - {JURIX} 2020: The Thirty-third
Annual Conference, Brno, Czech Republic, December 9-11, 2020},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {334},
pages = {281--285},
publisher = {{IOS} Press},
year = {2020},
url = {https://doi.org/10.3233/FAIA200884},
doi = {10.3233/FAIA200884},
timestamp = {Wed, 10 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/jurix/SatohB020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/jsai/2019w,
editor = {Maki Sakamoto and
Naoaki Okazaki and
Koji Mineshima and
Ken Satoh},
title = {New Frontiers in Artificial Intelligence - JSAI-isAI International
Workshops, JURISIN, AI-Biz, LENLS, Kansei-AI, Yokohama, Japan, November
10-12, 2019, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {12331},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-58790-1},
doi = {10.1007/978-3-030-58790-1},
isbn = {978-3-030-58789-5},
timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jsai/2019w.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2009-14083,
author = {Vu D. Tran and
Minh Le Nguyen and
Ken Satoh},
title = {Building Legal Case Retrieval Systems with Lexical Matching and Summarization
using {A} Pre-Trained Phrase Scoring Model},
journal = {CoRR},
volume = {abs/2009.14083},
year = {2020},
url = {https://arxiv.org/abs/2009.14083},
eprinttype = {arXiv},
eprint = {2009.14083},
timestamp = {Tue, 18 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2009-14083.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2011-08071,
author = {Ha{-}Thanh Nguyen and
Hai{-}Yen Thi Vuong and
Phuong Minh Nguyen and
Tran Binh Dang and
Quan Minh Bui and
Vu Trong Sinh and
Chau Minh Nguyen and
Vu D. Tran and
Ken Satoh and
Minh Le Nguyen},
title = {{JNLP} Team: Deep Learning for Legal Processing in {COLIEE} 2020},
journal = {CoRR},
volume = {abs/2011.08071},
year = {2020},
url = {https://arxiv.org/abs/2011.08071},
eprinttype = {arXiv},
eprint = {2011.08071},
timestamp = {Tue, 18 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2011-08071.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/es/OliveiraGNSN19,
author = {Tiago Oliveira and
Filipe Gon{\c{c}}alves and
Paulo Novais and
Ken Satoh and
Jos{\'{e}} Neves},
title = {OWL-based acquisition and editing of computer-interpretable guidelines
with the CompGuide editor},
journal = {Expert Syst. J. Knowl. Eng.},
volume = {36},
number = {3},
year = {2019},
url = {https://doi.org/10.1111/exsy.12276},
doi = {10.1111/EXSY.12276},
timestamp = {Tue, 26 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/es/OliveiraGNSN19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ida/BellodiSS19,
author = {Elena Bellodi and
Ken Satoh and
Mahito Sugiyama},
title = {Summarizing significant subgraphs by probabilistic logic programming},
journal = {Intell. Data Anal.},
volume = {23},
number = {6},
pages = {1299--1312},
year = {2019},
url = {https://doi.org/10.3233/IDA-184339},
doi = {10.3233/IDA-184339},
timestamp = {Mon, 02 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ida/BellodiSS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jancl/PooksookDSS19,
author = {Jiraporn Pooksook and
Phan Minh Dung and
Ken Satoh and
Giovanni Sartor},
title = {Modelling last-act attempted crime in criminal law},
journal = {J. Appl. Non Class. Logics},
volume = {29},
number = {4},
pages = {327--357},
year = {2019},
url = {https://doi.org/10.1080/11663081.2019.1647652},
doi = {10.1080/11663081.2019.1647652},
timestamp = {Sat, 25 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jancl/PooksookDSS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icail/TranNS19,
author = {Vu D. Tran and
Minh Le Nguyen and
Ken Satoh},
title = {Building Legal Case Retrieval Systems with Lexical Matching and Summarization
using {A} Pre-Trained Phrase Scoring Model},
booktitle = {Proceedings of the Seventeenth International Conference on Artificial
Intelligence and Law, {ICAIL} 2019, Montreal, QC, Canada, June 17-21,
2019},
pages = {275--282},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3322640.3326740},
doi = {10.1145/3322640.3326740},
timestamp = {Tue, 18 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icail/TranNS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jsai/RabeloKGYKS19,
author = {Juliano Rabelo and
Mi{-}Young Kim and
Randy Goebel and
Masaharu Yoshioka and
Yoshinobu Kano and
Ken Satoh},
editor = {Maki Sakamoto and
Naoaki Okazaki and
Koji Mineshima and
Ken Satoh},
title = {A Summary of the {COLIEE} 2019 Competition},
booktitle = {New Frontiers in Artificial Intelligence - JSAI-isAI International
Workshops, JURISIN, AI-Biz, LENLS, Kansei-AI, Yokohama, Japan, November
10-12, 2019, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {12331},
pages = {34--49},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-58790-1\_3},
doi = {10.1007/978-3-030-58790-1\_3},
timestamp = {Thu, 28 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jsai/RabeloKGYKS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jsai/SerranoS19,
author = {Emilio Serrano and
Ken Satoh},
editor = {Maki Sakamoto and
Naoaki Okazaki and
Koji Mineshima and
Ken Satoh},
title = {An Agent-Based Model for Exploring Pension Law and Social Security
Policies},
booktitle = {New Frontiers in Artificial Intelligence - JSAI-isAI International
Workshops, JURISIN, AI-Biz, LENLS, Kansei-AI, Yokohama, Japan, November
10-12, 2019, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {12331},
pages = {50--63},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-58790-1\_4},
doi = {10.1007/978-3-030-58790-1\_4},
timestamp = {Tue, 06 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jsai/SerranoS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jurix/Baldoni0S19,
author = {Matteo Baldoni and
Laura Giordano and
Ken Satoh},
editor = {Michal Araszkiewicz and
V{\'{\i}}ctor Rodr{\'{\i}}guez{-}Doncel},
title = {Renvoi in Private International Law: {A} Formalization with Modal
Contexts},
booktitle = {Legal Knowledge and Information Systems - {JURIX} 2019: The Thirty-second
Annual Conference, Madrid, Spain, December 11-13, 2019},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {322},
pages = {157--162},
publisher = {{IOS} Press},
year = {2019},
url = {https://doi.org/10.3233/FAIA190318},
doi = {10.3233/FAIA190318},
timestamp = {Wed, 10 Feb 2021 22:02:18 +0100},
biburl = {https://dblp.org/rec/conf/jurix/Baldoni0S19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jurix/SinhNS19,
author = {Vu Trong Sinh and
Minh Le Nguyen and
Ken Satoh},
editor = {Michal Araszkiewicz and
V{\'{\i}}ctor Rodr{\'{\i}}guez{-}Doncel},
title = {Legal Text Generation from Abstract Meaning Representation},
booktitle = {Legal Knowledge and Information Systems - {JURIX} 2019: The Thirty-second
Annual Conference, Madrid, Spain, December 11-13, 2019},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {322},
pages = {229--234},
publisher = {{IOS} Press},
year = {2019},
url = {https://doi.org/10.3233/FAIA190330},
doi = {10.3233/FAIA190330},
timestamp = {Tue, 18 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jurix/SinhNS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kse/TranNSS19,
author = {Vu D. Tran and
Minh Le Nguyen and
Kiyoaki Shirai and
Ken Satoh},
title = {An Approach of Rhetorical Status Recognition for Judgments in Court
Documents using Deep Learning Models},
booktitle = {11th International Conference on Knowledge and Systems Engineering,
{KSE} 2019, Da Nang, Vietnam, October 24-26, 2019},
pages = {1--6},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/KSE.2019.8919370},
doi = {10.1109/KSE.2019.8919370},
timestamp = {Tue, 18 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kse/TranNSS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prima/DauphinS19,
author = {J{\'{e}}r{\'{e}}mie Dauphin and
Ken Satoh},
editor = {Matteo Baldoni and
Mehdi Dastani and
Beishui Liao and
Yuko Sakurai and
Rym Zalila{-}Wenkstern},
title = {Explainable {ASP}},
booktitle = {{PRIMA} 2019: Principles and Practice of Multi-Agent Systems - 22nd
International Conference, Turin, Italy, October 28-31, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11873},
pages = {610--617},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-33792-6\_47},
doi = {10.1007/978-3-030-33792-6\_47},
timestamp = {Mon, 28 Oct 2019 17:18:02 +0100},
biburl = {https://dblp.org/rec/conf/prima/DauphinS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ruleml/VosKPS19,
author = {Marina De Vos and
Sabrina Kirrane and
Julian A. Padget and
Ken Satoh},
editor = {Paul Fodor and
Marco Montali and
Diego Calvanese and
Dumitru Roman},
title = {{ODRL} Policy Modelling and Compliance Checking},
booktitle = {Rules and Reasoning - Third International Joint Conference, RuleML+RR
2019, Bolzano, Italy, September 16-19, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11784},
pages = {36--51},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-31095-0\_3},
doi = {10.1007/978-3-030-31095-0\_3},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ruleml/VosKPS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/worldcist/00040SN19,
author = {Ant{\'{o}}nio Silva and
Tiago Oliveira and
Ken Satoh and
Paulo Novais},
editor = {{\'{A}}lvaro Rocha and
Hojjat Adeli and
Lu{\'{\i}}s Paulo Reis and
Sandra Costanzo},
title = {Providing Alternative Measures for Addressing Adverse Drug-Drug Interactions},
booktitle = {New Knowledge in Information Systems and Technologies - Volume 2,
World Conference on Information Systems and Technologies, WorldCIST
2019, Galicia, Spain, 16-19 April},
series = {Advances in Intelligent Systems and Computing},
volume = {931},
pages = {567--576},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-16184-2\_54},
doi = {10.1007/978-3-030-16184-2\_54},
timestamp = {Wed, 21 Oct 2020 09:19:55 +0200},
biburl = {https://dblp.org/rec/conf/worldcist/00040SN19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/jsai/2018,
editor = {Kazuhiro Kojima and
Maki Sakamoto and
Koji Mineshima and
Ken Satoh},
title = {New Frontiers in Artificial Intelligence - JSAI-isAI 2018 Workshops,
JURISIN, AI-Biz, SKL, LENLS, IDAA, Yokohama, Japan, November 12-14,
2018, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11717},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-31605-1},
doi = {10.1007/978-3-030-31605-1},
isbn = {978-3-030-31604-4},
timestamp = {Tue, 22 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jsai/2018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ail/NguyenNTSS18,
author = {Truong{-}Son Nguyen and
Le{-}Minh Nguyen and
Satoshi Tojo and
Ken Satoh and
Akira Shimazu},
title = {Recurrent neural network-based models for recognizing requisite and
effectuation parts in legal texts},
journal = {Artif. Intell. Law},
volume = {26},
number = {2},
pages = {169--199},
year = {2018},
url = {https://doi.org/10.1007/s10506-018-9225-1},
doi = {10.1007/S10506-018-9225-1},
timestamp = {Tue, 18 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ail/NguyenNTSS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jphil/KowalskiS18,
author = {Robert A. Kowalski and
Ken Satoh},
title = {Obligation as Optimal Goal Satisfaction},
journal = {J. Philos. Log.},
volume = {47},
number = {4},
pages = {579--609},
year = {2018},
url = {https://doi.org/10.1007/s10992-017-9440-3},
doi = {10.1007/S10992-017-9440-3},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jphil/KowalskiS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sensors/OliveiraSSJLN18,
author = {Tiago Oliveira and
Ana Silva and
Ken Satoh and
Vicente Juli{\'{a}}n and
Pedro Le{\~{a}}o and
Paulo Novais},
title = {Survivability Prediction of Colorectal Cancer Patients: {A} System
with Evolving Features for Continuous Improvement},
journal = {Sensors},
volume = {18},
number = {9},
pages = {2983},
year = {2018},
url = {https://doi.org/10.3390/s18092983},
doi = {10.3390/S18092983},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sensors/OliveiraSSJLN18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/0002DSTN18,
author = {Tiago Oliveira and
J{\'{e}}r{\'{e}}mie Dauphin and
Ken Satoh and
Shusaku Tsumoto and
Paulo Novais},
editor = {Elisabeth Andr{\'{e}} and
Sven Koenig and
Mehdi Dastani and
Gita Sukthankar},
title = {Argumentation with Goals for Clinical Decision Support in Multimorbidity},
booktitle = {Proceedings of the 17th International Conference on Autonomous Agents
and MultiAgent Systems, {AAMAS} 2018, Stockholm, Sweden, July 10-15,
2018},
pages = {2031--2033},
publisher = {International Foundation for Autonomous Agents and Multiagent Systems
Richland, SC, {USA} / {ACM}},
year = {2018},
url = {http://dl.acm.org/citation.cfm?id=3238061},
timestamp = {Sat, 30 Sep 2023 09:34:53 +0200},
biburl = {https://dblp.org/rec/conf/atal/0002DSTN18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/WangOS18,
author = {Bohao Wang and
Hirotaka Osawa and
Ken Satoh},
editor = {Elisabeth Andr{\'{e}} and
Sven Koenig and
Mehdi Dastani and
Gita Sukthankar},
title = {How Implicit Communication Emerges during Conversation Game},
booktitle = {Proceedings of the 17th International Conference on Autonomous Agents
and MultiAgent Systems, {AAMAS} 2018, Stockholm, Sweden, July 10-15,
2018},
pages = {2118--2120},
publisher = {International Foundation for Autonomous Agents and Multiagent Systems
Richland, SC, {USA} / {ACM}},
year = {2018},
url = {http://dl.acm.org/citation.cfm?id=3238091},
timestamp = {Mon, 16 Jul 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atal/WangOS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jsai/Navas-LoroSR18,
author = {Mar{\'{\i}}a Navas{-}Loro and
Ken Satoh and
V{\'{\i}}ctor Rodr{\'{\i}}guez{-}Doncel},
editor = {Kazuhiro Kojima and
Maki Sakamoto and
Koji Mineshima and
Ken Satoh},
title = {ContractFrames: Bridging the Gap Between Natural Language and Logics
in Contract Law},
booktitle = {New Frontiers in Artificial Intelligence - JSAI-isAI 2018 Workshops,
JURISIN, AI-Biz, SKL, LENLS, IDAA, Yokohama, Japan, November 12-14,
2018, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11717},
pages = {101--114},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-31605-1\_9},
doi = {10.1007/978-3-030-31605-1\_9},
timestamp = {Thu, 07 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/jsai/Navas-LoroSR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jsai/Fungwacharakorn18,
author = {Wachara Fungwacharakorn and
Ken Satoh},
editor = {Kazuhiro Kojima and
Maki Sakamoto and
Koji Mineshima and
Ken Satoh},
title = {Legal Debugging in Propositional Legal Representation},
booktitle = {New Frontiers in Artificial Intelligence - JSAI-isAI 2018 Workshops,
JURISIN, AI-Biz, SKL, LENLS, IDAA, Yokohama, Japan, November 12-14,
2018, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11717},
pages = {146--159},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-31605-1\_12},
doi = {10.1007/978-3-030-31605-1\_12},
timestamp = {Tue, 22 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jsai/Fungwacharakorn18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jsai/KanoKYLRKGS18,
author = {Yoshinobu Kano and
Mi{-}Young Kim and
Masaharu Yoshioka and
Yao Lu and
Juliano Rabelo and
Naoki Kiyota and
Randy Goebel and
Ken Satoh},
editor = {Kazuhiro Kojima and
Maki Sakamoto and
Koji Mineshima and
Ken Satoh},
title = {{COLIEE-2018:} Evaluation of the Competition on Legal Information
Extraction and Entailment},
booktitle = {New Frontiers in Artificial Intelligence - JSAI-isAI 2018 Workshops,
JURISIN, AI-Biz, SKL, LENLS, IDAA, Yokohama, Japan, November 12-14,
2018, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11717},
pages = {177--192},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-31605-1\_14},
doi = {10.1007/978-3-030-31605-1\_14},
timestamp = {Thu, 28 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jsai/KanoKYLRKGS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jurix/ValvodaRS18,
author = {Josef Valvoda and
Oliver Ray and
Ken Satoh},
editor = {Monica Palmirani},
title = {Using Agreement Statements to Identify Majority Opinion in {UKHL}
Case Law},
booktitle = {Legal Knowledge and Information Systems - {JURIX} 2018: The Thirty-first
Annual Conference, Groningen, The Netherlands, 12-14 December 2018},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {313},
pages = {141--150},
publisher = {{IOS} Press},
year = {2018},
url = {https://doi.org/10.3233/978-1-61499-935-5-141},
doi = {10.3233/978-1-61499-935-5-141},
timestamp = {Wed, 10 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/jurix/ValvodaRS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/00040SN18,
author = {Ant{\'{o}}nio Silva and
Tiago Oliveira and
Ken Satoh and
Paulo Novais},
editor = {Kristijonas Cyras and
Tiago Oliveira and
Matthew Williams and
Loris Bozzato and
Martin Homola and
Till Mossakowski and
Antoine Zimmermann},
title = {Automatically Identifying Drug Conflicts in Clinical Practice Guidelines},
booktitle = {Proceedings of the Joint Proceedings of Reasoning with Ambiguous and
Conflicting Evidence and Recommendations in Medicine (MedRACER 2018)
and the 3rd International Workshop on Ontology Modularity, Contextuality,
and Evolution (WOMoCoE 2018) co-located with the 16th International
Conference on Principles of Knowledge Representation and Reasoning
{(KR} 2018), Tempe, Arizona, USA, October 29th, 2018},
series = {{CEUR} Workshop Proceedings},
volume = {2237},
pages = {23--28},
publisher = {CEUR-WS.org},
year = {2018},
url = {https://ceur-ws.org/Vol-2237/medracer-paper-3.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:13 +0100},
biburl = {https://dblp.org/rec/conf/kr/00040SN18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kse/TranNS18,
author = {Vu D. Tran and
Minh Le Nguyen and
Ken Satoh},
editor = {Nguyen Thanh Thuy and
Satoshi Tojo and
Tan Hanh and
Minh Le Nguyen and
Tu Minh Phuong and
Vo Nguyen Quoc Bao},
title = {Encoding Local Contexts of Sentences with Convolutions on pq-Gram
Representations of Dependency Trees},
booktitle = {10th International Conference on Knowledge and Systems Engineering,
{KSE} 2018, Ho Chi Minh City, Vietnam, November 1-3, 2018},
pages = {329--334},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/KSE.2018.8573348},
doi = {10.1109/KSE.2018.8573348},
timestamp = {Tue, 18 Oct 2022 10:42:25 +0200},
biburl = {https://dblp.org/rec/conf/kse/TranNS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prima/ArisakaS18,
author = {Ryuta Arisaka and
Ken Satoh},
editor = {Tim Miller and
Nir Oren and
Yuko Sakurai and
Itsuki Noda and
Bastin Tony Roy Savarimuthu and
Tran Cao Son},
title = {Abstract Argumentation / Persuasion / Dynamics},
booktitle = {{PRIMA} 2018: Principles and Practice of Multi-Agent Systems - 21st
International Conference, Tokyo, Japan, October 29 - November 2, 2018,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11224},
pages = {331--343},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03098-8\_20},
doi = {10.1007/978-3-030-03098-8\_20},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/prima/ArisakaS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prima/DauphinS18,
author = {J{\'{e}}r{\'{e}}mie Dauphin and
Ken Satoh},
editor = {Tim Miller and
Nir Oren and
Yuko Sakurai and
Itsuki Noda and
Bastin Tony Roy Savarimuthu and
Tran Cao Son},
title = {Dialogue Games for Enforcement of Argument Acceptance and Rejection
via Attack Removal},
booktitle = {{PRIMA} 2018: Principles and Practice of Multi-Agent Systems - 21st
International Conference, Tokyo, Japan, October 29 - November 2, 2018,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11224},
pages = {449--457},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03098-8\_29},
doi = {10.1007/978-3-030-03098-8\_29},
timestamp = {Wed, 24 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/prima/DauphinS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/worldcist/SilvaOGNSN18,
author = {Ant{\'{o}}nio Silva and
Tiago Oliveira and
Filipe Gon{\c{c}}alves and
Jos{\'{e}} Neves and
Ken Satoh and
Paulo Novais},
editor = {{\'{A}}lvaro Rocha and
Hojjat Adeli and
Lu{\'{\i}}s Paulo Reis and
Sandra Costanzo},
title = {A Unified System for Clinical Guideline Management and Execution},
booktitle = {Trends and Advances in Information Systems and Technologies - Volume
2 [WorldCIST'18, Naples, Italy, March 27-29, 2018]},
series = {Advances in Intelligent Systems and Computing},
volume = {746},
pages = {810--819},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-77712-2\_76},
doi = {10.1007/978-3-319-77712-2\_76},
timestamp = {Wed, 21 Oct 2020 09:19:55 +0200},
biburl = {https://dblp.org/rec/conf/worldcist/SilvaOGNSN18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/asc/NovaisOSN18,
author = {Paulo Novais and
Tiago Oliveira and
Ken Satoh and
Jos{\'{e}} Neves},
editor = {Grzegorz J. Nalepa and
Joachim Baumeister},
title = {The Role of Ontologies and Decision Frameworks in Computer-Interpretable
Guideline Execution},
booktitle = {Synergies Between Knowledge Engineering and Software Engineering},
series = {Advances in Intelligent Systems and Computing},
volume = {626},
pages = {197--216},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-64161-4\_10},
doi = {10.1007/978-3-319-64161-4\_10},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/asc/NovaisOSN18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/jsai/2017,
editor = {Sachiyo Arai and
Kazuhiro Kojima and
Koji Mineshima and
Daisuke Bekki and
Ken Satoh and
Yuiko Ohta},
title = {New Frontiers in Artificial Intelligence - JSAI-isAI Workshops, JURISIN,
SKL, AI-Biz, LENLS, AAA, SCIDOCA, kNeXI, Tsukuba, Tokyo, Japan, November
13-15, 2017, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10838},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-93794-6},
doi = {10.1007/978-3-319-93794-6},
isbn = {978-3-319-93793-9},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jsai/2017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1809-05219,
author = {Vu D. Tran and
Minh Le Nguyen and
Ken Satoh},
title = {Automatic Catchphrase Extraction from Legal Case Documents via Scoring
using Deep Neural Networks},
journal = {CoRR},
volume = {abs/1809.05219},
year = {2018},
url = {http://arxiv.org/abs/1809.05219},
eprinttype = {arXiv},
eprint = {1809.05219},
timestamp = {Tue, 18 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1809-05219.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aamas/OliveiraSNNH17,
author = {Tiago Oliveira and
Ken Satoh and
Paulo Novais and
Jos{\'{e}} Neves and
Hiroshi Hosobe},
title = {A dynamic default revision mechanism for speculative computation},
journal = {Auton. Agents Multi Agent Syst.},
volume = {31},
number = {3},
pages = {656--695},
year = {2017},
url = {https://doi.org/10.1007/s10458-016-9341-9},
doi = {10.1007/S10458-016-9341-9},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aamas/OliveiraSNNH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aepia/RamosOSNN17,
author = {Jo{\~{a}}o Ramos and
Tiago Oliveira and
Ken Satoh and
Jos{\'{e}} Neves and
Paulo Novais},
title = {An Orientation Method with Prediction and Anticipation Features},
journal = {Inteligencia Artif.},
volume = {20},
number = {59},
pages = {82--95},
year = {2017},
url = {https://doi.org/10.4114/intartif.vol20iss59pp82-95},
doi = {10.4114/INTARTIF.VOL20ISS59PP82-95},
timestamp = {Thu, 28 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aepia/RamosOSNN17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aicol/ArisakaST17,
author = {Ryuta Arisaka and
Ken Satoh and
Leendert W. N. van der Torre},
editor = {Ugo Pagallo and
Monica Palmirani and
Pompeu Casanovas and
Giovanni Sartor and
Serena Villata},
title = {Anything You Say May Be Used Against You in a Court of Law - Abstract
Agent Argumentation (Triple-A)},
booktitle = {{AI} Approaches to the Complexity of Legal Systems - {AICOL} International
Workshops 2015-2017: AICOL-VI@JURIX 2015, AICOL-VII@EKAW 2016, AICOL-VIII@JURIX
2016, AICOL-IX@ICAIL 2017, and AICOL-X@JURIX 2017, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {10791},
pages = {427--442},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-030-00178-0\_29},
doi = {10.1007/978-3-030-00178-0\_29},
timestamp = {Fri, 27 Mar 2020 08:51:24 +0100},
biburl = {https://dblp.org/rec/conf/aicol/ArisakaST17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/SilvaONSN17,
author = {Ant{\'{o}}nio Silva and
Tiago Oliveira and
Jos{\'{e}} Neves and
Ken Satoh and
Paulo Novais},
editor = {Sara Montagna and
Pedro Henriques Abreu and
Sylvain Giroux and
Michael Ignaz Schumacher},
title = {A System for the Management of Clinical Tasks Throughout the Clinical
Process with Notification Features},
booktitle = {Agents and Multi-Agent Systems for Health Care - 10th International
Workshop, {A2HC} 2017, S{\~{a}}o Paulo, Brazil, May 8, 2017, and International
Workshop, {A-HEALTH} 2017, Porto, Portugal, June 21, 2017, Revised
and Extended Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10685},
pages = {76--93},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-70887-4\_5},
doi = {10.1007/978-3-319-70887-4\_5},
timestamp = {Fri, 09 Apr 2021 18:35:44 +0200},
biburl = {https://dblp.org/rec/conf/atal/SilvaONSN17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/ArisakaS17,
author = {Ryuta Arisaka and
Ken Satoh},
editor = {Kate Larson and
Michael Winikoff and
Sanmay Das and
Edmund H. Durfee},
title = {Coalition Formability Semantics with Conflict-Eliminable Sets of Arguments},
booktitle = {Proceedings of the 16th Conference on Autonomous Agents and MultiAgent
Systems, {AAMAS} 2017, S{\~{a}}o Paulo, Brazil, May 8-12, 2017},
pages = {1469--1471},
publisher = {{ACM}},
year = {2017},
url = {http://dl.acm.org/citation.cfm?id=3091332},
timestamp = {Wed, 27 Sep 2017 07:24:00 +0200},
biburl = {https://dblp.org/rec/conf/atal/ArisakaS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icail/KanoKGS17,
author = {Yoshinobu Kano and
Mi{-}Young Kim and
Randy Goebel and
Ken Satoh},
editor = {Ken Satoh and
Mi{-}Young Kim and
Yoshinobu Kano and
Randy Goebel and
Tiago Oliveira},
title = {Overview of {COLIEE} 2017},
booktitle = {{COLIEE} 2017. 4th Competition on Legal Information Extraction and
Entailment, held in conjunction with the 16th International Conference
on Artificial Intelligence and Law {(ICAIL} 2017) in King's College
London, {UK}},
series = {EPiC Series in Computing},
volume = {47},
pages = {1--8},
publisher = {EasyChair},
year = {2017},
url = {https://doi.org/10.29007/fm8f},
doi = {10.29007/FM8F},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icail/KanoKGS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icail/2017coliee,
editor = {Ken Satoh and
Mi{-}Young Kim and
Yoshinobu Kano and
Randy Goebel and
Tiago Oliveira},
title = {{COLIEE} 2017. 4th Competition on Legal Information Extraction and
Entailment, held in conjunction with the 16th International Conference
on Artificial Intelligence and Law {(ICAIL} 2017) in King's College
London, {UK}},
series = {EPiC Series in Computing},
volume = {47},
publisher = {EasyChair},
year = {2017},
url = {https://easychair.org/publications/volume/COLIEE\_2017},
timestamp = {Fri, 13 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icail/2017coliee.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/jsai/2015,
editor = {Mihoko Otake and
Setsuya Kurahashi and
Yuiko Ota and
Ken Satoh and
Daisuke Bekki},
title = {New Frontiers in Artificial Intelligence - JSAI-isAI 2015 Workshops,
LENLS, JURISIN, AAA, HAT-MASH, TSDAA, ASD-HR, and SKL, Kanagawa, Japan,
November 16-18, 2015, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10091},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-50953-2},
doi = {10.1007/978-3-319-50953-2},
isbn = {978-3-319-50952-5},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jsai/2015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/jsai/2016,
editor = {Setsuya Kurahashi and
Yuiko Ohta and
Sachiyo Arai and
Ken Satoh and
Daisuke Bekki},
title = {New Frontiers in Artificial Intelligence - JSAI-isAI 2016 Workshops,
LENLS, HAT-MASH, AI-Biz, {JURISIN} and SKL, Kanagawa, Japan, November
14-16, 2016, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10247},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-61572-1},
doi = {10.1007/978-3-319-61572-1},
isbn = {978-3-319-61571-4},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jsai/2016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ArisakaS17,
author = {Ryuta Arisaka and
Ken Satoh},
title = {Abstract Argumentation / Persuasion / Dynamics},
journal = {CoRR},
volume = {abs/1705.10044},
year = {2017},
url = {http://arxiv.org/abs/1705.10044},
eprinttype = {arXiv},
eprint = {1705.10044},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/ArisakaS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1711-06141,
author = {Lai Dac Viet and
Vu Trong Sinh and
Le Minh Nguyen and
Ken Satoh},
title = {ConvAMR: Abstract meaning representation parsing for legal document},
journal = {CoRR},
volume = {abs/1711.06141},
year = {2017},
url = {http://arxiv.org/abs/1711.06141},
eprinttype = {arXiv},
eprint = {1711.06141},
timestamp = {Tue, 18 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1711-06141.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/comma/CyrasST16,
author = {Kristijonas Cyras and
Ken Satoh and
Francesca Toni},
editor = {Pietro Baroni and
Thomas F. Gordon and
Tatjana Scheffler and
Manfred Stede},
title = {Explanation for Case-Based Reasoning via Abstract Argumentation},
booktitle = {Computational Models of Argument - Proceedings of {COMMA} 2016, Potsdam,
Germany, 12-16 September, 2016},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {287},
pages = {243--254},
publisher = {{IOS} Press},
year = {2016},
url = {https://doi.org/10.3233/978-1-61499-686-6-243},
doi = {10.3233/978-1-61499-686-6-243},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/comma/CyrasST16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ica2/FujitaGNSH16,
author = {Megumi Fujita and
Yuki Goto and
Naoyuki Nide and
Ken Satoh and
Hiroshi Hosobe},
title = {Autonomous Control of Mobile Robots Using Logical Representation of
Map and Inference of Location},
booktitle = {{IEEE} International Conference on Agents, {ICA} 2016, Matsue, Japan,
September 28-30, 2016},
pages = {78--81},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.ieeecomputersociety.org/10.1109/ICA.2016.026},
doi = {10.1109/ICA.2016.026},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ica2/FujitaGNSH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jsai/ArisakaS16,
author = {Ryuta Arisaka and
Ken Satoh},
editor = {Setsuya Kurahashi and
Yuiko Ohta and
Sachiyo Arai and
Ken Satoh and
Daisuke Bekki},
title = {Voluntary Manslaughter? {A} Case Study with Meta-Argumentation with
Supports},
booktitle = {New Frontiers in Artificial Intelligence - JSAI-isAI 2016 Workshops,
LENLS, HAT-MASH, AI-Biz, {JURISIN} and SKL, Kanagawa, Japan, November
14-16, 2016, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10247},
pages = {241--252},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-61572-1\_16},
doi = {10.1007/978-3-319-61572-1\_16},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/jsai/ArisakaS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jurix/ThompsonPS16,
author = {Matthew Thompson and
Julian A. Padget and
Ken Satoh},
editor = {Floris Bex and
Serena Villata},
title = {Describing Legal Policies as Story Tropes in Normative Systems},
booktitle = {Legal Knowledge and Information Systems - {JURIX} 2016: The Twenty-Ninth
Annual Conference},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {294},
pages = {207--210},
publisher = {{IOS} Press},
year = {2016},
url = {https://doi.org/10.3233/978-1-61499-726-9-207},
doi = {10.3233/978-1-61499-726-9-207},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jurix/ThompsonPS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/CyrasST16,
author = {Kristijonas Cyras and
Ken Satoh and
Francesca Toni},
editor = {Chitta Baral and
James P. Delgrande and
Frank Wolter},
title = {Abstract Argumentation for Case-Based Reasoning},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Fifteenth International Conference, {KR} 2016, Cape Town, South
Africa, April 25-29, 2016},
pages = {549--552},
publisher = {{AAAI} Press},
year = {2016},
url = {http://www.aaai.org/ocs/index.php/KR/KR16/paper/view/12879},
timestamp = {Tue, 09 Feb 2021 08:33:50 +0100},
biburl = {https://dblp.org/rec/conf/kr/CyrasST16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paams/RamosOSNN16,
author = {Jo{\~{a}}o Ramos and
Tiago Oliveira and
Ken Satoh and
Jos{\'{e}} Neves and
Paulo Novais},
editor = {Javier Bajo and
Mar{\'{\i}}a Jos{\'{e}} Escalona and
Sylvain Giroux and
Patrycja Hoffa{-}Dabrowska and
Vicente Juli{\'{a}}n and
Paulo Novais and
Nayat S{\'{a}}nchez Pi and
Rainer Unland and
Ricardo Azambuja Silveira},
title = {Orientation System Based on Speculative Computation and Trajectory
Mining},
booktitle = {Highlights of Practical Applications of Scalable Multi-Agent Systems.
The {PAAMS} Collection - International Workshops of {PAAMS} 2016,
Sevilla, Spain, June 1-3, 2016. Proceedings},
series = {Communications in Computer and Information Science},
volume = {616},
pages = {250--261},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-39387-2\_21},
doi = {10.1007/978-3-319-39387-2\_21},
timestamp = {Thu, 28 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/paams/RamosOSNN16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prima/ArisakaS16,
author = {Ryuta Arisaka and
Ken Satoh},
editor = {Matteo Baldoni and
Amit K. Chopra and
Tran Cao Son and
Katsutoshi Hirayama and
Paolo Torroni},
title = {Balancing Rationality and Utility in Logic-Based Argumentation with
Classical Logic Sentences and Belief Contraction},
booktitle = {{PRIMA} 2016: Princiles and Practice of Multi-Agent Systems - 19th
International Conference, Phuket, Thailand, August 22-26, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9862},
pages = {168--180},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-44832-9\_10},
doi = {10.1007/978-3-319-44832-9\_10},
timestamp = {Fri, 27 Mar 2020 08:49:36 +0100},
biburl = {https://dblp.org/rec/conf/prima/ArisakaS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ArisakaS16,
author = {Ryuta Arisaka and
Ken Satoh},
title = {Coalition Formability Semantics with Conflict-Eliminable Sets of Arguments},
journal = {CoRR},
volume = {abs/1605.00495},
year = {2016},
url = {http://arxiv.org/abs/1605.00495},
eprinttype = {arXiv},
eprint = {1605.00495},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/ArisakaS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/LiVPSB15,
author = {Tingting Li and
Marina De Vos and
Julian A. Padget and
Ken Satoh and
Tina Balke},
editor = {Marina De Vos and
Thomas Eiter and
Yuliya Lierler and
Francesca Toni},
title = {Debugging {ASP} using {ILP}},
booktitle = {Proceedings of the Technical Communications of the 31st International
Conference on Logic Programming {(ICLP} 2015), Cork, Ireland, August
31 - September 4, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1433},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1433/tc\_26.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:26 +0100},
biburl = {https://dblp.org/rec/conf/iclp/LiVPSB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/idc/OliveiraSNNLH15,
author = {Tiago Oliveira and
Ken Satoh and
Paulo Novais and
Jos{\'{e}} Neves and
Pedro Le{\~{a}}o and
Hiroshi Hosobe},
editor = {Paulo Novais and
David Camacho and
Cesar Analide and
Amal El Fallah Seghrouchni and
Costin Badica},
title = {A Reasoning Module for Distributed Clinical Decision Support Systems},
booktitle = {Intelligent Distributed Computing {IX} - Proceedings of the 9th International
Symposium on Intelligent Distributed Computing - IDC'2015, Guimar{\~{a}}es,
Portugal, October 2015},
series = {Studies in Computational Intelligence},
volume = {616},
pages = {387--397},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-25017-5\_36},
doi = {10.1007/978-3-319-25017-5\_36},
timestamp = {Wed, 12 Aug 2020 21:55:17 +0200},
biburl = {https://dblp.org/rec/conf/idc/OliveiraSNNLH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/inista/RamosONNS15,
author = {Jo{\~{a}}o Ramos and
Tiago Oliveira and
Paulo Novais and
Jos{\'{e}} Neves and
Ken Satoh},
title = {An alert mechanism for orientation systems based on Speculative computation},
booktitle = {International Symposium on Innovations in Intelligent SysTems and
Applications, {INISTA} 2015, Madrid, Spain, September 2-4, 2015},
pages = {1--8},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/INISTA.2015.7276741},
doi = {10.1109/INISTA.2015.7276741},
timestamp = {Thu, 28 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/inista/RamosONNS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/AthakraviSLBR15,
author = {Duangtida Athakravi and
Ken Satoh and
Mark Law and
Krysia Broda and
Alessandra Russo},
editor = {Francesco Calimeri and
Giovambattista Ianni and
Miroslaw Truszczynski},
title = {Automated Inference of Rules with Exception from Past Legal Cases
Using {ASP}},
booktitle = {Logic Programming and Nonmonotonic Reasoning - 13th International
Conference, {LPNMR} 2015, Lexington, KY, USA, September 27-30, 2015.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9345},
pages = {83--96},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-23264-5\_8},
doi = {10.1007/978-3-319-23264-5\_8},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/AthakraviSLBR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/0001ST15,
author = {Claudia Schulz and
Ken Satoh and
Francesca Toni},
editor = {Francesco Calimeri and
Giovambattista Ianni and
Miroslaw Truszczynski},
title = {Characterising and Explaining Inconsistency in Logic Programs},
booktitle = {Logic Programming and Nonmonotonic Reasoning - 13th International
Conference, {LPNMR} 2015, Lexington, KY, USA, September 27-30, 2015.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9345},
pages = {467--479},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-23264-5\_39},
doi = {10.1007/978-3-319-23264-5\_39},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/0001ST15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tafa/ShamsVOPS15,
author = {Zohreh Shams and
Marina De Vos and
Nir Oren and
Julian A. Padget and
Ken Satoh},
editor = {Elizabeth Black and
Sanjay Modgil and
Nir Oren},
title = {Argumentation-based Normative Practical Reasoning},
booktitle = {Theory and Applications of Formal Argumentation - Third International
Workshop, {TAFA} 2015, Buenos Aires, Argentina, July 25-26, 2015,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9524},
pages = {226--242},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-28460-6\_14},
doi = {10.1007/978-3-319-28460-6\_14},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tafa/ShamsVOPS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/FujitaGNSH14,
author = {Megumi Fujita and
Yuki Goto and
Naoyuki Nide and
Ken Satoh and
Hiroshi Hosobe},
editor = {Ana L. C. Bazzan and
Michael N. Huhns and
Alessio Lomuscio and
Paul Scerri},
title = {Logic-based and robust desicion making for robots in real world},
booktitle = {International conference on Autonomous Agents and Multi-Agent Systems,
{AAMAS} '14, Paris, France, May 5-9, 2014},
pages = {1685--1686},
publisher = {{IFAAMAS/ACM}},
year = {2014},
url = {http://dl.acm.org/citation.cfm?id=2616125},
timestamp = {Thu, 25 Sep 2014 07:46:15 +0200},
biburl = {https://dblp.org/rec/conf/atal/FujitaGNSH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cbms/OliveiraNNS14,
author = {Tiago Oliveira and
Jos{\'{e}} Neves and
Paulo Novais and
Ken Satoh},
title = {Applying Speculative Computation to Guideline-Based Decision Support
Systems},
booktitle = {2014 {IEEE} 27th International Symposium on Computer-Based Medical
Systems, New York, NY, USA, May 27-29, 2014},
pages = {42--47},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/CBMS.2014.32},
doi = {10.1109/CBMS.2014.32},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cbms/OliveiraNNS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dcai/RamosSNN14,
author = {Jo{\~{a}}o Ramos and
Ken Satoh and
Paulo Novais and
Jos{\'{e}} Neves},
editor = {Sigeru Omatu and
Hugues Bersini and
Juan M. Corchado Rodr{\'{\i}}guez and
Sara Rodr{\'{\i}}guez and
Pawel Pawlewski and
Edgardo Bucciarelli},
title = {Modelling an Orientation System Based on Speculative Computation},
booktitle = {Distributed Computing and Artificial Intelligence, 11th International
Conference, {DCAI} 2014, Salamanca, Spain, June 4-6, 2014},
series = {Advances in Intelligent Systems and Computing},
volume = {290},
pages = {319--326},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-07593-8\_37},
doi = {10.1007/978-3-319-07593-8\_37},
timestamp = {Tue, 05 Mar 2024 21:11:29 +0100},
biburl = {https://dblp.org/rec/conf/dcai/RamosSNN14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icic/TantisripreechaSS14,
author = {Tanapon Tantisripreecha and
Ken Satoh and
Nuanwan Soonthornphisaj},
editor = {De{-}Shuang Huang and
Kang{-}Hyun Jo and
Ling Wang},
title = {Legal Reasoning Engine for Civil Court Procedure},
booktitle = {Intelligent Computing Methodologies - 10th International Conference,
{ICIC} 2014, Taiyuan, China, August 3-6, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8589},
pages = {500--512},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-09339-0\_51},
doi = {10.1007/978-3-319-09339-0\_51},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/icic/TantisripreechaSS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ilp/AthakraviABRS14,
author = {Duangtida Athakravi and
Dalal Alrajeh and
Krysia Broda and
Alessandra Russo and
Ken Satoh},
editor = {Jesse Davis and
Jan Ramon},
title = {Inductive Learning Using Constraint-Driven Bias},
booktitle = {Inductive Logic Programming - 24th International Conference, {ILP}
2014, Nancy, France, September 14-16, 2014, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9046},
pages = {16--32},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-23708-4\_2},
doi = {10.1007/978-3-319-23708-4\_2},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ilp/AthakraviABRS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/re/PadgetESI14,
author = {Julian A. Padget and
Emad Eldeen Elakehal and
Ken Satoh and
Fuyuki Ishikawa},
editor = {Nelly Bencomo and
Jane Cleland{-}Huang and
Jin Guo and
Rachel Harrison},
title = {On requirements representation and reasoning using answer set programming},
booktitle = {{IEEE} 1st International Workshop on Artificial Intelligence for Requirements
Engineering, {AIRE} 2014, 26 August, 2014, Karlskrona, Sweden},
pages = {35--42},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/AIRE.2014.6894854},
doi = {10.1109/AIRE.2014.6894854},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/re/PadgetESI14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/jsai/2013,
editor = {Yukiko I. Nakano and
Ken Satoh and
Daisuke Bekki},
title = {New Frontiers in Artificial Intelligence - JSAI-isAI 2013 Workshops,
LENLS, JURISIN, MiMI, AAA, and DDS, Kanagawa, Japan, October 27-28,
2013, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8417},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-10061-6},
doi = {10.1007/978-3-319-10061-6},
isbn = {978-3-319-10060-9},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jsai/2013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/GoebelMS14,
author = {Randy Goebel and
Yuji Matsumoto and
Ken Satoh},
title = {Towards Explanation Production Combining Natural Language Processing
and Logical Reasoning {(NII} Shonan Meeting 2014-15)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2014},
year = {2014},
url = {https://shonan.nii.ac.jp/seminars/057/},
timestamp = {Thu, 04 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/shonan-reports/GoebelMS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/VosBS13,
author = {Marina De Vos and
Tina Balke and
Ken Satoh},
editor = {Maria L. Gini and
Onn Shehory and
Takayuki Ito and
Catholijn M. Jonker},
title = {Combining event-and state-based norms},
booktitle = {International conference on Autonomous Agents and Multi-Agent Systems,
{AAMAS} '13, Saint Paul, MN, USA, May 6-10, 2013},
pages = {1157--1158},
publisher = {{IFAAMAS}},
year = {2013},
url = {http://dl.acm.org/citation.cfm?id=2485119},
timestamp = {Thu, 09 Sep 2021 16:09:54 +0200},
biburl = {https://dblp.org/rec/conf/atal/VosBS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icail/LiBVPS13,
author = {Tingting Li and
Tina Balke and
Marina De Vos and
Julian A. Padget and
Ken Satoh},
editor = {Enrico Francesconi and
Bart Verheij},
title = {A model-based approach to the automatic revision of secondary legislation},
booktitle = {International Conference on Artificial Intelligence and Law, {ICAIL}
'13, Rome, Italy, June 10-14, 2013},
pages = {202--206},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2514601.2514627},
doi = {10.1145/2514601.2514627},
timestamp = {Wed, 20 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icail/LiBVPS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jsai/ShamsVS13,
author = {Zohreh Shams and
Marina De Vos and
Ken Satoh},
editor = {Yukiko I. Nakano and
Ken Satoh and
Daisuke Bekki},
title = {ArgPROLEG: {A} Normative Framework for the {JUF} Theory},
booktitle = {New Frontiers in Artificial Intelligence - JSAI-isAI 2013 Workshops,
LENLS, JURISIN, MiMI, AAA, and DDS, Kanagawa, Japan, October 27-28,
2013, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8417},
pages = {183--198},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-10061-6\_13},
doi = {10.1007/978-3-319-10061-6\_13},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/jsai/ShamsVS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jsai/KimXGS13,
author = {Mi{-}Young Kim and
Ying Xu and
Randy Goebel and
Ken Satoh},
editor = {Yukiko I. Nakano and
Ken Satoh and
Daisuke Bekki},
title = {Answering Yes/No Questions in Legal Bar Exams},
booktitle = {New Frontiers in Artificial Intelligence - JSAI-isAI 2013 Workshops,
LENLS, JURISIN, MiMI, AAA, and DDS, Kanagawa, Japan, October 27-28,
2013, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8417},
pages = {199--213},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-10061-6\_14},
doi = {10.1007/978-3-319-10061-6\_14},
timestamp = {Tue, 22 May 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jsai/KimXGS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jurix/LiBVPS13,
author = {Tingting Li and
Tina Balke and
Marina De Vos and
Julian A. Padget and
Ken Satoh},
editor = {Kevin D. Ashley},
title = {Legal Conflict Detection in Interacting Legal Systems},
booktitle = {Legal Knowledge and Information Systems - {JURIX} 2013: The Twenty-Sixth
Annual Conference, December 11-13, 2013, University of Bologna, Italy},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {259},
pages = {107--116},
publisher = {{IOS} Press},
year = {2013},
url = {https://doi.org/10.3233/978-1-61499-359-9-107},
doi = {10.3233/978-1-61499-359-9-107},
timestamp = {Wed, 20 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/jurix/LiBVPS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jurix/LiBVPS13a,
author = {Tingting Li and
Tina Balke and
Marina De Vos and
Julian A. Padget and
Ken Satoh},
editor = {Monica Palmirani and
Giovanni Sartor},
title = {Legal Conflict Detection in Interacting Legal Systems},
booktitle = {Proceedings of the First {JURIX} Doctoral Consortium and Poster Sessions
in conjunction with the 26th International Conference on Legal Knowledge
and Information Systems, {JURIX} 2013, Bologna, Italy, December 11-13,
2013},
series = {{CEUR} Workshop Proceedings},
volume = {1105},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1105/poster1.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:15 +0100},
biburl = {https://dblp.org/rec/conf/jurix/LiBVPS13a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/FujitaGNSH13,
author = {Megumi Fujita and
Yuki Goto and
Naoyuki Nide and
Ken Satoh and
Hiroshi Hosobe},
title = {An Architecture for Autonomously Controlling Robot with Embodiment
in Real World},
journal = {CoRR},
volume = {abs/1307.7129},
year = {2013},
url = {http://arxiv.org/abs/1307.7129},
eprinttype = {arXiv},
eprint = {1307.7129},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/FujitaGNSH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ngc/Satoh12,
author = {Ken Satoh},
title = {Logic Programming and Burden of Proof in Legal Reasoning},
journal = {New Gener. Comput.},
volume = {30},
number = {4},
pages = {297--326},
year = {2012},
url = {https://doi.org/10.1007/s00354-012-0402-6},
doi = {10.1007/S00354-012-0402-6},
timestamp = {Thu, 14 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ngc/Satoh12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aamas/AthakraviCRVPS12,
author = {Duangtida Athakravi and
Domenico Corapi and
Alessandra Russo and
Marina De Vos and
Julian A. Padget and
Ken Satoh},
editor = {Wiebe van der Hoek and
Lin Padgham and
Vincent Conitzer and
Michael Winikoff},
title = {Handling change in normative specifications},
booktitle = {International Conference on Autonomous Agents and Multiagent Systems,
{AAMAS} 2012, Valencia, Spain, June 4-8, 2012 {(3} Volumes)},
pages = {1369--1370},
publisher = {{IFAAMAS}},
year = {2012},
url = {http://dl.acm.org/citation.cfm?id=2344010},
timestamp = {Thu, 19 Mar 2015 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aamas/AthakraviCRVPS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/clima/LamGSH12,
author = {Ho{-}Pun Lam and
Guido Governatori and
Ken Satoh and
Hiroshi Hosobe},
editor = {Michael Fisher and
Leon van der Torre and
Mehdi Dastani and
Guido Governatori},
title = {Distributed Defeasible Speculative Reasoning in Ambient Environment},
booktitle = {Computational Logic in Multi-Agent Systems - 13th International Workshop,
{CLIMA} XIII, Montpellier, France, August 27-28, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7486},
pages = {43--60},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-32897-8\_5},
doi = {10.1007/978-3-642-32897-8\_5},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/clima/LamGSH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dalt/AthakraviCRVPS12,
author = {Duangtida Athakravi and
Domenico Corapi and
Alessandra Russo and
Marina De Vos and
Julian A. Padget and
Ken Satoh},
editor = {Matteo Baldoni and
Louise A. Dennis and
Viviana Mascardi and
Wamberto Weber Vasconcelos},
title = {Handling Change in Normative Specifications},
booktitle = {Declarative Agent Languages and Technologies {X} - 10th International
Workshop, {DALT} 2012, Valencia, Spain, June 4, 2012, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {7784},
pages = {1--19},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-37890-4\_1},
doi = {10.1007/978-3-642-37890-4\_1},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dalt/AthakraviCRVPS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isipers/SatohT12,
author = {Ken Satoh and
Kazuko Takahashi},
editor = {Yuzuru Tanaka and
Nicolas Spyratos and
Tetsuya Yoshida and
Carlo Meghini},
title = {Decision Making in Knowledge Integration with Dynamic Creation of
Argumentation},
booktitle = {Information Search, Integration and Personalization - International
Workshop, {ISIP} 2012, Sapporo, Japan, October 11-13, 2012. Revised
Selected Papers},
series = {Communications in Computer and Information Science},
volume = {146},
pages = {41--50},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-40140-4\_5},
doi = {10.1007/978-3-642-40140-4\_5},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isipers/SatohT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismir/AnanHBTS12,
author = {Yoko Anan and
Kohei Hatano and
Hideo Bannai and
Masayuki Takeda and
Ken Satoh},
editor = {Fabien Gouyon and
Perfecto Herrera and
Luis Gustavo Martins and
Meinard M{\"{u}}ller},
title = {Polyphonic Music Classification on Symbolic Data Using Dissimilarity
Functions},
booktitle = {Proceedings of the 13th International Society for Music Information
Retrieval Conference, {ISMIR} 2012, Mosteiro S.Bento Da Vit{\'{o}}ria,
Porto, Portugal, October 8-12, 2012},
pages = {229--234},
publisher = {{FEUP} Edi{\c{c}}{\~{o}}es},
year = {2012},
url = {http://ismir2012.ismir.net/event/papers/229-ismir-2012.pdf},
timestamp = {Tue, 04 Jan 2022 10:38:10 +0100},
biburl = {https://dblp.org/rec/conf/ismir/AnanHBTS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jsai/VosBS12,
author = {Marina De Vos and
Tina Balke and
Ken Satoh},
editor = {Yoichi Motomura and
Alastair Butler and
Daisuke Bekki},
title = {Modelling Legitimate Expectations},
booktitle = {New Frontiers in Artificial Intelligence - JSAI-isAI 2012 Workshops,
LENLS, JURISIN, MiMI, Miyazaki, Japan, November 30 and December 1,
2012, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7856},
pages = {141--156},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-39931-2\_11},
doi = {10.1007/978-3-642-39931-2\_11},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/jsai/VosBS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jsai/LiBVSP12,
author = {Tingting Li and
Tina Balke and
Marina De Vos and
Ken Satoh and
Julian A. Padget},
editor = {Yoichi Motomura and
Alastair Butler and
Daisuke Bekki},
title = {Detecting Conflicts in Legal Systems},
booktitle = {New Frontiers in Artificial Intelligence - JSAI-isAI 2012 Workshops,
LENLS, JURISIN, MiMI, Miyazaki, Japan, November 30 and December 1,
2012, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7856},
pages = {174--189},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-39931-2\_13},
doi = {10.1007/978-3-642-39931-2\_13},
timestamp = {Wed, 20 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/jsai/LiBVSP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/jsai/2011,
editor = {Manabu Okumura and
Daisuke Bekki and
Ken Satoh},
title = {New Frontiers in Artificial Intelligence - JSAI-isAI 2011 Workshops,
LENLS, JURISIN, ALSIP, MiMI, Takamatsu, Japan, December 1-2, 2011.
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7258},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-32090-3},
doi = {10.1007/978-3-642-32090-3},
isbn = {978-3-642-32089-7},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jsai/2011.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/CorapiRVPS11,
author = {Domenico Corapi and
Alessandra Russo and
Marina De Vos and
Julian A. Padget and
Ken Satoh},
title = {Normative design using inductive learning},
journal = {Theory Pract. Log. Program.},
volume = {11},
number = {4-5},
pages = {783--799},
year = {2011},
url = {https://doi.org/10.1017/S1471068411000305},
doi = {10.1017/S1471068411000305},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/CorapiRVPS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jsai/OtaSN11,
author = {Shozo Ota and
Ken Satoh and
Makoto Nakamura},
editor = {Manabu Okumura and
Daisuke Bekki and
Ken Satoh},
title = {The Fifth International Workshop on Juris-Informatics {(JURISIN} 2011)},
booktitle = {New Frontiers in Artificial Intelligence - JSAI-isAI 2011 Workshops,
LENLS, JURISIN, ALSIP, MiMI, Takamatsu, Japan, December 1-2, 2011.
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7258},
pages = {110--111},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-32090-3\_10},
doi = {10.1007/978-3-642-32090-3\_10},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/jsai/OtaSN11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1107-4967,
author = {Domenico Corapi and
Alessandra Russo and
Marina De Vos and
Julian A. Padget and
Ken Satoh},
title = {Normative design using inductive learning},
journal = {CoRR},
volume = {abs/1107.4967},
year = {2011},
url = {http://arxiv.org/abs/1107.4967},
eprinttype = {arXiv},
eprint = {1107.4967},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1107-4967.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aicom/HosobeSMRB10,
author = {Hiroshi Hosobe and
Ken Satoh and
Jiefei Ma and
Alessandra Russo and
Krysia Broda},
title = {Speculative constraint processing for hierarchical agents},
journal = {{AI} Commun.},
volume = {23},
number = {4},
pages = {373--388},
year = {2010},
url = {https://doi.org/10.3233/AIC-2010-0480},
doi = {10.3233/AIC-2010-0480},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aicom/HosobeSMRB10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/KaneiwaS10,
author = {Ken Kaneiwa and
Ken Satoh},
title = {On the complexities of consistency checking for restricted {UML} class
diagrams},
journal = {Theor. Comput. Sci.},
volume = {411},
number = {2},
pages = {301--323},
year = {2010},
url = {https://doi.org/10.1016/j.tcs.2009.04.030},
doi = {10.1016/J.TCS.2009.04.030},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/KaneiwaS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/CorapiVPRS10,
author = {Domenico Corapi and
Marina De Vos and
Julian A. Padget and
Alessandra Russo and
Ken Satoh},
editor = {Marina De Vos and
Nicoletta Fornara and
Jeremy V. Pitt and
George A. Vouros},
title = {Norm Refinement and Design through Inductive Learning},
booktitle = {Coordination, Organizations, Institutions, and Norms in Agent Systems
{VI} - {COIN} 2010 International Workshops, COIN@AAMAS 2010, Toronto,
Canada, May 2010, COIN@MALLOW 2010, Lyon, France, August 2010, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6541},
pages = {77--94},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-21268-0\_5},
doi = {10.1007/978-3-642-21268-0\_5},
timestamp = {Sun, 12 Nov 2023 02:14:52 +0100},
biburl = {https://dblp.org/rec/conf/atal/CorapiVPRS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/clima/MaBGHRS10,
author = {Jiefei Ma and
Krysia Broda and
Randy Goebel and
Hiroshi Hosobe and
Alessandra Russo and
Ken Satoh},
editor = {J{\"{u}}rgen Dix and
Jo{\~{a}}o Leite and
Guido Governatori and
Wojtek Jamroga},
title = {Speculative Abductive Reasoning for Hierarchical Agent Systems},
booktitle = {Computational Logic in Multi-Agent Systems, 11th International Workshop,
{CLIMA} XI, Lisbon, Portugal, August 16-17, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6245},
pages = {49--64},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14977-1\_7},
doi = {10.1007/978-3-642-14977-1\_7},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/clima/MaBGHRS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jsai/VosPS10,
author = {Marina De Vos and
Julian A. Padget and
Ken Satoh},
editor = {Takashi Onada and
Daisuke Bekki and
Eric McCready},
title = {Legal Modelling and Reasoning Using Institutions},
booktitle = {New Frontiers in Artificial Intelligence - JSAI-isAI 2010 Workshops,
LENLS, JURISIN, AMBN, ISS, Tokyo, Japan, November 18-19, 2010, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6797},
pages = {129--140},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-25655-4\_12},
doi = {10.1007/978-3-642-25655-4\_12},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/jsai/VosPS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jsai/SatohAKKNNST10,
author = {Ken Satoh and
Kento Asai and
Takamune Kogawa and
Masahiro Kubota and
Megumi Nakamura and
Yoshiaki Nishigai and
Kei Shirakawa and
Chiaki Takano},
editor = {Takashi Onada and
Daisuke Bekki and
Eric McCready},
title = {{PROLEG:} An Implementation of the Presupposed Ultimate Fact Theory
of Japanese Civil Code by {PROLOG} Technology},
booktitle = {New Frontiers in Artificial Intelligence - JSAI-isAI 2010 Workshops,
LENLS, JURISIN, AMBN, ISS, Tokyo, Japan, November 18-19, 2010, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6797},
pages = {153--164},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-25655-4\_14},
doi = {10.1007/978-3-642-25655-4\_14},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jsai/SatohAKKNNST10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mallow/CorapiVPRS10,
author = {Domenico Corapi and
Marina De Vos and
Julian A. Padget and
Alessandra Russo and
Ken Satoh},
editor = {Olivier Boissier and
Amal El Fallah Seghrouchni and
Salima Hassas and
Nicolas Maudet},
title = {Norm Refinement and Design through Inductive Learning},
booktitle = {Proceedings of The Multi-Agent Logics, Languages, and Organisations
Federated Workshops {(MALLOW} 2010), Lyon, France, August 30 - September
2, 2010},
series = {{CEUR} Workshop Proceedings},
volume = {627},
publisher = {CEUR-WS.org},
year = {2010},
url = {https://ceur-ws.org/Vol-627/coin\_3.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:29 +0100},
biburl = {https://dblp.org/rec/conf/mallow/CorapiVPRS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/clima/MaRBHS09,
author = {Jiefei Ma and
Alessandra Russo and
Krysia Broda and
Hiroshi Hosobe and
Ken Satoh},
editor = {J{\"{u}}rgen Dix and
Michael Fisher and
Peter Nov{\'{a}}k},
title = {On the Implementation of Speculative Constraint Processing},
booktitle = {Computational Logic in Multi-Agent Systems - 10th International Workshop,
{CLIMA} X, Hamburg, Germany, September 9-10, 2009, Revised Selected
and Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {6214},
pages = {178--195},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-16867-3\_10},
doi = {10.1007/978-3-642-16867-3\_10},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/clima/MaRBHS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jsai/Satoh09,
author = {Ken Satoh},
editor = {Kumiyo Nakakoji and
Yohei Murakami and
Eric McCready},
title = {Computing Minimal Models by Positively Minimal Disjuncts},
booktitle = {New Frontiers in Artificial Intelligence, JSAI-isAI 2009 Workshops,
LENLS, JURISIN, KCSD, LLLL, Tokyo, Japan, November 19-20, 2009, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6284},
pages = {358--371},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-14888-0\_28},
doi = {10.1007/978-3-642-14888-0\_28},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/jsai/Satoh09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jurix/SatohKNT09,
author = {Ken Satoh and
Masahiro Kubota and
Yoshiaki Nishigai and
Chiaki Takano},
editor = {Guido Governatori},
title = {Translating the Japanese Presupposed Ultimate Fact Theory into Logic
Programming},
booktitle = {Legal Knowledge and Information Systems - {JURIX} 2009: The Twenty-Second
Annual Conference on Legal Knowledge and Information Systems, Rotterdam,
The Netherlands, 16-18 December 2009},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {205},
pages = {162--171},
publisher = {{IOS} Press},
year = {2009},
url = {https://doi.org/10.3233/978-1-60750-082-7-162},
doi = {10.3233/978-1-60750-082-7-162},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jurix/SatohKNT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jsai/NittaST08,
author = {Katsumi Nitta and
Ken Satoh and
Satoshi Tojo},
editor = {Hiromitsu Hattori and
Takahiro Kawamura and
Tsuyoshi Id{\'{e}} and
Makoto Yokoo and
Yohei Murakami},
title = {Overview of {JURISIN} 2008},
booktitle = {New Frontiers in Artificial Intelligence, {JSAI} 2008 Conference and
Workshops, Asahikawa, Japan, June 11-13, 2008, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5447},
pages = {211--212},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-00609-8\_18},
doi = {10.1007/978-3-642-00609-8\_18},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/jsai/NittaST08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pakm/FukutaSY08,
author = {Naoki Fukuta and
Ken Satoh and
Takahira Yamaguchi},
editor = {Takahira Yamaguchi},
title = {Towards "Kiga-kiku" Services on Speculative Computation},
booktitle = {Practical Aspects of Knowledge Management, 7th International Conference,
{PAKM} 2008, Yokohama, Japan, November 22-23, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5345},
pages = {256--267},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89447-6\_24},
doi = {10.1007/978-3-540-89447-6\_24},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/pakm/FukutaSY08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/clima/2007,
editor = {Fariba Sadri and
Ken Satoh},
title = {Computational Logic in Multi-Agent Systems, 8th International Workshop,
{CLIMA} VIII, Porto, Portugal, September 10-11, 2007. Revised Selected
and Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {5056},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-88833-8},
doi = {10.1007/978-3-540-88833-8},
isbn = {978-3-540-88832-1},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/clima/2007.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/jsai/2007,
editor = {Ken Satoh and
Akihiro Inokuchi and
Katashi Nagao and
Takahiro Kawamura},
title = {New Frontiers in Artificial Intelligence, {JSAI} 2007 Conference and
Workshops, Miyazaki, Japan, June 18-22, 2007, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4914},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78197-4},
doi = {10.1007/978-3-540-78197-4},
isbn = {978-3-540-78196-7},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jsai/2007.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieicet/HosobeSC07,
author = {Hiroshi Hosobe and
Ken Satoh and
Philippe Codognet},
title = {Agent-Based Speculative Constraint Processing},
journal = {{IEICE} Trans. Inf. Syst.},
volume = {90-D},
number = {9},
pages = {1354--1362},
year = {2007},
url = {https://doi.org/10.1093/ietisy/e90-d.9.1354},
doi = {10.1093/IETISY/E90-D.9.1354},
timestamp = {Sat, 11 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ieicet/HosobeSC07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/MinatoSS07,
author = {Shin{-}ichi Minato and
Ken Satoh and
Taisuke Sato},
editor = {Manuela M. Veloso},
title = {Compiling Bayesian Networks by Symbolic Probability Calculation Based
on Zero-Suppressed BDDs},
booktitle = {{IJCAI} 2007, Proceedings of the 20th International Joint Conference
on Artificial Intelligence, Hyderabad, India, January 6-12, 2007},
pages = {2550--2555},
year = {2007},
url = {http://ijcai.org/Proceedings/07/Papers/410.pdf},
timestamp = {Tue, 20 Aug 2019 16:17:11 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/MinatoSS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iv/AkaishiKSH07,
author = {Mina Akaishi and
Yoshikiyo Kato and
Ken Satoh and
Koichi Hori},
title = {Narrative based Topic Visualization for Chronological Data},
booktitle = {11th International Conference on Information Visualisation, {IV} 2007,
2-6 July 2007, Z{\"{u}}rich, Switzerland},
pages = {139--144},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/IV.2007.80},
doi = {10.1109/IV.2007.80},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iv/AkaishiKSH07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jsai/NittaST07,
author = {Katsumi Nitta and
Ken Satoh and
Satoshi Tojo},
editor = {Ken Satoh and
Akihiro Inokuchi and
Katashi Nagao and
Takahiro Kawamura},
title = {First International Workshop on Juris-Informatics},
booktitle = {New Frontiers in Artificial Intelligence, {JSAI} 2007 Conference and
Workshops, Miyazaki, Japan, June 18-22, 2007, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4914},
pages = {347--348},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-78197-4\_32},
doi = {10.1007/978-3-540-78197-4\_32},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/jsai/NittaST07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/clima/2006,
editor = {Katsumi Inoue and
Ken Satoh and
Francesca Toni},
title = {Computational Logic in Multi-Agent Systems, 7th International Workshop,
{CLIMA} VII, Hakodate, Japan, May 8-9, 2006, Revised Selected and
Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {4371},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-69619-3},
doi = {10.1007/978-3-540-69619-3},
isbn = {978-3-540-69618-6},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/clima/2006.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/jsai/2006,
editor = {Takashi Washio and
Ken Satoh and
Hideaki Takeda and
Akihiro Inokuchi},
title = {New Frontiers in Artificial Intelligence, {JSAI} 2006 Conference and
Workshops, Tokyo, Japan, June 5-9 2006, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4384},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-69902-6},
doi = {10.1007/978-3-540-69902-6},
isbn = {3-540-69901-5},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jsai/2006.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/KaneiwaS06,
author = {Ken Kaneiwa and
Ken Satoh},
editor = {J{\"{u}}rgen Dix and
Stephen J. Hegner},
title = {Consistency Checking Algorithms for Restricted {UML} Class Diagrams},
booktitle = {Foundations of Information and Knowledge Systems, 4th International
Symposium, FoIKS 2006, Budapest, Hungary, February 14-17, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3861},
pages = {219--239},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11663881\_13},
doi = {10.1007/11663881\_13},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/foiks/KaneiwaS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iv/AkaishiHS06,
author = {Mina Akaishi and
Koichi Hori and
Ken Satoh},
title = {Topic Tracer: a Visualization Tool for Quick Reference of Stories
Embedded in Document Set},
booktitle = {10th International Conference on Information Visualisation, {IV} 2006,
5-7 July 2006, London, {UK}},
pages = {101--106},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/IV.2006.110},
doi = {10.1109/IV.2006.110},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iv/AkaishiHS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jsai/YamamotoHS06,
author = {Akihiro Yamamoto and
Kouichi Hirata and
Ken Satoh},
editor = {Takashi Washio and
Ken Satoh and
Hideaki Takeda and
Akihiro Inokuchi},
title = {The Fourth Workshop on Learning with Logics and Logics for Learning
{(LLLL2006)}},
booktitle = {New Frontiers in Artificial Intelligence, {JSAI} 2006 Conference and
Workshops, Tokyo, Japan, June 5-9 2006, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4384},
pages = {249--250},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-69902-6\_21},
doi = {10.1007/978-3-540-69902-6\_21},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jsai/YamamotoHS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jurix/SatohT06,
author = {Ken Satoh and
Satoshi Tojo},
editor = {Tom M. van Engers},
title = {Disjunction of Causes and Disjunctive Cause: a Solution to the Paradox
of Conditio Sine Qua Non using Minimal Abduction},
booktitle = {Legal Knowledge and Information Systems - {JURIX} 2006: The Nineteenth
Annual Conference on Legal Knowledge and Information Systems, Paris,
France, 7-9 December 2006},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {152},
pages = {163--168},
publisher = {{IOS} Press},
year = {2006},
url = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=2379},
timestamp = {Wed, 14 Mar 2012 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/jurix/SatohT06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/SatohKU06,
author = {Ken Satoh and
Ken Kaneiwa and
Takeaki Uno},
title = {Contradiction Finding and Minimal Recovery for {UML} Class Diagrams},
booktitle = {21st {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2006), 18-22 September 2006, Tokyo, Japan},
pages = {277--280},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/ASE.2006.30},
doi = {10.1109/ASE.2006.30},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/SatohKU06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ksem/SatohU06,
author = {Ken Satoh and
Takeaki Uno},
editor = {J{\'{e}}r{\^{o}}me Lang and
Fangzhen Lin and
Ju Wang},
title = {Enumerating Minimal Explanations by Minimal Hitting Set Computation},
booktitle = {Knowledge Science, Engineering and Management, First International
Conference, {KSEM} 2006, Guilin, China, August 5-8, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4092},
pages = {354--365},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11811220\_30},
doi = {10.1007/11811220\_30},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/ksem/SatohU06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieicet/Satoh05,
author = {Ken Satoh},
title = {Speculative Computation and Abduction for an Autonomous Agent},
journal = {{IEICE} Trans. Inf. Syst.},
volume = {88-D},
number = {9},
pages = {2031--2038},
year = {2005},
url = {https://doi.org/10.1093/ietisy/e88-d.9.2031},
doi = {10.1093/IETISY/E88-D.9.2031},
timestamp = {Sat, 11 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ieicet/Satoh05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Satoh05,
author = {Ken Satoh},
title = {Learning taxonomic relation by case-based reasoning},
journal = {Theor. Comput. Sci.},
volume = {348},
number = {1},
pages = {58--69},
year = {2005},
url = {https://doi.org/10.1016/j.tcs.2005.09.005},
doi = {10.1016/J.TCS.2005.09.005},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Satoh05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/clima/CeberioHS05,
author = {Martine Ceberio and
Hiroshi Hosobe and
Ken Satoh},
editor = {Francesca Toni and
Paolo Torroni},
title = {Speculative Constraint Processing with Iterative Revision for Disjunctive
Answers},
booktitle = {Computational Logic in Multi-Agent Systems, 6th International Workshop,
{CLIMA} VI, London, UK, June 27-29, 2005, Revised Selected and Invited
Papers},
series = {Lecture Notes in Computer Science},
volume = {3900},
pages = {340--357},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11750734\_19},
doi = {10.1007/11750734\_19},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/clima/CeberioHS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jsai/SatohU05,
author = {Ken Satoh and
Takeaki Uno},
editor = {Takashi Washio and
Akito Sakurai and
Katsuto Nakajima and
Hideaki Takeda and
Satoshi Tojo and
Makoto Yokoo},
title = {Enumerating Minimally Revised Specifications Using Dualization},
booktitle = {New Frontiers in Artificial Intelligence, Joint {JSAI} 2005 Workshop
Post-Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4012},
pages = {182--189},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11780496\_21},
doi = {10.1007/11780496\_21},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/jsai/SatohU05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/DixLS04,
author = {J{\"{u}}rgen Dix and
Jo{\~{a}}o Alexandre Leite and
Ken Satoh},
title = {Introduction},
journal = {Ann. Math. Artif. Intell.},
volume = {42},
number = {1-3},
pages = {1--3},
year = {2004},
url = {https://doi.org/10.1023/B:AMAI.0000034534.36300.73},
doi = {10.1023/B:AMAI.0000034534.36300.73},
timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amai/DixLS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/clima/Satoh04,
author = {Ken Satoh},
editor = {Jo{\~{a}}o Alexandre Leite and
Paolo Torroni},
title = {An Application of Global Abduction to an Information Agent Which Modifies
a Plan Upon Failure - Preliminary Report},
booktitle = {Computational Logic in Multi-Agent Systems, 5th International Workshop,
{CLIMA} V, Lisbon, Portugal, September 29-30, 2004, Revised Selected
and Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {3487},
pages = {213--229},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11533092\_13},
doi = {10.1007/11533092\_13},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/clima/Satoh04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/Satoh04,
author = {Ken Satoh},
editor = {Gunter Grieser and
Yuzuru Tanaka},
title = {Formalizing Retrieval Goal Change by Prioritized Abduction},
booktitle = {Intuitive Human Interfaces for Organizing and Accessing Intellectual
Assets, International Workshop, Dagstuhl Castle, Germany, March 1-5,
2004, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3359},
pages = {215--232},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-32279-5\_15},
doi = {10.1007/978-3-540-32279-5\_15},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/Satoh04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dis/AkaishiST04,
author = {Mina Akaishi and
Ken Satoh and
Yuzuru Tanaka},
editor = {Einoshin Suzuki and
Setsuo Arikawa},
title = {An Associative Information Retrieval Based on the Dependency of Term
Co-occurrence},
booktitle = {Discovery Science, 7th International Conference, {DS} 2004, Padova,
Italy, October 2-5, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3245},
pages = {195--206},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30214-8\_15},
doi = {10.1007/978-3-540-30214-8\_15},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/dis/AkaishiST04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/Satoh04,
author = {Ken Satoh},
editor = {James P. Delgrande and
Torsten Schaub},
title = {"All's well that ends well" - a proposal of global abduction},
booktitle = {10th International Workshop on Non-Monotonic Reasoning {(NMR} 2004),
Whistler, Canada, June 6-8, 2004, Proceedings},
pages = {360--367},
year = {2004},
url = {http://www.pims.math.ca/science/2004/NMR/papers/paper47.pdf},
timestamp = {Mon, 21 Jun 2004 10:11:59 +0200},
biburl = {https://dblp.org/rec/conf/nmr/Satoh04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/DixSS03,
author = {J{\"{u}}rgen Dix and
Fariba Sadri and
Ken Satoh},
title = {Introduction},
journal = {Ann. Math. Artif. Intell.},
volume = {37},
number = {1-2},
pages = {1--3},
year = {2003},
url = {https://doi.org/10.1023/A:1020215020635},
doi = {10.1023/A:1020215020635},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amai/DixSS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cia/Satoh03,
author = {Ken Satoh},
editor = {Matthias Klusch and
Sascha Ossowski and
Andrea Omicini and
Heimo Laamanen},
title = {Formalizing Retrieval Goal Change by Prioritized Circumscription -
Preliminary Report},
booktitle = {Cooperative Information Agents VII, 7th International Workshop, {CIA}
2003, Helsinki, Finland, August 27-29, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2782},
pages = {324--335},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45217-1\_24},
doi = {10.1007/978-3-540-45217-1\_24},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/cia/Satoh03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dis/SatohU03,
author = {Ken Satoh and
Takeaki Uno},
editor = {Gunter Grieser and
Yuzuru Tanaka and
Akihiro Yamamoto},
title = {Enumerating Maximal Frequent Sets Using Irredundant Dualization},
booktitle = {Discovery Science, 6th International Conference, {DS} 2003, Sapporo,
Japan, October 17-19,2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2843},
pages = {256--268},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39644-4\_22},
doi = {10.1007/978-3-540-39644-4\_22},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/dis/SatohU03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fimi/UnoS03,
author = {Takeaki Uno and
Ken Satoh},
editor = {Bart Goethals and
Mohammed Javeed Zaki},
title = {Detailed Description of an Algorithm for Enumeration of Maximal Frequent
Sets with Irredundant Dualization},
booktitle = {{FIMI} '03, Frequent Itemset Mining Implementations, Proceedings of
the {ICDM} 2003 Workshop on Frequent Itemset Mining Implementations,
19 December 2003, Melbourne, Florida, {USA}},
series = {{CEUR} Workshop Proceedings},
volume = {90},
publisher = {CEUR-WS.org},
year = {2003},
url = {https://ceur-ws.org/Vol-90/satoh.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:57 +0100},
biburl = {https://dblp.org/rec/conf/fimi/UnoS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prima/SatohCH03,
author = {Ken Satoh and
Philippe Codognet and
Hiroshi Hosobe},
editor = {Jaeho Lee and
Mike Barley},
title = {Speculative Constraint Processing in Multi-agent Systems},
booktitle = {Intelligent Agents and Multi-Agent Systems, 6th Pacific Rim International
Workshop on Multi-Agents, {PRIMA} 2003, Seoul, Korea, November 7-8,
2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2891},
pages = {133--144},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39896-7\_12},
doi = {10.1007/978-3-540-39896-7\_12},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/prima/SatohCH03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/SatohY02,
author = {Ken Satoh and
Keiji Yamamoto},
title = {Speculative computation with multi-agent belief revision},
booktitle = {The First International Joint Conference on Autonomous Agents {\&}
Multiagent Systems, {AAMAS} 2002, July 15-19, 2002, Bologna, Italy,
Proceedings},
pages = {897--904},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/544862.544950},
doi = {10.1145/544862.544950},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atal/SatohY02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsp/Satoh02,
author = {Ken Satoh},
editor = {Setsuo Arikawa and
Ayumi Shinohara},
title = {Constructing a Critical Casebase to Represent a Lattice-Based Relation},
booktitle = {Progress in Discovery Science, Final Report of the Japanese Discovery
Science Project},
series = {Lecture Notes in Computer Science},
volume = {2281},
pages = {214--223},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45884-0\_13},
doi = {10.1007/3-540-45884-0\_13},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/dsp/Satoh02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/Satoh02,
author = {Ken Satoh},
editor = {Salem Benferhat and
Enrico Giunchiglia},
title = {Speculative computation and abduction for an autonomous agent},
booktitle = {9th International Workshop on Non-Monotonic Reasoning {(NMR} 2002),
April 19-21, Toulouse, France, Proceedings},
pages = {191--199},
year = {2002},
timestamp = {Fri, 02 Jul 2004 15:43:11 +0200},
biburl = {https://dblp.org/rec/conf/nmr/Satoh02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/DixLS02,
author = {J{\"{u}}rgen Dix and
Jo{\~{a}}o Alexandre Leite and
Ken Satoh},
editor = {J{\"{u}}rgen Dix and
Jo{\~{a}}o Alexandre Leite and
Ken Satoh},
title = {Preface},
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 = {204--206},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(05)80598-5},
doi = {10.1016/S1571-0661(05)80598-5},
timestamp = {Tue, 06 Dec 2022 15:03:24 +0100},
biburl = {https://dblp.org/rec/journals/entcs/DixLS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/clima/2002,
editor = {J{\"{u}}rgen Dix and
Jo{\~{a}}o Alexandre Leite and
Ken Satoh},
title = {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},
publisher = {Elsevier},
year = {2002},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/70/issue/5},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/clima/2002.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dis/2002,
editor = {Steffen Lange and
Ken Satoh and
Carl H. Smith},
title = {Discovery Science, 5th International Conference, {DS} 2002, L{\"{u}}beck,
Germany, November 24-26, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2534},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-36182-0},
doi = {10.1007/3-540-36182-0},
isbn = {3-540-00188-3},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dis/2002.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aim/DrabbleCTAWAFFFFCSABMGMSCCSBPTT00,
author = {Brian Drabble and
Laurent Chaudron and
Catherine Tessier and
Sue Abu{-}Hakima and
Steven Willmott and
Jim Austin and
Boi Faltings and
Eugene C. Freuder and
Gerhard Friedrich and
Alex Alves Freitas and
Ulises Cort{\'{e}}s and
Miquel S{\`{a}}nchez{-}Marr{\`{e}} and
David W. Aha and
Irma Becerra{-}Fernandez and
H{\'{e}}ctor Mu{\~{n}}oz{-}Avila and
Aditya Ghose and
Tim Menzies and
Ken Satoh and
Mary Elaine Califf and
Michael T. Cox and
Sandip Sen and
Patrick Br{\'{e}}zillon and
Jean{-}Charles Pomerol and
Roy M. Turner and
Elise H. Turner},
title = {Reports on the {AAAI} 1999 Workshop Program},
journal = {{AI} Mag.},
volume = {21},
number = {1},
pages = {95--100},
year = {2000},
url = {https://doi.org/10.1609/aimag.v21i1.1499},
doi = {10.1609/AIMAG.V21I1.1499},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aim/DrabbleCTAWAFFFFCSABMGMSCCSBPTT00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/IwayamaS00,
author = {Noboru Iwayama and
Ken Satoh},
title = {Computing abduction by using {TMS} with top-down expectation},
journal = {J. Log. Program.},
volume = {44},
number = {1-3},
pages = {179--206},
year = {2000},
url = {https://doi.org/10.1016/S0743-1066(99)00076-X},
doi = {10.1016/S0743-1066(99)00076-X},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/IwayamaS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/SatohO00,
author = {Ken Satoh and
Hidenori Okamoto},
editor = {Henry A. Kautz and
Bruce W. Porter},
title = {Computing Circumscriptive Databases by Integer Programming: Revisited},
booktitle = {Proceedings of the Seventeenth National Conference on Artificial Intelligence
and Twelfth Conference on on Innovative Applications of Artificial
Intelligence, July 30 - August 3, 2000, Austin, Texas, {USA}},
pages = {429--435},
publisher = {{AAAI} Press / The {MIT} Press},
year = {2000},
url = {http://www.aaai.org/Library/AAAI/2000/aaai00-066.php},
timestamp = {Tue, 05 Sep 2023 09:10:47 +0200},
biburl = {https://dblp.org/rec/conf/aaai/SatohO00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alt/Satoh00,
author = {Ken Satoh},
editor = {Hiroki Arimura and
Sanjay Jain and
Arun Sharma},
title = {Learning Taxonomic Relation by Case-Based Reasoning},
booktitle = {Algorithmic Learning Theory, 11th International Conference, {ALT}
2000, Sydney, Australia, December 11-13, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1968},
pages = {179--193},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-40992-0\_14},
doi = {10.1007/3-540-40992-0\_14},
timestamp = {Tue, 21 Apr 2020 13:28:21 +0200},
biburl = {https://dblp.org/rec/conf/alt/Satoh00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amai/SatohN00,
author = {Ken Satoh and
Ryuichi Nakagawa},
title = {Discovering Critical Cases in Case-Based Reasoning},
booktitle = {International Symposium on Artificial Intelligence and Mathematics,
AI{\&}M 2000, Fort Lauderdale, Florida, USA, January 5-7, 2000},
year = {2000},
url = {http://rutcor.rutgers.edu/\%7Eamai/aimath00/regular/satoh\_nakagawa-old.ps},
timestamp = {Tue, 08 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/amai/SatohN00.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}
}
@proceedings{DBLP:conf/cl/2000clima,
editor = {Ken Satoh and
Fariba Sadri},
title = {{CL-2000} Workshop on Computational Logic in Multi-Agent Systems (CLIMA-00),
London, UK, July 24-25, 2000},
year = {2000},
timestamp = {Tue, 21 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cl/2000clima.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-AI-0003007,
author = {Ken Satoh and
Hidenori Okamoto},
title = {Computing Circumscriptive Databases by Integer Programming: Revisited
(Extended Abstract)},
journal = {CoRR},
volume = {cs.AI/0003007},
year = {2000},
url = {https://arxiv.org/abs/cs/0003007},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-AI-0003007.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-AI-0003008,
author = {Ken Satoh},
title = {Consistency Management of Normal Logic Program by Top-down Abductive
Proof Procedure},
journal = {CoRR},
volume = {cs.AI/0003008},
year = {2000},
url = {https://arxiv.org/abs/cs/0003008},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-AI-0003008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alt/Satoh98,
author = {Ken Satoh},
editor = {Michael M. Richter and
Carl H. Smith and
Rolf Wiehagen and
Thomas Zeugmann},
title = {Analysis of Case-Based Representability of Boolean Functions by Monotone
Theory},
booktitle = {Algorithmic Learning Theory, 9th International Conference, {ALT} '98,
Otzenhausen, Germany, October 8-10, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1501},
pages = {179--190},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-49730-7\_14},
doi = {10.1007/3-540-49730-7\_14},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/alt/Satoh98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/Satoh98,
author = {Ken Satoh},
editor = {Henri Prade},
title = {Using Two Level Abduction to Decide Similarity of Cases},
booktitle = {13th European Conference on Artificial Intelligence, Brighton, UK,
August 23-28 1998, Proceedings.},
pages = {398--402},
publisher = {John Wiley and Sons},
year = {1998},
timestamp = {Wed, 31 Jul 2019 08:45:03 +0200},
biburl = {https://dblp.org/rec/conf/ecai/Satoh98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jaciii/Satoh97,
author = {Ken Satoh},
title = {Statutory Interpretation by Case-Based Reasoning through Abductive
Logic Programming},
journal = {J. Adv. Comput. Intell. Intell. Informatics},
volume = {1},
number = {2},
pages = {94--103},
year = {1997},
url = {https://doi.org/10.20965/jaciii.1997.p0094},
doi = {10.20965/JACIII.1997.P0094},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jaciii/Satoh97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jaciii/WakakiSN97,
author = {Toshiko Wakaki and
Ken Satoh and
Katsumi Nitta},
title = {Reasoning about Dynamic Preferences in Circumscriptive Theory by Logic
Programming},
journal = {J. Adv. Comput. Intell. Intell. Informatics},
volume = {1},
number = {2},
pages = {121--129},
year = {1997},
url = {https://doi.org/10.20965/jaciii.1997.p0121},
doi = {10.20965/JACIII.1997.P0121},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jaciii/WakakiSN97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/WakakiS97,
author = {Toshiko Wakaki and
Ken Satoh},
title = {Compiling Prioritized Circumscription into Extended Logic Programs},
booktitle = {Proceedings of the Fifteenth International Joint Conference on Artificial
Intelligence, {IJCAI} 97, Nagoya, Japan, August 23-29, 1997, 2 Volumes},
pages = {182--189},
publisher = {Morgan Kaufmann},
year = {1997},
url = {http://ijcai.org/Proceedings/97-1/Papers/030.pdf},
timestamp = {Tue, 20 Aug 2019 16:17:27 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/WakakiS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coling/Satoh96,
author = {Ken Satoh},
title = {Disambiguation by Prioritized Circumscription},
booktitle = {16th International Conference on Computational Linguistics, Proceedings
of the Conference, {COLING} 1996, Center for Sprogteknologi, Copenhagen,
Denmark, August 5-9, 1996},
pages = {901--906},
year = {1996},
url = {https://aclanthology.org/C96-2152/},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/coling/Satoh96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/Satoh96,
author = {Ken Satoh},
editor = {Wolfgang Wahlster},
title = {Translating Case-Based Reasoning into Abductive Logic Programming},
booktitle = {12th European Conference on Artificial Intelligence, Budapest, Hungary,
August 11-16, 1996, Proceedings},
pages = {142--146},
publisher = {John Wiley and Sons, Chichester},
year = {1996},
timestamp = {Thu, 03 Jan 2002 11:56:53 +0100},
biburl = {https://dblp.org/rec/conf/ecai/Satoh96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ieaaie/Satoh96,
author = {Ken Satoh},
editor = {Takushi Tanaka and
Setsuo Ohsuga and
Moonis Ali},
title = {PAC-Learning of Weights in Multiobjective Function by Pairwise Comparison},
booktitle = {Industrial and Engineering Applications of Artificial Intelligence
and Expert Systems, Proceedings of the Ninth International Conference,
Fukuoka, Japan, June 4-7, 1996},
pages = {792},
publisher = {Gordon and Breach Science Publishers},
year = {1996},
timestamp = {Fri, 03 Jul 2009 15:24:06 +0200},
biburl = {https://dblp.org/rec/conf/ieaaie/Satoh96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccbr/OkamotoS95,
author = {Seishi Okamoto and
Ken Satoh},
editor = {Manuela M. Veloso and
Agnar Aamodt},
title = {An Average-Case Analysis of k-Nearest Neighbor Classifier},
booktitle = {Case-Based Reasoning Research and Development, First International
Conference, ICCBR-95, Sesimbra, Portugal, October 23-26, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1010},
pages = {253--264},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60598-3\_23},
doi = {10.1007/3-540-60598-3\_23},
timestamp = {Fri, 27 Dec 2019 21:24:11 +0100},
biburl = {https://dblp.org/rec/conf/iccbr/OkamotoS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/WakakiS95,
author = {Toshiko Wakaki and
Ken Satoh},
editor = {Leon Sterling},
title = {Computing Prioritized Circumscription by Logic Programming},
booktitle = {Logic Programming, Proceedings of the Twelfth International Conference
on Logic Programming, Tokyo, Japan, June 13-16, 1995},
pages = {283--297},
publisher = {{MIT} Press},
year = {1995},
timestamp = {Mon, 02 Dec 2013 17:40:44 +0100},
biburl = {https://dblp.org/rec/conf/iclp/WakakiS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mi/Satoh95,
author = {Ken Satoh},
editor = {Koichi Furukawa and
Donald Michie and
Stephen H. Muggleton},
title = {PAC-learning of Preference Relations over Interpretations in Lazy
Nonmonotonic Reasoning},
booktitle = {Machine Intelligence 15, Intelligent Agents [St. Catherine's College,
Oxford, UK, July 1995]},
pages = {285--297},
publisher = {Oxford University Press},
year = {1995},
timestamp = {Sat, 30 Apr 2022 12:43:32 +0200},
biburl = {https://dblp.org/rec/conf/mi/Satoh95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/Satoh94,
author = {Ken Satoh},
editor = {Anthony G. Cohn},
title = {A Top Down Proof Procedure for Default Logic by Using Abduction},
booktitle = {Proceedings of the Eleventh European Conference on Artificial Intelligence,
Amsterdam, The Netherlands, August 8-12, 1994},
pages = {65--69},
publisher = {John Wiley and Sons, Chichester},
year = {1994},
timestamp = {Tue, 20 Jun 2023 09:03:42 +0200},
biburl = {https://dblp.org/rec/conf/ecai/Satoh94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ewcbr/OkamotoS94,
author = {Seishi Okamoto and
Ken Satoh},
editor = {Jean Paul Haton and
Mark T. Keane and
Michel Manago},
title = {An Average Predictive Accuracy of the Nearest Neighbor Classifier},
booktitle = {Advances in Case-Based Reasoning, Second European Workshop, EWCBR-94,
Chantilly, France, November 7-10, 1994, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {984},
pages = {101--112},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-60364-6\_30},
doi = {10.1007/3-540-60364-6\_30},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/ewcbr/OkamotoS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/IwayamaSA92,
author = {Noboru Iwayama and
Ken Satoh and
Jun Arima},
editor = {Bernd Neumann},
title = {A Formalization of Generalization-Based Analogy in General Logic Programs},
booktitle = {10th European Conference on Artificial Intelligence, {ECAI} 92, Vienna,
Austria, August 3-7, 1992. Proceedings},
pages = {129--133},
publisher = {John Wiley and Sons},
year = {1992},
timestamp = {Wed, 31 Jul 2019 08:44:58 +0200},
biburl = {https://dblp.org/rec/conf/ecai/IwayamaSA92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/elp/SatohI92,
author = {Ken Satoh and
Noboru Iwayama},
editor = {Evelina Lamma and
Paola Mello},
title = {A Correct Goal-directed Proof Procedure for a General Logic Program
with Integrity Constraints},
booktitle = {Extensions of Logic Programming, Third International Workshop, ELP'92,
Bologna, Italy, February 26-28, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {660},
pages = {24--44},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-56454-3\_2},
doi = {10.1007/3-540-56454-3\_2},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/elp/SatohI92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fgcs/TerasakiHSSMKIA92,
author = {Satoshi Terasaki and
David J. Hawley and
Hiroyuki Sawada and
Ken Satoh and
Satoshi Menju and
Taro Kawagishi and
Noboru Iwayama and
Akira Aiba},
title = {Parallel Constraint Logic Programming Language {GDCC} and its Parallel
Constraint Solvers},
booktitle = {Proceedings of the International Conference on Fifth Generation Computer
Systems. {FGCS} 1992, June 1-5, Tokyo, Japan},
pages = {330--346},
publisher = {{IOS} Press},
year = {1992},
timestamp = {Wed, 31 Jul 2019 10:45:39 +0200},
biburl = {https://dblp.org/rec/conf/fgcs/TerasakiHSSMKIA92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/SatohI92,
author = {Ken Satoh and
Noboru Iwayama},
editor = {Krzysztof R. Apt},
title = {A Query Evaluation Method for Abductive Logic Programming},
booktitle = {Logic Programming, Proceedings of the Joint International Conference
and Symposium on Logic Programming, {JICSLP} 1992, Washington, DC,
USA, November 1992},
pages = {671--685},
publisher = {{MIT} Press},
year = {1992},
timestamp = {Fri, 29 Nov 2013 14:57:24 +0100},
biburl = {https://dblp.org/rec/conf/iclp/SatohI92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/SatohI91,
author = {Ken Satoh and
Noboru Iwayama},
editor = {Koichi Furukawa},
title = {Computing Abduction by Using the {TMS}},
booktitle = {Logic Programming, Proceedings of the Eigth International Conference,
Paris, France, June 24-28, 1991},
pages = {505--518},
publisher = {{MIT} Press},
year = {1991},
timestamp = {Fri, 29 Nov 2013 14:57:24 +0100},
biburl = {https://dblp.org/rec/conf/iclp/SatohI91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/KatsunoS91,
author = {Hirofumi Katsuno and
Ken Satoh},
editor = {John Mylopoulos and
Raymond Reiter},
title = {A Unified View of Consequence Relation, Belief Revision and Conditional
Logic},
booktitle = {Proceedings of the 12th International Joint Conference on Artificial
Intelligence. Sydney, Australia, August 24-30, 1991},
pages = {406--412},
publisher = {Morgan Kaufmann},
year = {1991},
url = {http://ijcai.org/Proceedings/91-1/Papers/063.pdf},
timestamp = {Tue, 20 Aug 2019 16:18:13 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/KatsunoS91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Satoh90,
author = {Ken Satoh},
editor = {Howard E. Shrobe and
Thomas G. Dietterich and
William R. Swartout},
title = {A Probabilistic Interpretation for Lazy Nonmonotonic Reasoning},
booktitle = {Proceedings of the 8th National Conference on Artificial Intelligence.
Boston, Massachusetts, USA, July 29 - August 3, 1990, 2 Volumes},
pages = {659--664},
publisher = {{AAAI} Press / The {MIT} Press},
year = {1990},
url = {http://www.aaai.org/Library/AAAI/1990/aaai90-099.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Satoh90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/Satoh90,
author = {Ken Satoh},
title = {Formalizing Soft Constraints by Interpretation Ordering},
booktitle = {9th European Conference on Artificial Intelligence, {ECAI} 1990, Stockholm,
Sweden, 1990},
pages = {585--590},
year = {1990},
timestamp = {Tue, 30 Jul 2019 13:42:21 +0200},
biburl = {https://dblp.org/rec/conf/ecai/Satoh90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fgcs/Satoh88,
author = {Ken Satoh},
title = {Nonmonotonic Reasoning by Minimal Belief Revision},
booktitle = {Proceedings of the International Conference on Fifth Generation Computer
Systems, {FGCS} 1988, Tokyo, Japan, November 28-December 2, 1988},
pages = {455--462},
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/Satoh88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compcon/KumonMISS86,
author = {Kouichi Kumon and
Hideo Masuzawa and
Akihiro Itashiki and
Ken Satoh and
Yukio Sohma},
title = {{KABU-WAKE:} {A} New Parallel Inference Method and Its Evaluation},
booktitle = {Spring COMPCON'86, Digest of Papers, Thirty-First {IEEE} Computer
Society International Conference, San Francisco, California, USA,
March 3-6, 1986},
pages = {168--172},
publisher = {{IEEE} Computer Society},
year = {1986},
timestamp = {Wed, 28 Jun 2006 09:47:20 +0200},
biburl = {https://dblp.org/rec/conf/compcon/KumonMISS86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fjcc/MasuzawaKISS86,
author = {Hideo Masuzawa and
Kouichi Kumon and
Akihiro Itashiki and
Ken Satoh and
Yukio Sohma},
title = {"Kabu-Wake" Parallel Inference Mechanism and It's Evaluation},
booktitle = {Proceedings of the Fall Joint Computer Conference, November 2-6, 1986,
Dallas, Texas, {USA}},
pages = {955--962},
publisher = {{IEEE} Computer Society},
year = {1986},
timestamp = {Fri, 29 Sep 2017 14:35:52 +0200},
biburl = {https://dblp.org/rec/conf/fjcc/MasuzawaKISS86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/FosterGRS86,
author = {Ian T. Foster and
Steve Gregory and
Graem A. Ringwood and
Ken Satoh},
editor = {Ehud Shapiro},
title = {A Sequential Implementation of Parlog},
booktitle = {Third International Conference on Logic Programming, Imperial College
of Science and Technology, London, United Kingdom, July 14-18, 1986,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {225},
pages = {149--156},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/3-540-16492-8\_71},
doi = {10.1007/3-540-16492-8\_71},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/iclp/FosterGRS86.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-14 01:13 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:
