Mohamed A. Nadeem

Plausibility Reasoning via Projected Answer Set Counting - A Hybrid Approach

Answer set programming is a form of declarative programming widely used to solve difficult search problems. Probabilistic applications however require to go beyond simple search for one solution and need counting. One such application is plausibility reasoning, which provides more fine-grained reaso…