Qualitative and Probabilistic Uncertainty in Reasoning about Actions with Sensing
<p>We present the description logic <em>PN-ALCK_NF^alpha</em> for reasoning about actions with sensing under qualitative and probabilistic uncertainty, which is an extension of the description logic <em>ALCK_NF^alpha</em> by actions with nondeterministic and probabilist...
| Main Authors: | , , , |
|---|---|
| Format: | Conference item |
| Published: |
2004
|