Satoshi Tojo

According to our database, Satoshi Tojo authored at least 142 papers between 1984 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

8+8=4: Formalizing Time Units to Handle Symbolic Music Durations.

Emmanouil Karystinaios, Francesco Foscarin, Florent Jacquemard, Masahiko Sakai, Satoshi Tojo, Gerhard Widmer

CoRR, 2023

Encoded Summarization: Summarizing Documents into Continuous Vector Space for Legal Case Retrieval.

Vu Tran, Minh Le Nguyen, Satoshi Tojo, Ken Satoh

CoRR, 2023

Logic of Awareness in Agent's Reasoning.

Yudai Kubono, Teeradaj Racharak, Satoshi Tojo

Proceedings of the 15th International Conference on Agents and Artificial Intelligence, 2023

2022

Chord Function Recognition as Latent State Transition.

Yui Uehara, Satoshi Tojo

SN Comput. Sci., 2022

On Three-Valued Modal Logics: from a Four-Valued Perspective.

Xinyu Wang, Yang Song, Satoshi Tojo

CoRR, 2022

Losing a Head in Grammar Extraction.

Masaya Taniguchi, Satoshi Tojo

Proceedings of the 14th International Conference on Knowledge and Systems Engineering, 2022

A Many-valued Semantics for Multi-agent System.

Yang Song, Satoshi Tojo

Proceedings of the 14th International Conference on Agents and Artificial Intelligence, 2022

Music, Mathematics and Language - The New Horizon of Computational Musicology Opened by Information Science

Keiji Hirata, Satoshi Tojo, Masatoshi Hamanaka

Springer, ISBN: 978-981-19-5165-7, 2022

2021

A two-valued semantics for infectious logics.

Yang Song, Hitoshi Omori, Satoshi Tojo

Proceedings of the 51st IEEE International Symposium on Multiple-Valued Logic, 2021

On the Relationship with Toulmin Method to Logic-Based Argumentation.

Teeradaj Racharak, Satoshi Tojo

Proceedings of the Agents and Artificial Intelligence - 13th International Conference, 2021

On Explanation of Propositional Logic-based Argumentation System.

Teeradaj Racharak, Satoshi Tojo

Proceedings of the 13th International Conference on Agents and Artificial Intelligence, 2021

The Simulated Emergence of Chord Function.

Yui Uehara, Satoshi Tojo

Proceedings of the Artificial Intelligence in Music, Sound, Art and Design, 2021

Time-Span Tree Leveled by Duration of Time-Span.

Masatoshi Hamanaka, Keiji Hirata, Satoshi Tojo

Proceedings of the Music in the AI Era - 15th International Symposium, 2021

2020

Encoded summarization: summarizing documents into continuous vector space for legal case retrieval.

Vu D. Tran, Minh Le Nguyen, Satoshi Tojo, Ken Satoh

Artif. Intell. Law, 2020

Progressive Training in Recurrent Neural Networks for Chord Progression Modeling.

Trung-Kien Vu, Teeradaj Racharak, Satoshi Tojo, Ha-Thanh Nguyen, Le Minh Nguyen

Proceedings of the 12th International Conference on Agents and Artificial Intelligence, 2020

Development of Agents that Create Melodies based on Estimating Gaussian Functions in the Pitch Space of Consonance.

Hidefumi Ohmura, Takuro Shibayama, Keiji Hirata, Satoshi Tojo

Proceedings of the 12th International Conference on Agents and Artificial Intelligence, 2020

Knowledge Injection to Neural Networks with Progressive Learning Strategy.

Ha-Thanh Nguyen, Trung-Kien Vu, Teeradaj Racharak, Le Minh Nguyen, Satoshi Tojo

Proceedings of the Agents and Artificial Intelligence, 12th International Conference, 2020

2019

Dynamic Epistemic Reasoning with Awareness and Its Legal Application.

Tetsuji Goto, Ryo Hatano, Satoshi Tojo

Vietnam. J. Comput. Sci., 2019

On Construction and Evaluation of Analogical Arguments for Persuasive Reasoning.

Teeradaj Racharak, Satoshi Tojo, Nguyen Duy Hung, Prachya Boonkwan

Appl. Artif. Intell., 2019

4-valued Logic for Agent Communication with Private/Public Information Passing.

Song Yang, Masaya Taniguchi, Satoshi Tojo

Proceedings of the 11th International Conference on Agents and Artificial Intelligence, 2019

Development of Agents for Creating Melodies and Investigation of Interaction between the Agents.

Hidefumi Ohmura, Takuro Shibayama, Keiji Hirata, Satoshi Tojo

Proceedings of the 11th International Conference on Agents and Artificial Intelligence, 2019

Dynamics of Narrow-Minded Belief and Its Cut-Free Sequent Calculus.

Shoshin Nomura, Norihiro Arai, Satoshi Tojo

Proceedings of the Agents and Artificial Intelligence - 11th International Conference, 2019

The Dynamics of Narrow-minded Belief.

Shoshin Nomura, Norihiro Arai, Satoshi Tojo

Proceedings of the 11th International Conference on Agents and Artificial Intelligence, 2019

Chord Function Identification with Modulation Detection Based on HMM.

Yui Uehara, Eita Nakamura, Satoshi Tojo

Proceedings of the Perception, Representations, Image, Sound, Music, 2019

Modal Logic for Tonal Music.

Satoshi Tojo

Proceedings of the Perception, Representations, Image, Sound, Music, 2019

Feasibility Study of Deep Frequency Modulation Synthesis.

Keiji Hirata, Masatoshi Hamanaka, Satoshi Tojo

Proceedings of the Perception, Representations, Image, Sound, Music, 2019

2018

Preface KSE 2016.

Ashwin Ittoo, Minh Le Nguyen, Satoshi Tojo

Data Knowl. Eng., 2018

Personalizing a Concept Similarity Measure in the Description Logic ELH with Preference Profile.

Teeradaj Racharak, Boontawee Suntisrivaraporn, Satoshi Tojo

Comput. Informatics, 2018

Recurrent neural network-based models for recognizing requisite and effectuation parts in legal texts.

Truong-Son Nguyen, Le-Minh Nguyen, Satoshi Tojo, Ken Satoh, Akira Shimazu

Artif. Intell. Law, 2018

Dynamic epistemic logic of belief change in legal judgments.

Pimolluck Jirakunkanok, Katsuhiko Sano, Satoshi Tojo

Artif. Intell. Law, 2018

Inherited Properties of ℱ_0 Concept Similarity Measure Under Preference Profile.

Teeradaj Racharak, Satoshi Tojo

Proceedings of the Agents and Artificial Intelligence - 10th International Conference, 2018

Concept Similarity under the Agent's Preferences for the Description Logic FL0 with Unfoldable TBox.

Teeradaj Racharak, Satoshi Tojo

Proceedings of the 10th International Conference on Agents and Artificial Intelligence, 2018

No longer 'somewhat arbitrary': calculating salience in GTTM-style reduction.

Alan Marsden, Satoshi Tojo, Keiji Hirata

Proceedings of the 5th International Conference on Digital Libraries for Musicology, 2018

2017

Teaching Modal Logic from the Linear Algebraic Viewpoint.

Ryo Hatano, Katsuhiko Sano, Satoshi Tojo

FLAP, 2017

Neural-based Natural Language Generation in Dialogue using RNN Encoder-Decoder with Semantic Aggregation.

Van-Khanh Tran, Le-Minh Nguyen, Satoshi Tojo

Proceedings of the 18th Annual SIGdial Meeting on Discourse and Dialogue, 2017

Combining Answer Set Programming with Description Logics for Analogical Reasoning Under an Agent's Preferences.

Teeradaj Racharak, Satoshi Tojo, Nguyen Duy Hung, Prachya Boonkwan

Proceedings of the Advances in Artificial Intelligence: From Theory to Practice, 2017

Analogical Reasoning in Clinical Practice with Description Logic <i>ELH</i>.

Teeradaj Racharak, Satoshi Tojo

Proceedings of the Agents and Artificial Intelligence - 9th International Conference, 2017

Tuning Agent's Profile for Similarity Measure in Description Logic ELH.

Teeradaj Racharak, Satoshi Tojo

Proceedings of the 9th International Conference on Agents and Artificial Intelligence, 2017

On Linear Algebraic Representation of Time-span and Prolongational Trees.

Satoshi Tojo, Alan Marsden, Keiji Hirata

Proceedings of the Music Technology with Swing - 13th International Symposium, 2017

deepGTTM-III: Multi-task Learning with Grouping and Metrical Structures.

Masatoshi Hamanaka, Keiji Hirata, Satoshi Tojo

Proceedings of the Music Technology with Swing - 13th International Symposium, 2017

2016

Harmonic analysis based on Tonal Pitch Space.

Shoki Sakamoto, Sean Arn, Masaki Matsubara, Satoshi Tojo

Proceedings of the 2016 Eighth International Conference on Knowledge and Systems Engineering, 2016

Reranking CCG parser for Jazz chord sequences.

Hong Xuan Ong, Le Minh Nguyen, Satoshi Tojo

Proceedings of the 2016 Eighth International Conference on Knowledge and Systems Engineering, 2016

Revisiting Cadential Retention in GTTM.

Masaki Matsubara, Takafumi Kodama, Satoshi Tojo

Proceedings of the 2016 Eighth International Conference on Knowledge and Systems Engineering, 2016

CCG analyzer with Tonal Pitch Space for non-classical chords.

Takeshi Fukunari, Sean Arn, Satoshi Tojo

Proceedings of the 2016 Eighth International Conference on Knowledge and Systems Engineering, 2016

Argument-Based Logic Programming for Analogical Reasoning.

Teeradaj Racharak, Satoshi Tojo, Nguyen Duy Hung, Prachya Boonkwan

Proceedings of the New Frontiers in Artificial Intelligence, 2016

simπ: A Concept Similarity Measure under an Agent's Preferences in Description Logic ELH.

Teeradaj Racharak, Boontawee Suntisrivaraporn, Satoshi Tojo

Proceedings of the 8th International Conference on Agents and Artificial Intelligence (ICAART 2016), 2016

Modeling Predictability of Agent in Legal Cases.

Tetsuji Goto, Katsuhiko Sano, Satoshi Tojo

Proceedings of the IEEE International Conference on Agents, 2016

deepGTTM-I&II: Local Boundary and Metrical Structure Analyzer Based on Deep Learning Technique.

Masatoshi Hamanaka, Keiji Hirata, Satoshi Tojo

Proceedings of the Bridging People and Sound - 12th International Symposium, 2016

Agent, Epistemology, and AI.

Satoshi Tojo

Proceedings of the 1st Chinese Conference on Logic and Argumentation (CLAR 2016), 2016

An Algebraic Approach to Time-Span Reduction.

Keiji Hirata, Satoshi Tojo, Masatoshi Hamanaka

Proceedings of the Computational Music Analysis, 2016

Implementing Methods for Analysing Music Based on Lerdahl and Jackendoff's <i>Generative Theory of Tonal Music</i>.

Masatoshi Hamanaka, Keiji Hirata, Satoshi Tojo

Proceedings of the Computational Music Analysis, 2016

2015

Identifying synonymy between relational phrases using word embeddings.

Nhung T. H. Nguyen, Makoto Miwa, Yoshimasa Tsuruoka, Satoshi Tojo

J. Biomed. Informatics, 2015

Wide-coverage relation extraction from MEDLINE using deep syntax.

Nhung T. H. Nguyen, Makoto Miwa, Yoshimasa Tsuruoka, Takashi Chikayama, Satoshi Tojo

BMC Bioinform., 2015

Structural Similarity Based on Time-Span Sub-Trees.

Masatoshi Hamanaka, Keiji Hirata, Satoshi Tojo

Proceedings of the Mathematics and Computation in Music - 5th International Conference, 2015

A Labelled Sequent Calculus for Intuitionistic Public Announcement Logic.

Shoshin Nomura, Katsuhiko Sano, Satoshi Tojo

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2015

Dynamic Logic for Multi-agent (Mis) Communication.

Katsuhiko Sano, Satoshi Tojo

Proceedings of the 2015 Seventh International Conference on Knowledge and Systems Engineering, 2015

Analyzing Belief Re-revision by Consideration of Reliability Change in Legal Case.

Pimolluck Jirakunkanok, Katsuhiko Sano, Satoshi Tojo

Proceedings of the 2015 Seventh International Conference on Knowledge and Systems Engineering, 2015

Identifying an Agent's Preferences Toward Similarity Measures in Description Logics.

Teeradaj Racharak, Boontawee Suntisrivaraporn, Satoshi Tojo

Proceedings of the Semantic Technology - 5th Joint International Conference, 2015

Linear Algebraic Semantics for Multi-agent Communication.

Ryo Hatano, Katsuhiko Sano, Satoshi Tojo

Proceedings of the ICAART 2015, 2015

\sigma GTTM III: Learning-Based Time-Span Tree Generator Based on PCFG.

Masatoshi Hamanaka, Keiji Hirata, Satoshi Tojo

Proceedings of the Music, Mind, and Embodiment - 11th International Symposium, 2015

2014

Agent Communication and Belief Change.

Satoshi Tojo

Proceedings of the Knowledge and Systems Engineering, 2014

Eighth International Workshop on Juris-Informatics (JURISIN 2014).

Satoshi Tojo

Proceedings of the New Frontiers in Artificial Intelligence, 2014

Analyzing Reliability Change in Legal Case.

Pimolluck Jirakunkanok, Katsuhiko Sano, Satoshi Tojo

Proceedings of the New Frontiers in Artificial Intelligence, 2014

Classification of Precedents by Modeling Tool for Action and Epistemic State: DEMO.

Tetsuji Goto, Satoshi Tojo

Proceedings of the New Frontiers in Artificial Intelligence, 2014

Musical Structural Analysis Database Based on GTTM.

Masatoshi Hamanaka, Keiji Hirata, Satoshi Tojo

Proceedings of the 15th International Society for Music Information Retrieval Conference, 2014

Distance in Pitch Sensitive Time-span Tree.

Masaki Matsubara, Keiji Hirata, Satoshi Tojo

Proceedings of the Music Technology meets Philosophy, 2014

Algebraic Mozart by Tree Synthesis.

Keiji Hirata, Satoshi Tojo, Masatoshi Hamanaka

Proceedings of the Music Technology meets Philosophy, 2014

2013

Computational Reconstruction of Cognitive Music Theory.

Satoshi Tojo, Keiji Hirata, Masatoshi Hamanaka

New Gener. Comput., 2013

Distance and Similarity of Time-span Trees.

Satoshi Tojo, Keiji Hirata

J. Inf. Process., 2013

Belief Re-Revision in Chivalry Case.

Pimolluck Jirakunkanok, Shinya Hirose, Katsuhiko Sano, Satoshi Tojo

Proceedings of the New Frontiers in Artificial Intelligence, 2013

Dynamic Epistemic Logic for Channel-Based Agent Communication.

Katsuhiko Sano, Satoshi Tojo

Proceedings of the Logic and Its Applications, 5th Indian Conference, 2013

Collective Belief Revision in Linear Algebra.

Satoshi Tojo

Proceedings of the 2013 Federated Conference on Computer Science and Information Systems, 2013

Cognitive Similarity Grounded by Tree Distance from the Analysis of K.265/300e.

Keiji Hirata, Satoshi Tojo, Masatoshi Hamanaka

Proceedings of the Sound, Music, and Motion - 10th International Symposium, 2013

Computational Music Theory and Its Applications to Expressive Performance and Composition.

Masatoshi Hamanaka, Keiji Hirata, Satoshi Tojo

Proceedings of the Guide to Computing for Expressive Music Performance, 2013

2012

An agent-based model for the emergence of creoles.

Makoto Nakamura, Shingo Hagiwara, Satoshi Tojo

Proceedings of the 34th Annual Meeting of the Cognitive Science Society, 2012

Efficiency of the Cognitive Bias in Grammar Acquisition.

Ryuichi Matoba, Makoto Nakamura, Shingo Hagiwara, Satoshi Tojo

Proceedings of the 34th Annual Meeting of the Cognitive Science Society, 2012

Structural Similarity Based on Time-Span Tree.

Satoshi Tojo, Keiji Hirata

Proceedings of the From Sounds to Music and Emotions - 9th International Symposium, 2012

2011

Efficiency of the symmetry bias in grammar acquisition.

Ryuichi Matoba, Makoto Nakamura, Satoshi Tojo

Inf. Comput., 2011

A philosophy-driven entity classification and enrichment for ontology mapping.

Nwe Ni Tun, Jin Song Dong, Satoshi Tojo

Expert Syst. J. Knowl. Eng., 2011

Melodic Morphing Algorithm in Formalism.

Keiji Hirata, Satoshi Tojo, Masatoshi Hamanaka

Proceedings of the Mathematics and Computation in Music - Third International Conference, 2011

An Intuitionistic Investigation of Prerequisite-Effect Structure.

Katsuhiko Sano, Shingo Hagiwara, Satoshi Tojo

Proceedings of the New Frontiers in Artificial Intelligence, 2011

2010

The Fourth International Workshop on Juris-Informatics.

Satoshi Tojo

Proceedings of the New Frontiers in Artificial Intelligence, 2010

2009

Self-Organization of Creole Community in a Scale-Free Network.

Makoto Nakamura, Takashi Hashimoto, Satoshi Tojo

Proceedings of the Third IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2009

Prediction of Creole Emergence in Spatial Language Dynamics.

Makoto Nakamura, Takashi Hashimoto, Satoshi Tojo

Proceedings of the Language and Automata Theory and Applications, 2009

Interactive Gttm Analyzer.

Masatoshi Hamanaka, Satoshi Tojo

Proceedings of the 10th International Society for Music Information Retrieval Conference, 2009

Use of Decision Tree to Detect GTTM Group Boundaries.

Yuji Miura, Masatoshi Hamanaka, Keiji Hirata, Satoshi Tojo

Proceedings of the 2009 International Computer Music Conference, 2009

Melody Extrapolation in GTTM Approach.

Masatoshi Hamanaka, Keiji Hirata, Satoshi Tojo

Proceedings of the 2009 International Computer Music Conference, 2009

Guided Ejection Search for the Job Shop Scheduling Problem.

Yuichi Nagata, Satoshi Tojo

Proceedings of the Evolutionary Computation in Combinatorial Optimization, 2009

2008

An Implementation of Goal-Oriented Fashion Recommendation System.

Mikito Kobayashi, Fumiaki Minami, Takayuki Ito, Satoshi Tojo

Proceedings of the New Challenges in Applied Intelligence Technologies, 2008

EnOntoModel: A Semantically-Enriched Model for Ontologies.

Nwe Ni Tun, Satoshi Tojo

Int. J. Intell. Inf. Technol., 2008

Self-Organization of Creole Community in Spatial Language Dynamics.

Makoto Nakamura, Takashi Hashimoto, Satoshi Tojo

Proceedings of the Second IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2008

Overview of JURISIN 2008.

Katsumi Nitta, Ken Satoh, Satoshi Tojo

Proceedings of the New Frontiers in Artificial Intelligence, 2008

Melody Expectation Method Based on GTTM and TPS.

Masatoshi Hamanaka, Keiji Hirata, Satoshi Tojo

Proceedings of the ISMIR 2008, 2008

Melody Morphing Method Based on GTTM.

Masatoshi Hamanaka, Keiji Hirata, Satoshi Tojo

Proceedings of the 2008 International Computer Music Conference, 2008

Iterated Belief Revision in the Face of Uncertain Communication.

Yoshitaka Suzuki, Satoshi Tojo, Stijn De Saeger

Proceedings of the Declarative Agent Languages and Technologies VI, 2008

2007

How has belief modality contributed to formal semantics?

Satoshi Tojo

Proceedings of the 21st Pacific Asia Conference on Language, Information and Computation, 2007

First International Workshop on Juris-Informatics.

Katsumi Nitta, Ken Satoh, Satoshi Tojo

Proceedings of the New Frontiers in Artificial Intelligence, 2007

ATTA: Implementing GTTM on a Computer.

Masatoshi Hamanaka, Keiji Hirata, Satoshi Tojo

Proceedings of the 8th International Conference on Music Information Retrieval, 2007

Fatta: Full Automatic Time-Span Tree Analyzer.

Masatoshi Hamanaka, Keiji Hirata, Satoshi Tojo

Proceedings of the 2007 International Computer Music Conference, 2007

2006

Semantic Enrichment in Ontologies for Matching.

Nwe Ni Tun, Satoshi Tojo

Int. J. Semantic Web Inf. Syst., 2006

Identity Conditions for Ontological Analysis.

Nwe Ni Tun, Satoshi Tojo

Proceedings of the Knowledge Science, 2006

Disjunction of Causes and Disjunctive Cause: a Solution to the Paradox of Conditio Sine Qua Non using Minimal Abduction.

Ken Satoh, Satoshi Tojo

Proceedings of the Legal Knowledge and Information Systems, 2006

Discordance Detection in Regional Ordinance: Ontology-based Validation.

Shingo Hagiwara, Satoshi Tojo

Proceedings of the Legal Knowledge and Information Systems, 2006

Lattice for Musical Structure and Its Arithmetics.

Keiji Hirata, Satoshi Tojo

Proceedings of the New Frontiers in Artificial Intelligence, 2006

Utility for Communicability by Profit and Cost of Agreement.

Ryuichi Matoba, Makoto Nakamura, Satoshi Tojo

Proceedings of the Symbol Grounding and Beyond, 2006

Belief Updating by Communication Channel.

Shingo Hagiwara, Mikito Kobayashi, Satoshi Tojo

Proceedings of the Computational Logic in Multi-Agent Systems, 7th International Workshop, 2006

State Updating of Channel Communication System CBCTL.

Suguru Yoshioka, Mikito Kobayashi, Satoshi Tojo

Proceedings of the IASTED International Conference on Artificial Intelligence and Applications, 2006

Analysis of Chord Progression by HPSG.

Satoshi Tojo, Yoshinori Oka, Masafumi Nishida

Proceedings of the IASTED International Conference on Artificial Intelligence and Applications, 2006

Stable Legal Knowledge with Regard to Contradictory Arguments.

Shingo Hagiwara, Satoshi Tojo

Proceedings of the IASTED International Conference on Artificial Intelligence and Applications, 2006

2005

C B_CTL: A Reasoning System of Temporal Epistemic Logic with Communication Channel.

Suguru Yoshioka, Satoshi Tojo

Proceedings of the Third World Enformatika Conference, 2005

Many-dimensional Modal Logic of Tense and Temporal Interval and its Decidability.

Suguru Yoshioka, Satoshi Tojo

Proceedings of the Third World Enformatika Conference, 2005

Analysis of The Elements by HPSG.

Satoshi Tojo, Ken Saito

Proceedings of the 19st Pacific Asia Conference on Language, Information and Computation, 2005

Overview of Awarded Papers: The 19th Annual Conference of JSAI.

Satoshi Tojo

Proceedings of the New Frontiers in Artificial Intelligence, 2005

ATTA: Automatic Time-Span Tree Analyzer Based on Extended GTTM.

Masatoshi Hamanaka, Keiji Hirata, Satoshi Tojo

Proceedings of the ISMIR 2005, 2005

Automatic Generation of Metrical Structure Based on GTTM.

Masatoshi Hamanaka, Keiji Hirata, Satoshi Tojo

Proceedings of the 2005 International Computer Music Conference, 2005

Additive Consolidation for Dialogue Game.

Yoshitaka Suzuki, Satoshi Tojo

Proceedings of the Tenth International Conference on Artificial Intelligence and Law, 2005

2004

Emergence and Evolution of Linguistic Communication.

Satoshi Tojo

Proceedings of the New Frontiers in Artificial Intelligence - JSAI 2003 and JSAI 2004 Conferences and Workshops, Niigata, Japan, June 23-27, 2003 and Kanazawa, Japan, May 31, 2004

Exposure Dependent Creolization in Language Dynamics Equation.

Makoto Nakamura, Takashi Hashimoto, Satoshi Tojo

Proceedings of the New Frontiers in Artificial Intelligence - JSAI 2003 and JSAI 2004 Conferences and Workshops, Niigata, Japan, June 23-27, 2003 and Kanazawa, Japan, May 31, 2004

Consistency Maintenance in Ontological Knowledge Updating.

Nwe Ni Tun, Satoshi Tojo

Proceedings of the 2004 IEEE International Conference on Information Reuse and Integration, 2004

Consistent Hybrid Knowledge Representation in Order-Sorted Logic.

Nwe Ni Tun, Satoshi Tojo

Proceedings of the International Conference on Computational Intelligence, 2004

Automatic Generation of Grouping Structure based on the GTTM.

Masatoshi Hamanaka, Keiji Hirata, Satoshi Tojo

Proceedings of the 2004 International Computer Music Conference, 2004

Inheritance of Multiple Identity Conditions in Order-Sorted Logic.

Nwe Ni Tun, Satoshi Tojo

Proceedings of the AI 2004: Advances in Artificial Intelligence, 2004

2003

Fusion of Pedigreed Preferential Relations.

Yoshitaka Suzuki, Satoshi Tojo

Proceedings of the 10th Workshop on Logic, Language, Information and Computation, 2003

Occurrence Logic with Temporal Heredity.

Suguru Yoshioka, Ken Kaneiwa, Satoshi Tojo

Proceedings of the 1st Indian International Conference on Artificial Intelligence, 2003

Artificial Market with Intervention Agent.

Hiroki Matsui, Satoshi Tojo

Proceedings of the 1st Indian International Conference on Artificial Intelligence, 2003

The Language Dynamics Equations of Population-Based Transition - A Scenario for Creolization.

Makoto Nakamura, Takashi Hashimoto, Satoshi Tojo

Proceedings of the International Conference on Artificial Intelligence, 2003

2002

The Emergence of Artificial Creole by the EM Algorithm.

Makoto Nakamura, Satoshi Tojo

Proceedings of the Discovery Science, 5th International Conference, 2002

2001

An Order-Sorted Resolution with Implicitly Negative Sorts.

Ken Kaneiwa, Satoshi Tojo

Proceedings of the Logic Programming, 17th International Conference, 2001

1999

Event, State, And Process In Arrow Logic.

Satoshi Tojo

Minds Mach., 1999

Event, Property, and Hierarchy in Order-Sorted Logic.

Ken Kaneiwa, Satoshi Tojo

Proceedings of the Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29, 1999

1997

Imperfect Information Flow of Agents Communication in Arrow Logic.

Yoshihiko Murakawa, Satoshi Tojo, Susumu Kunifuji

J. Univers. Comput. Sci., 1997

Similarity of Legal Cases: From Temporal Relations of Affairs.

Satoshi Tojo, Katsumi Nitta

Artif. Intell. Law, 1997

1996

A Deductive Object-Oriented Database System for Situated Inference in Law.

Stephen T. C. Wong, Satoshi Tojo

IEEE Trans. Knowl. Data Eng., 1996

1995

New HELIC-II: A Software Tool for Legal Eeasoning.

Katsumi Nitta, Masato Shibasaki, Tsuyoshi Sakata, Takahiro Yamaji, Wang Xianchang, Hiroshi Ohsaki, Satoshi Tojo, Iwao Kokubo, T. Anu Suzuki

Proceedings of the Fifth International Conference on Artificial Intelligence and Law, 1995

1994

Query Processing for Partial Information Databases in QUIXOTE.

Kazumasa Yokota, Hiroshi Tsuda, Toshihiro Nishioka, Satoshi Tojo

Proceedings of the Sixth International Conference on Tools with Artificial Intelligence, 1994

Automatic Generation of Temporal Relations in a Legal Case.

Satoshi Tojo, Katsumi Nitta

Proceedings of the ICLP 1994 Workshop W12: Legal Application of Logic Programming, 1994

Knowledge Representation of New HELIC II.

Katsumi Nitta, Masato Shibasaki, Tsuyoshi Sakata, Takahiro Yamaji, Hiroshi Ohsaki, Satoshi Tojo, Iwao Kokubo, T. Anu Suzuki

Proceedings of the ICLP 1994 Workshop W12: Legal Application of Logic Programming, 1994

Free-ordered CUG on Chemical Abstract Machine.

Satoshi Tojo

Proceedings of the 15th International Conference on Computational Linguistics, 1994

1993

QUIXOTE as a Tool for Natural Language Processing.

Satoshi Tojo, Hiroshi Tsuda, Hideki Yasukawa, Kazumasa Yokota, Yukihiro Morita

Proceedings of the Fifth International Conference on Tools with Artificial Intelligence, 1993

1992

Situated Inference of Temporal Information.

Satoshi Tojo, Hideki Yasukawa

Proceedings of the International Conference on Fifth Generation Computer Systems. FGCS 1992, 1992

1990

A Type-theoretical Analysis of Complex Verb Generation.

Satoshi Tojo

Proceedings of the 13th International Conference on Computational Linguistics, 1990

1984

Dialogue management in the personal sequential inference machine (PSI).

Junichiro Tsuji, Yutaka Iima, Satoshi Tojo, Shoji Enomoto

Proceedings of the 1984 ACM Annual Conference on Computer Science: The fifth generation challenge, 1984