Titlebook: New Frontiers in Artificial Intelligence; JSAI-isAI 2011 Works Manabu Okumura,Daisuke Bekki,Ken Satoh Conference proceedings 2012 Springer-

Ordnance

admission

cartilage

WUENIC – A Case Study in Rule-Based Knowledge Representation and Reasoningon coverage. It possesses many of the characteristics of rule-based legislation, facilitating decisions that are consistent, transparent and replicable. In this paper, we focus on knowledge representation and problem-solving issues, including the use of logical rules versus production rules, backwar

配偶

Myelin

Recall-Oriented Evaluation Metrics for Consistent Translation of Japanese Legal Sentencescy is crucial in legal translation, a new metric called CIEL has been proposed that evaluates translation consistency. That metric is based on precision with a recall strategy. However, since we believe that recall-oriented metrics are more suitable for consistent evaluation, we propose recall-orien

珠寶

Wordlist

An Intuitionistic Investigation of Prerequisite-Effect Structure structure in legal documents and an application-instance of the written structure to a particular case, and formalize the latter as .. Second, we specify its semantics as ‘immediately after’ on intuitionistic Kripke model. Third, we establish semantic properties of . including the undefinability of

Antarctic

An A* Algorithm for Computing Edit Distance between Rooted Labeled Unordered Treesde the constant factor lower bounds on the edit distance. Then, by using the lower bounding functions as a heuristic function, we design the A* algorithm as the best-first search for the .. Finally, we give experimental results for the A* algorithm.

NOMAD

AIL