research
∙
10/04/2011
Well-Definedness and Efficient Inference for Probabilistic Logic Programming under the Distribution Semantics
The distribution semantics is one of the most prominent approaches for t...
share
research
∙
07/24/2011
The PITA System: Tabling and Answer Subsumption for Reasoning under Uncertainty
Many real world domains require the representation of a measure of uncer...
research
∙
05/02/2011
Splitting and Updating Hybrid Knowledge Bases (Extended Version)
Over the years, nonmonotonic rules have proven to be a very expressive a...
research
∙
03/21/2011