A Deductive Object-Oriented Database System for Situated Inference in Law.

@article{DBLP:journals/tkde/WongT96,
  author    = {Stephen Wong and
               Satoshi Tojo},
  title     = {A Deductive Object-Oriented Database System for Situated Inference
               in Law},
  journal   = {IEEE Trans. Knowl. Data Eng.},
  volume    = {8},
  number    = {3},
  year      = {1996},
  pages     = {496-503},
  ee        = {db/journals/tkde/WongT96.html, db/journals/tkde/WongT96.html},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Abstract

Copyright © 1996 by The Institute of Electrical and Electronic Engineers, Inc. (IEEE). Abstract used with permission.

CDROM Edition

References

[1]

...

[2]

...

[3]

...

[4]

Stefano Ceri, Georg Gottlob, Letizia Tanca: Logic Programming and Databases. Springer 1990, ISBN 3-540-51728-6
BibTeX

[5]

Takashi Chikayama: Operating System PIMOS and Kernel Language KL1. FGCS 1992: 73-88 BibTeX

[6]

...

[7]

...

[8]

Joxan Jaffar, Jean-Louis Lassez: Constraint Logic Programming. POPL 1987: 111-119 BibTeX

[9]

...

[10]

Michael Kifer, Georg Lausen: F-Logic: A Higher-Order language for Reasoning about Objects, Inheritance, and Scheme. SIGMOD Conference 1989: 134-146 BibTeX

[11]

Katsumi Nitta, Yoshihisa Ohtake, Shigeru Maeda, Masayuki Ono, Hiroshi Ohsaki, Kiyokazu Sakane: HELIC-II: A Legal Reasoning System on the Parallel Inference Machine. FGCS 1992: 1115-1124 BibTeX

[12]

Katsumi Nitta, Stephen Wong, Yoshihisa Ohtake: A Computational Model for Trial Reasoning. ICAIL 1993: 20-29 BibTeX

[13]

Edwina L. Rissland: Introduction to the Special Issue on AI and Legal Reasoning. International Journal of Man-Machine Studies 34(6): 751(1991) BibTeX

[14]

...

[15]

Kazuo Taki: Parallel Inference Machine PIM. FGCS 1992: 50-72 BibTeX

[16]

...

[17]

...

[18]

...