Towards translation of legal sentences into logical forms

, &
In Takashi Washio, Ken Satoh, Hideaki Takeda & Akihiro Inokuchi (eds.), New Frontiers in Artificial Intelligence. Springer. pp. 349--362 (2008)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,551

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Treatment of Legal Sentences Including Itemized and Referential Expressions–Towards Translation into Logical Forms.Yusuke Kimura, Makoto Nakamura & Akira Shimazu - 2009 - In Hiromitsu Hattori, Takahiro Kawamura, Tsuyoshi Ide, Makoto Yokoo & Yohei Murakami (eds.), New Frontiers in Artificial Intelligence: JSAI 2008 Conference and Workshops, Asahikawa, Japan, June 11-13, 2008, Revised Selected Papers. Springer. pp. 242--253.
Towards a logical reconstruction of CF-induction.Yoshitaka Yamamoto, Oliver Ray & Katsumi Inoue - 2008 - In Takashi Washio, Ken Satoh, Hideaki Takeda & Akihiro Inokuchi (eds.), New Frontiers in Artificial Intelligence. Springer. pp. 330--343.
Towards Coordination of Multiple Machine Translation Services.Rie Tanaka, Toru Ishida & Yohei Murakami - 2009 - In Hiromitsu Hattori, Takahiro Kawamura, Tsuyoshi Ide, Makoto Yokoo & Yohei Murakami (eds.), New Frontiers in Artificial Intelligence: JSAI 2008 Conference and Workshops, Asahikawa, Japan, June 11-13, 2008, Revised Selected Papers. Springer. pp. 73--86.
Automatic consolidation of Japanese statutes based on formalization of amendment sentences.Yasuhiro Ogawa, Shintaro Inagaki & Katsuhiko Toyama - 2008 - In Takashi Washio, Ken Satoh, Hideaki Takeda & Akihiro Inokuchi (eds.), New Frontiers in Artificial Intelligence. Springer. pp. 363--376.
Akira Nakamura. On an axiomatic system of the infinitely many-valued threshold logics. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 8 , pp. 71–76. - Akira Nakamura. On the infinitely many-valued threshold logics and von Wright's system M″. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 8 , pp. 147–164. - Akira Nakamura. A note on truth-value functions in the infinitely many-valued logics. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 8 , vol. 9 , pp. 141–144. - Akira Nakamura. On a simple axiomatic system of the infinitely many-valued logic based on ∧, →. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 8 , pp. 251–263. - Akira Nakamura. On an axiomatic system of the infinitely many-valued threshold predicate calculi. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 8 , pp. 321–239. - Akira Nakamura. Truth-value stipulations for the von Wright system M′ and the He. [REVIEW]Arto Salomaa - 1965 - Journal of Symbolic Logic 30 (3):374-375.
Akira Nakamura. A remark on the truth-value stipulation for the modal system M′. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 13 , pp. 11–14. - Akira Nakamura. On an axiomatic system of modal logic. Zeitschrift für mathematische Logik und Grundlagen der Mathematik vol. 14 , pp. 61–66. - R. A. Bull. On a paper of Akira Nakamura. Zeitschrift für mathematische Logik und Grundlagen der Mathematik vol. 15 , pp. 155–156. [REVIEW]M. K. Rennie - 1974 - Journal of Symbolic Logic 39 (2):351-351.
On a paper of akira nakamura.R. A. Bull - 1969 - Mathematical Logic Quarterly 15 (7‐12):155-156.
A multimodal type logical grammar analysis of Japanese: word order and quantifier scope.Rui Otake & Kei Yoshimoto - 2008 - In Takashi Washio, Ken Satoh, Hideaki Takeda & Akihiro Inokuchi (eds.), New Frontiers in Artificial Intelligence. Springer. pp. 135--148.
Logical Form: Its Scope and Limits.Thomas Edwin Moody - 1982 - Dissertation, University of Minnesota

Analytics

Added to PP
2014-01-29

Downloads
23 (#945,235)

6 months
5 (#1,053,842)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

No references found.

Add more references