Google
Google Scholar
Semantic Scholar
MS Academic
CiteSeerX
ORCIDKen Satoh
Person information
- affiliation: National Institute of Informatics, NII, Japan
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2020
[j23]Vu D. Tran
, Minh Le Nguyen, Satoshi Tojo, Ken Satoh:
Encoded summarization: summarizing documents into continuous vector space for legal case retrieval. Artif. Intell. Law 28(4): 441-467 (2020)- [c119]Miyuki Koshimura, Ken Satoh:
A Simple yet Efficient MCSes Enumeration with SAT Oracles. ACIIDS (1) 2020: 191-201 - [c118]Tiago Oliveira, Jérémie Dauphin, Ken Satoh, Shusaku Tsumoto, Paulo Novais:
Goal-Driven Structured Argumentation for Patient Management in a Multimorbidity Setting. CLAR 2020: 166-183 - [c117]Yunqiu Shao, Jiaxin Mao, Yiqun Liu, Weizhi Ma, Ken Satoh, Min Zhang, Shaoping Ma:
BERT-PLI: Modeling Paragraph-Level Interactions for Legal Case Retrieval. IJCAI 2020: 3501-3507 - [e15]Maki Sakamoto, Naoaki Okazaki, Koji Mineshima, Ken Satoh:
New Frontiers in Artificial Intelligence - JSAI-isAI International Workshops, JURISIN, AI-Biz, LENLS, Kansei-AI, Yokohama, Japan, November 10-12, 2019, Revised Selected Papers. Lecture Notes in Computer Science 12331, Springer 2020, ISBN 978-3-030-58789-5 [contents] - [i11]Vu D. Tran, Minh Le Nguyen, Ken Satoh:
Building Legal Case Retrieval Systems with Lexical Matching and Summarization using A Pre-Trained Phrase Scoring Model. CoRR abs/2009.14083 (2020) - [i10]Ha-Thanh Nguyen, Hai-Yen Thi Vuong, Phuong Minh Nguyen, Tran Binh Dang, Quan Minh Bui, Vu Trong Sinh, Chau Minh Nguyen, Vu D. Tran, Ken Satoh, Minh Le Nguyen:
JNLP Team: Deep Learning for Legal Processing in COLIEE 2020. CoRR abs/2011.08071 (2020)
2010 – 2019
- 2019
- [j22]Tiago Oliveira, Filipe Gonçalves, Paulo Novais, Ken Satoh, José Neves:
OWL-based acquisition and editing of computer-interpretable guidelines with the CompGuide editor. Expert Syst. J. Knowl. Eng. 36(3) (2019) - [j21]Elena Bellodi, Ken Satoh, Mahito Sugiyama:
Summarizing significant subgraphs by probabilistic logic programming. Intell. Data Anal. 23(6): 1299-1312 (2019) - [j20]Jiraporn Pooksook, Phan Minh Dung, Ken Satoh, Giovanni Sartor:
Modelling last-act attempted crime in criminal law. J. Appl. Non Class. Logics 29(4): 327-357 (2019) - [c116]Vu D. Tran, Minh Le Nguyen, Ken Satoh:
Building Legal Case Retrieval Systems with Lexical Matching and Summarization using A Pre-Trained Phrase Scoring Model. ICAIL 2019: 275-282 - [c115]Juliano Rabelo, Mi-Young Kim, Randy Goebel, Masaharu Yoshioka, Yoshinobu Kano, Ken Satoh:
A Summary of the COLIEE 2019 Competition. JSAI-isAI Workshops 2019: 34-49 - [c114]Emilio Serrano, Ken Satoh:
An Agent-Based Model for Exploring Pension Law and Social Security Policies. JSAI-isAI Workshops 2019: 50-63 - [c113]Matteo Baldoni, Laura Giordano, Ken Satoh:
Renvoi in Private International Law: A Formalization with Modal Contexts. JURIX 2019: 157-162 - [c112]Vu Trong Sinh, Minh Le Nguyen, Ken Satoh:
Legal Text Generation from Abstract Meaning Representation. JURIX 2019: 229-234 - [c111]Vu D. Tran, Minh Le Nguyen, Kiyoaki Shirai, Ken Satoh:
An Approach of Rhetorical Status Recognition for Judgments in Court Documents using Deep Learning Models. KSE 2019: 1-6 - [c110]Jérémie Dauphin, Ken Satoh:
Explainable ASP. PRIMA 2019: 610-617 - [c109]Marina De Vos, Sabrina Kirrane, Julian A. Padget, Ken Satoh:
ODRL Policy Modelling and Compliance Checking. RuleML+RR 2019: 36-51 - [c108]António Silva, Tiago Oliveira, Ken Satoh, Paulo Novais:
Providing Alternative Measures for Addressing Adverse Drug-Drug Interactions. WorldCIST (2) 2019: 567-576 - [e14]Kazuhiro Kojima, Maki Sakamoto, Koji Mineshima, Ken Satoh:
New Frontiers in Artificial Intelligence - JSAI-isAI 2018 Workshops, JURISIN, AI-Biz, SKL, LENLS, IDAA, Yokohama, Japan, November 12-14, 2018, Revised Selected Papers. Lecture Notes in Computer Science 11717, Springer 2019, ISBN 978-3-030-31604-4 [contents] - 2018
- [j19]Truong-Son Nguyen, Le-Minh Nguyen, Satoshi Tojo, Ken Satoh, Akira Shimazu:
Recurrent neural network-based models for recognizing requisite and effectuation parts in legal texts. Artif. Intell. Law 26(2): 169-199 (2018) - [j18]Robert A. Kowalski, Ken Satoh:
Obligation as Optimal Goal Satisfaction. J. Philos. Log. 47(4): 579-609 (2018) - [j17]Tiago Oliveira, Ana Silva, Ken Satoh, Vicente Julián, Pedro Leão, Paulo Novais:
Survivability Prediction of Colorectal Cancer Patients: A System with Evolving Features for Continuous Improvement. Sensors 18(9): 2983 (2018) - [c107]Tiago Oliveira, Jérémie Dauphin, Ken Satoh, Shusaku Tsumoto, Paulo Novais:
Argumentation with Goals for Clinical Decision Support in Multimorbidity. AAMAS 2018: 2031-2033 - [c106]Bohao Wang, Hirotaka Osawa, Ken Satoh:
How Implicit Communication Emerges during Conversation Game. AAMAS 2018: 2118-2120 - [c105]María Navas-Loro, Ken Satoh, Víctor Rodríguez-Doncel:
ContractFrames: Bridging the Gap Between Natural Language and Logics in Contract Law. JSAI-isAI Workshops 2018: 101-114 - [c104]Wachara Fungwacharakorn, Ken Satoh:
Legal Debugging in Propositional Legal Representation. JSAI-isAI Workshops 2018: 146-159 - [c103]Yoshinobu Kano, Mi-Young Kim, Masaharu Yoshioka, Yao Lu, Juliano Rabelo, Naoki Kiyota, Randy Goebel, Ken Satoh:
COLIEE-2018: Evaluation of the Competition on Legal Information Extraction and Entailment. JSAI-isAI Workshops 2018: 177-192 - [c102]Josef Valvoda, Oliver Ray, Ken Satoh:
Using Agreement Statements to Identify Majority Opinion in UKHL Case Law. JURIX 2018: 141-150 - [c101]António Silva, Tiago Oliveira, Ken Satoh, Paulo Novais:
Automatically Identifying Drug Conflicts in Clinical Practice Guidelines. MedRACER+WOMoCoE@KR 2018: 23-28 - [c100]Vu D. Tran, Minh Le Nguyen, Ken Satoh:
Encoding Local Contexts of Sentences with Convolutions on pq-Gram Representations of Dependency Trees. KSE 2018: 329-334 - [c99]Ryuta Arisaka, Ken Satoh:
Abstract Argumentation / Persuasion / Dynamics. PRIMA 2018: 331-343 - [c98]Jérémie Dauphin, Ken Satoh:
Dialogue Games for Enforcement of Argument Acceptance and Rejection via Attack Removal. PRIMA 2018: 449-457 - [c97]António Silva, Tiago Oliveira, Filipe Gonçalves, José Neves, Ken Satoh, Paulo Novais:
A Unified System for Clinical Guideline Management and Execution. WorldCIST (2) 2018: 810-819 - [p1]Paulo Novais, Tiago Oliveira, Ken Satoh, José Neves:
The Role of Ontologies and Decision Frameworks in Computer-Interpretable Guideline Execution. Synergies Between Knowledge Engineering and Software Engineering 2018: 197-216 - [e13]Sachiyo Arai, Kazuhiro Kojima, Koji Mineshima, Daisuke Bekki, Ken Satoh, Yuiko Ohta:
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. Lecture Notes in Computer Science 10838, Springer 2018, ISBN 978-3-319-93793-9 [contents] - [i9]Vu D. Tran, Minh Le Nguyen, Ken Satoh:
Automatic Catchphrase Extraction from Legal Case Documents via Scoring using Deep Neural Networks. CoRR abs/1809.05219 (2018) - 2017
- [j16]Tiago Oliveira, Ken Satoh, Paulo Novais, José Neves, Hiroshi Hosobe:
A dynamic default revision mechanism for speculative computation. Auton. Agents Multi Agent Syst. 31(3): 656-695 (2017) - [j15]João Ramos, Tiago Oliveira, Ken Satoh, José Neves, Paulo Novais:
An Orientation Method with Prediction and Anticipation Features. Inteligencia Artif. 20(59): 82-95 (2017) - [c96]Ryuta Arisaka, Ken Satoh, Leendert W. N. van der Torre:
Anything You Say May Be Used Against You in a Court of Law - Abstract Agent Argumentation (Triple-A). AICOL 2017: 427-442 - [c95]António Silva, Tiago Oliveira, José Neves, Ken Satoh, Paulo Novais:
A System for the Management of Clinical Tasks Throughout the Clinical Process with Notification Features. A2HC@AAMAS/A-HEALTH@PAAMS 2017: 76-93 - [c94]Ryuta Arisaka, Ken Satoh:
Coalition Formability Semantics with Conflict-Eliminable Sets of Arguments. AAMAS 2017: 1469-1471 - [c93]Yoshinobu Kano, Mi-Young Kim, Randy Goebel, Ken Satoh:
Overview of COLIEE 2017. COLIEE@ICAIL 2017: 1-8 - [e12]Ken Satoh, Mi-Young Kim, Yoshinobu Kano, Randy Goebel, Tiago Oliveira:
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. EPiC Series in Computing 47, EasyChair 2017 [contents] - [e11]Mihoko Otake, Setsuya Kurahashi, Yuiko Ota, Ken Satoh, Daisuke Bekki:
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. Lecture Notes in Computer Science 10091, 2017, ISBN 978-3-319-50952-5 [contents] - [e10]Setsuya Kurahashi, Yuiko Ohta, Sachiyo Arai, Ken Satoh, Daisuke Bekki:
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. Lecture Notes in Computer Science 10247, Springer 2017, ISBN 978-3-319-61571-4 [contents] - [i8]Ryuta Arisaka, Ken Satoh:
Abstract Argumentation / Persuasion / Dynamics. CoRR abs/1705.10044 (2017) - [i7]Lai Dac Viet, Vu Trong Sinh, Le Minh Nguyen, Ken Satoh:
ConvAMR: Abstract meaning representation parsing for legal document. CoRR abs/1711.06141 (2017) - 2016
- [c92]Kristijonas Cyras, Ken Satoh, Francesca Toni:
Explanation for Case-Based Reasoning via Abstract Argumentation. COMMA 2016: 243-254 - [c91]Ryuta Arisaka, Ken Satoh:
Voluntary Manslaughter? A Case Study with Meta-Argumentation with Supports. JSAI-isAI Workshops 2016: 241-252 - [c90]Matthew Thompson, Julian A. Padget, Ken Satoh:
Describing Legal Policies as Story Tropes in Normative Systems. JURIX 2016: 207-210 - [c89]Kristijonas Cyras, Ken Satoh, Francesca Toni:
Abstract Argumentation for Case-Based Reasoning. KR 2016: 549-552 - [c88]João Ramos, Tiago Oliveira, Ken Satoh, José Neves, Paulo Novais:
Orientation System Based on Speculative Computation and Trajectory Mining. PAAMS (Workshops) 2016: 250-261 - [c87]Ryuta Arisaka, Ken Satoh:
Balancing Rationality and Utility in Logic-Based Argumentation with Classical Logic Sentences and Belief Contraction. PRIMA 2016: 168-180 - [i6]Ryuta Arisaka, Ken Satoh:
Coalition Formability Semantics with Conflict-Eliminable Sets of Arguments. CoRR abs/1605.00495 (2016) - 2015
- [c86]Tingting Li, Marina De Vos, Julian A. Padget, Ken Satoh, Tina Balke:
Debugging ASP using ILP. ICLP (Technical Communications) 2015 - [c85]Tiago Oliveira, Ken Satoh, Paulo Novais, José Neves, Pedro Leão, Hiroshi Hosobe:
A Reasoning Module for Distributed Clinical Decision Support Systems. IDC 2015: 387-397 - [c84]João Ramos, Tiago Oliveira, Paulo Novais, José Neves, Ken Satoh:
An alert mechanism for orientation systems based on Speculative computation. INISTA 2015: 1-8 - [c83]Duangtida Athakravi, Ken Satoh, Mark Law, Krysia Broda, Alessandra Russo:
Automated Inference of Rules with Exception from Past Legal Cases Using ASP. LPNMR 2015: 83-96 - [c82]Claudia Schulz, Ken Satoh, Francesca Toni:
Characterising and Explaining Inconsistency in Logic Programs. LPNMR 2015: 467-479 - [c81]Zohreh Shams, Marina De Vos, Nir Oren, Julian A. Padget, Ken Satoh:
Argumentation-based Normative Practical Reasoning. TAFA 2015: 226-242 - 2014
- [c80]Megumi Fujita, Yuki Goto, Naoyuki Nide, Ken Satoh, Hiroshi Hosobe:
Logic-based and robust desicion making for robots in real world. AAMAS 2014: 1685-1686 - [c79]Tiago Oliveira, José Neves, Paulo Novais, Ken Satoh:
Applying Speculative Computation to Guideline-Based Decision Support Systems. CBMS 2014: 42-47 - [c78]João Ramos, Ken Satoh, Paulo Novais, José Neves:
Modelling an Orientation System Based on Speculative Computation. DCAI 2014: 319-326 - [c77]Tanapon Tantisripreecha, Ken Satoh, Nuanwan Soonthornphisaj:
Legal Reasoning Engine for Civil Court Procedure. ICIC (2) 2014: 500-512 - [c76]Duangtida Athakravi, Dalal Alrajeh, Krysia Broda, Alessandra Russo, Ken Satoh:
Inductive Learning Using Constraint-Driven Bias. ILP 2014: 16-32 - [c75]Julian A. Padget, Emad Eldeen Elakehal, Ken Satoh, Fuyuki Ishikawa:
On requirements representation and reasoning using answer set programming. AIRE 2014: 35-42 - [e9]Yukiko I. Nakano, Ken Satoh, Daisuke Bekki:
New Frontiers in Artificial Intelligence - JSAI-isAI 2013 Workshops, LENLS, JURISIN, MiMI, AAA, and DDS, Kanagawa, Japan, October 27-28, 2013, Revised Selected Papers. Lecture Notes in Computer Science 8417, Springer 2014, ISBN 978-3-319-10060-9 [contents] - [i5]Randy Goebel, Yuji Matsumoto, Ken Satoh:
Towards Explanation Production Combining Natural Language Processing and Logical Reasoning (NII Shonan Meeting 2014-15). NII Shonan Meet. Rep. 2014 (2014) - 2013
- [c74]Marina De Vos, Tina Balke, Ken Satoh:
Combining event-and state-based norms. AAMAS 2013: 1157-1158 - [c73]Tingting Li, Tina Balke, Marina De Vos, Julian A. Padget, Ken Satoh:
A model-based approach to the automatic revision of secondary legislation. ICAIL 2013: 202-206 - [c72]Zohreh Shams, Marina De Vos, Ken Satoh:
ArgPROLEG: A Normative Framework for the JUF Theory. JSAI-isAI Workshops 2013: 183-198 - [c71]Mi-Young Kim, Ying Xu, Randy Goebel, Ken Satoh:
Answering Yes/No Questions in Legal Bar Exams. JSAI-isAI Workshops 2013: 199-213 - [c70]Tingting Li, Tina Balke, Marina De Vos, Julian A. Padget, Ken Satoh:
Legal Conflict Detection in Interacting Legal Systems. JURIX 2013: 107-116 - [c69]Tingting Li, Tina Balke, Marina De Vos, Julian A. Padget, Ken Satoh:
Legal Conflict Detection in Interacting Legal Systems. DoCoPe@JURIX 2013 - [i4]Megumi Fujita, Yuki Goto, Naoyuki Nide, Ken Satoh, Hiroshi Hosobe:
An Architecture for Autonomously Controlling Robot with Embodiment in Real World. CoRR abs/1307.7129 (2013) - 2012
- [j14]Ken Satoh:
Logic Programming and Burden of Proof in Legal Reasoning. New Gener. Comput. 30(4): 297-326 (2012) - [c68]Duangtida Athakravi, Domenico Corapi, Alessandra Russo, Marina De Vos, Julian A. Padget, Ken Satoh:
Handling change in normative specifications. AAMAS 2012: 1369-1370 - [c67]Ho-Pun Lam, Guido Governatori, Ken Satoh, Hiroshi Hosobe:
Distributed Defeasible Speculative Reasoning in Ambient Environment. CLIMA 2012: 43-60 - [c66]Duangtida Athakravi, Domenico Corapi, Alessandra Russo, Marina De Vos, Julian A. Padget, Ken Satoh:
Handling Change in Normative Specifications. DALT 2012: 1-19 - [c65]Ken Satoh, Kazuko Takahashi:
Decision Making in Knowledge Integration with Dynamic Creation of Argumentation. ISIP 2012: 41-50 - [c64]Yoko Anan, Kohei Hatano, Hideo Bannai, Masayuki Takeda, Ken Satoh:
Polyphonic Music Classification on Symbolic Data Using Dissimilarity Functions. ISMIR 2012: 229-234 - [c63]Marina De Vos, Tina Balke, Ken Satoh:
Modelling Legitimate Expectations. JSAI-isAI Workshops 2012: 141-156 - [c62]Tingting Li, Tina Balke, Marina De Vos, Ken Satoh, Julian A. Padget:
Detecting Conflicts in Legal Systems. JSAI-isAI Workshops 2012: 174-189 - [e8]Manabu Okumura, Daisuke Bekki, Ken Satoh:
New Frontiers in Artificial Intelligence - JSAI-isAI 2011 Workshops, LENLS, JURISIN, ALSIP, MiMI, Takamatsu, Japan, December 1-2, 2011. Revised Selected Papers. Lecture Notes in Computer Science 7258, Springer 2012, ISBN 978-3-642-32089-7 [contents] - 2011
- [j13]Domenico Corapi, Alessandra Russo, Marina De Vos, Julian A. Padget, Ken Satoh:
Normative design using inductive learning. Theory Pract. Log. Program. 11(4-5): 783-799 (2011) - [c61]Shozo Ota, Ken Satoh, Makoto Nakamura:
The Fifth International Workshop on Juris-Informatics (JURISIN 2011). JSAI-isAI Workshops 2011: 110-111 - [i3]Domenico Corapi, Alessandra Russo, Marina De Vos, Julian A. Padget, Ken Satoh:
Normative design using inductive learning. CoRR abs/1107.4967 (2011) - 2010
- [j12]Hiroshi Hosobe, Ken Satoh, Jiefei Ma, Alessandra Russo, Krysia Broda:
Speculative constraint processing for hierarchical agents. AI Commun. 23(4): 373-388 (2010) - [j11]Ken Kaneiwa, Ken Satoh:
On the complexities of consistency checking for restricted UML class diagrams. Theor. Comput. Sci. 411(2): 301-323 (2010) - [c60]Domenico Corapi, Marina De Vos, Julian A. Padget, Alessandra Russo, Ken Satoh:
Norm Refinement and Design through Inductive Learning. COIN@AAMAS&MALLOW 2010: 77-94 - [c59]Jiefei Ma, Krysia Broda, Randy Goebel, Hiroshi Hosobe, Alessandra Russo, Ken Satoh:
Speculative Abductive Reasoning for Hierarchical Agent Systems. CLIMA 2010: 49-64 - [c58]Marina De Vos, Julian A. Padget, Ken Satoh:
Legal Modelling and Reasoning Using Institutions. JSAI-isAI Workshops 2010: 129-140 - [c57]Ken Satoh, Kento Asai, Takamune Kogawa, Masahiro Kubota, Megumi Nakamura, Yoshiaki Nishigai, Kei Shirakawa, Chiaki Takano:
PROLEG: An Implementation of the Presupposed Ultimate Fact Theory of Japanese Civil Code by PROLOG Technology. JSAI-isAI Workshops 2010: 153-164 - [c56]Domenico Corapi, Marina De Vos, Julian A. Padget, Alessandra Russo, Ken Satoh:
Norm Refinement and Design through Inductive Learning. MALLOW 2010
2000 – 2009
- 2009
- [c55]Jiefei Ma, Alessandra Russo, Krysia Broda, Hiroshi Hosobe, Ken Satoh:
On the Implementation of Speculative Constraint Processing. CLIMA 2009: 178-195 - [c54]Ken Satoh:
Computing Minimal Models by Positively Minimal Disjuncts. JSAI-isAI Workshops 2009: 358-371 - [c53]Ken Satoh, Masahiro Kubota, Yoshiaki Nishigai, Chiaki Takano:
Translating the Japanese Presupposed Ultimate Fact Theory into Logic Programming. JURIX 2009: 162-171 - 2008
- [c52]Katsumi Nitta, Ken Satoh, Satoshi Tojo:
Overview of JURISIN 2008. JSAI 2008: 211-212 - [c51]Naoki Fukuta, Ken Satoh, Takahira Yamaguchi:
Towards "Kiga-kiku" Services on Speculative Computation. PAKM 2008: 256-267 - [e7]Fariba Sadri, Ken Satoh:
Computational Logic in Multi-Agent Systems, 8th International Workshop, CLIMA VIII, Porto, Portugal, September 10-11, 2007. Revised Selected and Invited Papers. Lecture Notes in Computer Science 5056, Springer 2008, ISBN 978-3-540-88832-1 [contents] - [e6]Ken Satoh, Akihiro Inokuchi, Katashi Nagao, Takahiro Kawamura:
New Frontiers in Artificial Intelligence, JSAI 2007 Conference and Workshops, Miyazaki, Japan, June 18-22, 2007, Revised Selected Papers. Lecture Notes in Computer Science 4914, Springer 2008, ISBN 978-3-540-78196-7 [contents] - 2007
- [j10]Hiroshi Hosobe, Ken Satoh, Philippe Codognet:
Agent-Based Speculative Constraint Processing. IEICE Trans. Inf. Syst. 90-D(9): 1354-1362 (2007) - [c50]Shin-ichi Minato, Ken Satoh, Taisuke Sato:
Compiling Bayesian Networks by Symbolic Probability Calculation Based on Zero-Suppressed BDDs. IJCAI 2007: 2550-2555 - [c49]Mina Akaishi, Yoshikiyo Kato, Ken Satoh, Koichi Hori:
Narrative based Topic Visualization for Chronological Data. IV 2007: 139-144 - [c48]Katsumi Nitta, Ken Satoh, Satoshi Tojo:
First International Workshop on Juris-Informatics. JSAI 2007: 347-348 - [e5]Katsumi Inoue, Ken Satoh, Francesca Toni:
Computational Logic in Multi-Agent Systems, 7th International Workshop, CLIMA VII, Hakodate, Japan, May 8-9, 2006, Revised Selected and Invited Papers. Lecture Notes in Computer Science 4371, Springer 2007, ISBN 978-3-540-69618-6 [contents] - [e4]Takashi Washio, Ken Satoh, Hideaki Takeda, Akihiro Inokuchi:
New Frontiers in Artificial Intelligence, JSAI 2006 Conference and Workshops, Tokyo, Japan, June 5-9 2006, Revised Selected Papers. Lecture Notes in Computer Science 4384, Springer 2007, ISBN 3-540-69901-5 [contents] - 2006
- [c47]Ken Kaneiwa, Ken Satoh:
Consistency Checking Algorithms for Restricted UML Class Diagrams. FoIKS 2006: 219-239 - [c46]Mina Akaishi, Koichi Hori, Ken Satoh:
Topic Tracer: a Visualization Tool for Quick Reference of Stories Embedded in Document Set. IV 2006: 101-106 - [c45]Akihiro Yamamoto, Kouichi Hirata, Ken Satoh:
The Fourth Workshop on Learning with Logics and Logics for Learning (LLLL2006). JSAI 2006: 249-250 - [c44]Ken Satoh, Satoshi Tojo:
Disjunction of Causes and Disjunctive Cause: a Solution to the Paradox of Conditio Sine Qua Non using Minimal Abduction. JURIX 2006: 163-168 - [c43]Ken Satoh, Ken Kaneiwa, Takeaki Uno:
Contradiction Finding and Minimal Recovery for UML Class Diagrams. ASE 2006: 277-280 - [c42]Ken Satoh, Takeaki Uno:
Enumerating Minimal Explanations by Minimal Hitting Set Computation. KSEM 2006: 354-365 - 2005
- [j9]Ken Satoh:
Speculative Computation and Abduction for an Autonomous Agent. IEICE Trans. Inf. Syst. 88-D(9): 2031-2038 (2005) - [j8]Ken Satoh:
Learning taxonomic relation by case-based reasoning. Theor. Comput. Sci. 348(1): 58-69 (2005) - [c41]Martine Ceberio, Hiroshi Hosobe, Ken Satoh:
Speculative Constraint Processing with Iterative Revision for Disjunctive Answers. CLIMA 2005: 340-357 - [c40]Ken Satoh, Takeaki Uno:
Enumerating Minimally Revised Specifications Using Dualization. JSAI Workshops 2005: 182-189 - 2004
- [j7]Jürgen Dix, João Alexandre Leite, Ken Satoh:
Introduction. Ann. Math. Artif. Intell. 42(1-3): 1-3 (2004) - [c39]Ken Satoh:
An Application of Global Abduction to an Information Agent Which Modifies a Plan Upon Failure - Preliminary Report. CLIMA 2004: 213-229 - [c38]Ken Satoh:
Formalizing Retrieval Goal Change by Prioritized Abduction. Intuitive Human Interfaces for Organizing and Accessing Intellectual Assets 2004: 215-232 - [c37]Mina Akaishi, Ken Satoh, Yuzuru Tanaka:
An Associative Information Retrieval Based on the Dependency of Term Co-occurrence. Discovery Science 2004: 195-206 - [c36]Ken Satoh:
"All's well that ends well" - a proposal of global abduction. NMR 2004: 360-367 - 2003
- [j6]Jürgen Dix, Fariba Sadri, Ken Satoh:
Introduction. Ann. Math. Artif. Intell. 37(1-2): 1-3 (2003) - [c35]Ken Satoh:
Formalizing Retrieval Goal Change by Prioritized Circumscription - Preliminary Report. CIA 2003: 324-335 - [c34]Ken Satoh, Takeaki Uno:
Enumerating Maximal Frequent Sets Using Irredundant Dualization. Discovery Science 2003: 256-268 - [c33]Takeaki Uno, Ken Satoh:
Detailed Description of an Algorithm for Enumeration of Maximal Frequent Sets with Irredundant Dualization. FIMI 2003 - [c32]Ken Satoh, Philippe Codognet, Hiroshi Hosobe:
Speculative Constraint Processing in Multi-agent Systems. PRIMA 2003: 133-144 - 2002
- [j5]Jürgen Dix, João Alexandre Leite, Ken Satoh:
Preface. Electron. Note