Skip to main content

and
  1. No Access

    Chapter and Conference Paper

    Optimizing Fixpoint Evaluation of Logic Programs with Uncertainty

    We investigate efficient techniques for bottom-up, fixpoint evaluation of logic programs and deductive databases with uncertainty over the certainty domain [0,1], often assumed to be a complete lattice ordered...

    Nematollaah Shiri, Zhi Hong Zheng in Advances in Computer Science and Engineering (2009)

  2. No Access

    Chapter and Conference Paper

    Challenges in Fixpoint Computation with Multisets

    Uncertainty management has been a challenging issue in AI and database research. Logic database programming with its declarative advantage and its top-down and bottom-up query processing techniques has been an...

    Nematollaah Shiri, Zhi Hong Zheng in Foundations of Information and Knowledge Systems (2004)