Parole chiave di "Default Knowledge in Logic Programs with Uncertainty"
- Label
- Parole chiave di "Default Knowledge in Logic Programs with Uncertainty" (literal)
- Keywords of "Default Knowledge in Logic Programs with Uncertainty" (literal)
- Insieme di parole chiave di
- Default Knowledge in Logic Programs with Uncertainty (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Ha membro
- I.2.3:Artificial Intelligence:Deduction and Theorem Proving.Logic (Parola chiave)
- Uncertainty (Parola chiave)
- Logic programs (Parola chiave)
- Bilattices (Parola chiave)
- Fixed-point semantics (Parola chiave)
Incoming links:
- Insieme di parole chiave
- Default Knowledge in Logic Programs with Uncertainty (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Membro di
- Uncertainty (Parola chiave)
- Logic programs (Parola chiave)
- Bilattices (Parola chiave)
- Fixed-point semantics (Parola chiave)
- I.2.3:Artificial Intelligence:Deduction and Theorem Proving.Logic (Parola chiave)
