|
Accession number;05A0661064
|
| Title;A Study of Logical Expression of Ordinance Summery for Verifiable Judicial Systems |
| Author;
KAWAZOE KYOHEI
(Intekkuã»webuã»andoã»genomuã»infomatikusu)
YANASE YASUHIRO
(Intekkuã»webuã»andoã»genomuã»infomatikusu)
HORI MASAKAZU
(Intekkuã»webuã»andoã»genomuã»infomatikusu)
|
Journal Title;Proceedings of the Annual Conference on JSAI (CD-ROM)
|
Journal Code:X0580B
|
ISSN:
|
|
VOL.19th;NO.;PAGE.1C3-04(2005)
|
| Figure&Table&Reference;FIG.1, TBL.1, REF.6 |
| Pub. Country;Japan |
| Language;Japanese |
| Abstract;In logical expression of ordinance summary for verifiable judicial systems, there are a lot of one that logical structure may be greatly different from original ordinances because of understanding and interpretation of original text. We discuss about the above issues in this paper, when regional regulation that is actually enforced is formulated to symbolic logic by the theory of the low text comprehension. (author abst.) |
|
|
|
Related Articles;
|
