Now showing items 1-4 of 4

    • A Logical Approach to Qualitative and Quantitative Reasoning 

      Saad Emad (Springer, 2007)
      Reasoning with qualitative and quantitative uncertainty is required in some real-world applications [6]. However, current extensions to logic programming with uncertainty support representing and reasoning with either ...
    • Logics in Artificial Intelligence 

      Steffen Hölldobler; Carsten Lutz; Heinrich Wansing; J.G. Carbonell; J. Siekmann (Springer, 2006)
      Situated at the intersection of machine learning and logic programming, inductive logic programming (ILP) has been concerned with finding patterns expressed as logic programs. While ILP initially focussed on automated program ...
    • Non-monotonic Negation in Hybrid Probabilistic Logic Programs 

      Saad Emad; Pontelli Enrico (2006)
      In [23], a new Hybrid Probabilistic Logic Programs framework has been proposed, and a new semantics has been developed to enable encoding and reasoning about real-world applications. In this paper, the language of Hybrid ...
    • Towards the Computation of Stable Probabilistic Model Semantics 

      Saad Emad (Springer, 2007)
      In [22], a stable model semantics extension of the language of hybrid probabilistic logic programs [21] with non-monotonic negation, normal hybrid probabilistic programs (NHPP), has been developed by introducing the notion ...