Publication

Found 4 results
Filters: Author is Tojo, Satoshi  [Clear All Filters]
2016
Nomura S, Sano K, Tojo S.  2016.  Revising a Labelled Sequent Calculus for Public Announcement Logic. Structural Analysis of Non-Classical Logics: The Proceedings of the Second Taiwan Philosophical Logic Colloquium. :131–157.
2015
Jirakunkanok P, Sano K, Tojo S.  2015.  Analyzing Reliability Change in Legal Case. New Frontiers in Artificial Intelligence: JSAI-isAI 2014 Workshops, LENLS, JURISIN, and GABA, Kanagawa, Japan, October 27-28, 2014, Revised Selected Papers. :274–290.
Goto T, Tojo S.  2015.  Classification of Precedents by Modeling Tool for Action and Epistemic State: DEMO. New Frontiers in Artificial Intelligence: JSAI-isAI 2014 Workshops, LENLS, JURISIN, and GABA, Kanagawa, Japan, October 27-28, 2014, Revised Selected Papers. :227–243.
Nomura S, Sano K, Tojo S.  2015.  A Labelled Sequent Calculus for Intuitionistic Public Announcement Logic. Logic for Programming, Artificial Intelligence, and Reasoning: 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings. :187–202.