你即將離開本站

並前往https://search.proquest.com/openview/9dc80a2c6109f90e5e73b18b11dd5249/1?pq-origsite=gscholar&cbl=43613

CHR(PRISM)-based probabilistic logic learning - ProQuest

... notion of ambiguous programs and define a distribution semantics for unambiguous programs. Next, we describe an implementation of , based on CHR(PRISM).

確定！ 回上一頁

查詢 「prism semantics」的人也找了：

  1. prism variables
    2.
  2. prism model checker
    3.
  3. prism gui
    4.
  4. prism language
    5.
  5. prism mdp
    6.
  6. prism model checker tutorial
    7.
  7. ctmc prism
    8.
  8. prism user manual
    9.