Many problems in program analysis can be expressed naturally and concisely in a
declarative language like Datalog. This makes it easy to specify new analyses or extend or …

The paradigm of Tabled Logic Programming (TLP) is now supported by a number of Prolog
systems, including XSB, YAP Prolog, B-Prolog, Mercury, ALS, and Ciao. The reasons for this …

We review a logic-based modeling language PRISM and report recent developments
including belief propagation by the generalized inside-outside algorithm and generative …

This thesis shows that whole-program context-sensitive inclusion-based pointer analysis, a
previously intractable problem, can be efficiently solved using binary decision diagrams. In …

Recently there has been a growing interest in research in tabling in the logic programming
community because of its usefulness in a variety of application domains including program …

We give a brief overview of a logic-based symbolic modeling language PRISM which
provides a unified approach to generative probabilistic models including Bayesian networks …

Trust management is an approach to access control in distributed systems where access
decisions are based on policy statements issued by multiple principals and stored in a …

Processes in computer simulations tend to be highly repetitive. In particular, parameter
studies further exasperate the situation as the same model is repeatedly executed with only …

We propose a logic-based approach to variational Bayes (VB) via propositionalized
probability computation in a symbolic-statistical modeling language PRISM. PRISM …

Hypothetical Datalog is based on an intuitionistic semantics rather than a classical logic
semantics, and allows embedded implications in rule bodies. While the usual implication (ie …