Publication

Found 2 results
Filters: Keyword is formal logic and Author is Satoshi Tojo  [Clear All Filters]
2015
Jirakunkanok P, Sano K, Tojo S.  2015.  Analyzing Belief Re-revision by Consideration of Reliability Change in Legal Case. 2015 Seventh International Conference on Knowledge and Systems Engineering (KSE).
Sano K, Tojo S.  2015.  Dynamic Logic for Multi-agent (Mis) Communication. 2015 Seventh International Conference on Knowledge and Systems Engineering (KSE).