|
| This Article | ||
| ||
| Share | ||
| Bibliographic References | ||
| Add to: | ||
 Digg  Furl  Spurl  Blink  Simpy  Google  Del.icio.us  Y!MyWeb | ||
| Search | ||
| ||
| ASCII Text | x | ||
| Stephen Wong, Satoshi Tojo, "A Deductive Object-Oriented Database System for Situated Inference in Law," IEEE Transactions on Knowledge and Data Engineering, vol. 8, no. 3, pp. 496-503, June, 1996. | |||
| BibTex | x | ||
| @article{ 10.1109/69.506715, author = {Stephen Wong and Satoshi Tojo}, title = {A Deductive Object-Oriented Database System for Situated Inference in Law}, journal ={IEEE Transactions on Knowledge and Data Engineering}, volume = {8}, number = {3}, issn = {1041-4347}, year = {1996}, pages = {496-503}, doi = {http://doi.ieeecomputersociety.org/10.1109/69.506715}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, } | |||
| RefWorks Procite/RefMan/Endnote | x | ||
| TY - JOUR JO - IEEE Transactions on Knowledge and Data Engineering TI - A Deductive Object-Oriented Database System for Situated Inference in Law IS - 3 SN - 1041-4347 SP496 EP503 EPD - 496-503 A1 - Stephen Wong, A1 - Satoshi Tojo, PY - 1996 KW - Deductive object-oriented databases KW - AI and law KW - knowledge base management systems KW - situation theory. VL - 8 JA - IEEE Transactions on Knowledge and Data Engineering ER - | |||
Abstract—Deductive Object-Oriented Databases and Situation Theory are two important areas of research in the fields of database and of linguistics.
[1] K. Ashley, Modeling Legal Argument.Cambridge, Mass.: MIT Press, 1990.
[2] J. Barwise and J. Perry, Situations and Attitudes.Cambridge, Mass.: MIT Press, 1983.
[3] J. Barwise, The Situation in Logic, CSLI Lecture Notes 17, CSLI, Stanford Univ., 1988.
[4] S. Ceri, G. Gottlob, and L. Tanca, "Logic Programming and Databases," Surveys in Computer Science. Springer-Verlag, 1990.
[5] T. Chikayama, "Operating System PIMOS and Kernel Language KL1," Proc. Int'l Conf. Fifth Generation Computer Systems, ICOT, pp. 73-88,Tokyo, June 1992.
[6] K. Devlin, Logic and Information I, Cambridge Univ. Press, 1991.
[7] A.v.d.L. Gardner, An Artificial Intelligence Approach to Legal Reasoning.Cambridge, Mass.: MIT Press, 1987.
[8] J. Jaffer and J.-L. Lassez, "Constraint Logic Programming," Proc. Fourth IEEE Symp. Logic Programming, 1987.
[9] H. Kamp, "A Theory of Truth and Semantic Representation," Methods in the Study of Language Representation J. Groenendijk, T. Jansson, and M. Stockhof, eds. Amsterdam: Math Carter, 1981.
[10] M. Kifer and G. Lausen, “F-Logic: A Higher-Order Language for Reasoning About Objects, Inheritance, and Scheme,” Proc. ACM SIGMOD Conf., 1989.
[11] K. Nitta, Y. Ohtake, S. Maeda et al., "HELIC-II: A Legal Reasoning System on the Parallel Inference Machine," Proc. Int'l Conf. FGCS, ICOT, pp. 1,115-1,124,Tokyo, June 1992.
[12] K. Nitta, S. Wong, and Y. Ohtake, "A Computational Model for Trial Reasoning," Proc. Fourth Int'l Conf. AI and Law,Amsterdam, June 1993.
[13] Special issue: AI and Legal Reasoning, Part 1, 2, E.L. Rissland, ed., Int'l J. Man-Machine Studies, vol. 34, no. 6, June 1991.
[14] M. Sergot, "The Representation of Law in Computer Programs: A Survey and Comparison," Knowledge Based Systems and Legal Applications, T.J.M. Bench-Capon, ed., pp. 3-68. Academic Press, 1991.
[15] K. Taki, "Parallel Inference Machine PIM," Proc. Int'l Conf. FGCS, ICOT, pp. 50-72,Tokyo, June 1992.
[16] S. Wong, "A Situation-Theoretic Model for Trial Reasoning," Proc. Sixth Int'l Symp. Legal Knowledge and Legal Reasoning Systems, pp. 32-54,Tokyo, Oct. 1992.
[17] H. Yasukawa and K. Yokota, "Labeled Graphs as Semantics of Objects," Proc. SIGDBS and SIGAI of Information Processing Society of Japan, Oct. 1990.
[18] K. Yokota, H. Tsuda, Y. Morita, S. Tojo, and H. Yasukawa, "Specific Features of a Deductive Object-Oriented Database Language${\cal QUIX}\!O\!{\cal TE}$," Proc. Workshop Combining Declarative and Object-Oriented Databases, ACM SIGMOD, Washington, D.C., May29, 1993.