5 found
Sort by:
  1. Katsuhiko Sano & Satoshi Tojo (2013). Dynamic Epistemic Logic for Channel-Based Agent Communication. In. In Kamal Lodaya (ed.), Logic and its Applications. Springer. 109--120.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  2. Katsumi Nitta, Ken Satoh & Satoshi Tojo (2009). Overview of JURISIN 2008. In. In Hattori (ed.), New Frontiers in Artificial Intelligence. Springer. 211--212.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  3. Katsumi Nitta, Ken Satoh & Satoshi Tojo (2008). First International Workshop on Juris-Informatics. In. In Satoh (ed.), New Frontiers in Artificial Intelligence. Springer. 347--348.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  4. Satoshi Tojo (1999). Event, State, and Process in Arrow Logic. Minds and Machines 9 (1):81-103.
    Artificial agents, which are embedded in a virtual world, need to interpret a sequence of commands given to them adequately, considering the temporal structure for each command. In this paper, we start with the semantics of natural language and classify the temporal structures of various eventualities into such aspectual classes as action, process, and event. In order to formalize these temporal structures, we adopt Arrow Logic. This logic specifies the domain for the valuation of a sentence as an arrow. We (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  5. Satoshi Tojo & Katsumi Nitta (1997). Similarity of Legal Cases: From Temporal Relations of Affairs. [REVIEW] Artificial Intelligence and Law 5 (1-2):161-176.
    Case-based reasoning has played an important role in legal reasoning systems. As one criteria for similarity of cases, temporal relationsamong affairs in legal cases should be compared. Thus far in many legalreasoning systems, cases have been described as sequences of pointwiseevents, or at best, simple time intervals, and they have been related bypredicates such as before, after, while,and so on. However, such relations may depend on each implementer'spersonal view, and also require much labor to write down by hand. In this (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation