


Остановите войну!
for scientists:
Ken 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
- 2022
- [j30]Vu Trong Sinh, Minh Le Nguyen, Ken Satoh:
Abstract meaning representation for legal documents: an empirical research on a human-annotated dataset. Artif. Intell. Law 30(2): 221-243 (2022) - [j29]Wachara Fungwacharakorn
, Kanae Tsushima, Ken Satoh:
Diagnosing and Treating Effect of Legal Rule-Based Revision. New Gener. Comput. 40(1): 25-45 (2022) - [j28]Randy Goebel, Yoshinobu Kano, Mi-Young Kim, Juliano Rabelo, Ken Satoh, Masaharu Yoshioka:
Preface of Special Issue on 8th Competition on Legal Information of Extraction and Entailment (COLIEE 2021). Rev. Socionetwork Strateg. 16(1): 109-110 (2022) - [j27]Juliano Rabelo
, Randy Goebel, Mi-Young Kim, Yoshinobu Kano, Masaharu Yoshioka, Ken Satoh:
Overview and Discussion of the Competition on Legal Information Extraction/Entailment (COLIEE) 2021. Rev. Socionetwork Strateg. 16(1): 111-133 (2022) - [j26]Ha-Thanh Nguyen
, Minh Phuong Nguyen, Thi-Hai-Yen Vuong, Minh-Quan Bui, Minh-Chau Nguyen, Tran Binh Dang, Vu Tran, Le-Minh Nguyen, Ken Satoh:
Transformer-Based Approaches for Legal Text Processing. Rev. Socionetwork Strateg. 16(1): 135-155 (2022) - [i14]Ha-Thanh Nguyen, Minh Phuong Nguyen, Thi-Hai-Yen Vuong, Minh-Quan Bui, Chau Minh Nguyen, Tran Binh Dang, Vu Tran, Le-Minh Nguyen, Ken Satoh:
Transformer-based Approaches for Legal Text Processing. CoRR abs/2202.06397 (2022) - 2021
- [j25]Wachara Fungwacharakorn
, Kanae Tsushima, Ken Satoh:
Resolving counterintuitive consequences in law using legal debugging. Artif. Intell. Law 29(4): 541-557 (2021) - [c128]Ken Satoh, Laura Giordano, Matteo Baldoni:
Implementation of Choice of Jurisdiction and Law in Private International Law by PROLEG Meta-interpreter. CLAR 2021: 60-75 - [c127]Vu Tran, Van-Hien Tran, Phuong Nguyen, Chau Minh Nguyen, Ken Satoh, Yuji Matsumoto, Minh Le Nguyen:
CovRelex: A COVID-19 Retrieval System with Relation Extraction. EACL (System Demonstrations) 2021: 24-31 - [c126]Wachara Fungwacharakorn, Kanae Tsushima, Ken Satoh:
On semantics-based minimal revision for legal reasoning. ICAIL 2021: 50-59 - [c125]Ken Satoh, Kazuko Takahashi, Tatsuki Kawasaki:
Interactive system for arranging issues based on PROLEG in civil litigation. ICAIL 2021: 273-274 - [e16]Naoaki Okazaki, Katsutoshi Yada, Ken Satoh, Koji Mineshima:
New Frontiers in Artificial Intelligence - JSAI-isAI 2020 Workshops, JURISIN, LENLS 2020 Workshops, Virtual Event, November 15-17, 2020, Revised Selected Papers. Lecture Notes in Computer Science 12758, Springer 2021, ISBN 978-3-030-79941-0 [contents] - [i13]Ha-Thanh Nguyen, Vu Tran, Phuong Minh Nguyen, Thi-Hai-Yen Vuong, Quan Minh Bui, Chau Minh Nguyen, Tran Binh Dang, Minh Le Nguyen, Ken Satoh:
ParaLaw Nets - Cross-lingual Sentence-level Pretraining for Legal Text Processing. CoRR abs/2106.13403 (2021) - [i12]Ha-Thanh Nguyen, Phuong Minh Nguyen, Thi-Hai-Yen Vuong, Quan Minh Bui, Chau Minh Nguyen, Tran Binh Dang, Vu Tran, Minh Le Nguyen, Ken Satoh:
JNLP Team: Deep Learning Approaches for Legal Processing Tasks in COLIEE 2021. CoRR abs/2106.13405 (2021) - 2020
- [j24]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) - [j23]Marco Alberti, Marco Gavanelli
, Evelina Lamma, Fabrizio Riguzzi, Ken Satoh, Riccardo Zese:
Dischargeable Obligations in the 𝒮CIFF Framework. Fundam. Informaticae 176(3-4): 321-348 (2020) - [c124]Miyuki Koshimura
, Ken Satoh:
A Simple yet Efficient MCSes Enumeration with SAT Oracles. ACIIDS (1) 2020: 191-201 - [c123]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 - [c122]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 - [c121]Wachara Fungwacharakorn, Kanae Tsushima, Ken Satoh:
On the Legal Revision in PROLEG Program. JSAI 2020: 25-36 - [c120]Juliano Rabelo, Mi-Young Kim, Randy Goebel, Masaharu Yoshioka, Yoshinobu Kano, Ken Satoh:
COLIEE 2020: Methods for Legal Document Retrieval and Entailment. JSAI-isAI Workshops 2020: 196-210 - [c119]Wachara Fungwacharakorn, Ken Satoh:
Generalizing Culprit Resolution in Legal Debugging with Background Knowledge. JURIX 2020: 52-62 - [c118]Ken Satoh, Matteo Baldoni, Laura Giordano:
Reasoning About Applicable Law in Private International Law in Logic Programming. JURIX 2020: 281-285 - [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) - [c117]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 - [c116]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 - [c115]Emilio Serrano
, Ken Satoh:
An Agent-Based Model for Exploring Pension Law and Social Security Policies. JSAI-isAI Workshops 2019: 50-63 - [c114]Matteo Baldoni, Laura Giordano, Ken Satoh:
Renvoi in Private International Law: A Formalization with Modal Contexts. JURIX 2019: 157-162 - [c113]Vu Trong Sinh, Minh Le Nguyen, Ken Satoh:
Legal Text Generation from Abstract Meaning Representation. JURIX 2019: 229-234 - [c112]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 - [c111]Jérémie Dauphin, Ken Satoh:
Explainable ASP. PRIMA 2019: 610-617 - [c110]Marina De Vos
, Sabrina Kirrane, Julian A. Padget
, Ken Satoh:
ODRL Policy Modelling and Compliance Checking. RuleML+RR 2019: 36-51 - [c109]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) - [c108]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 - [c107]Bohao Wang, Hirotaka Osawa, Ken Satoh:
How Implicit Communication Emerges during Conversation Game. AAMAS 2018: 2118-2120 - [c106]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 - [c105]Wachara Fungwacharakorn, Ken Satoh:
Legal Debugging in Propositional Legal Representation. JSAI-isAI Workshops 2018: 146-159 - [c104]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 - [c103]Josef Valvoda, Oliver Ray, Ken Satoh:
Using Agreement Statements to Identify Majority Opinion in UKHL Case Law. JURIX 2018: 141-150 - [c102]António Silva, Tiago Oliveira, Ken Satoh, Paulo Novais:
Automatically Identifying Drug Conflicts in Clinical Practice Guidelines. MedRACER+WOMoCoE@KR 2018: 23-28 - [c101]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 - [c100]Ryuta Arisaka, Ken Satoh:
Abstract Argumentation / Persuasion / Dynamics. PRIMA 2018: 331-343 - [c99]Jérémie Dauphin, Ken Satoh:
Dialogue Games for Enforcement of Argument Acceptance and Rejection via Attack Removal. PRIMA 2018: 449-457 - [c98]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) - [c97]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 - [c96]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 - [c95]Ryuta Arisaka, Ken Satoh:
Coalition Formability Semantics with Conflict-Eliminable Sets of Arguments. AAMAS 2017: 1469-1471 - [c94]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
- [c93]Kristijonas Cyras, Ken Satoh, Francesca Toni:
Explanation for Case-Based Reasoning via Abstract Argumentation. COMMA 2016: 243-254 - [c92]Megumi Fujita, Yuki Goto, Naoyuki Nide, Ken Satoh, Hiroshi Hosobe:
Autonomous Control of Mobile Robots Using Logical Representation of Map and Inference of Location. ICA 2016: 78-81 - [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