Parole chiave di "A top-down query answering procedure for normal logic programs under the any-world assumption"
- Label
- Parole chiave di "A top-down query answering procedure for normal logic programs under the any-world assumption" (literal)
- Keywords of "A top-down query answering procedure for normal logic programs under the any-world assumption" (literal)
- Insieme di parole chiave di
- A top-down query answering procedure for normal logic programs under the any-world assumption (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Ha membro
- AWA (Parola chiave)
- Logic Programming (Parola chiave)
- I.2.4 Knowledge Representation Formalisms and Methods (Parola chiave)
Incoming links:
- Insieme di parole chiave
- A top-down query answering procedure for normal logic programs under the any-world assumption (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Membro di
- I.2.4 Knowledge Representation Formalisms and Methods (Parola chiave)
- Logic Programming (Parola chiave)
- AWA (Parola chiave)
