Denver, Colorado, May 29-31, 1991 James Clifford, Association for Computing Machinery. ... Since the given DATALOG-program for dr has a fixpoint semantics, we can realize this inference mechanism by a ... Example (Burglary) The set of axioms given earlier translates into br = {({a#39;alarma#39;}, {a#39;earthquakea#39;}, 0.06, 0.06), anbsp;...

Title | : | Proceedings of the 1991 ACM SIGMOD International Conference on Management of Data |

Author | : | James Clifford, Association for Computing Machinery. Special Interest Group on Management of Data |

Publisher | : | Assn for Computing Machinery - 1991-07 |

Continue