- Tytuł:
- A Multiple-Clause Folding Rule Using Instantiation and Generalization
- Autorzy:
- Rosenblueth, D.A.
- Data publikacji:
- 2006
- Słowa kluczowe:
-
logic program transformation
folding rule
most specific generalization
semantic kernel
decompilation
inductive logic programming - Pokaż więcej
- Dostawca treści:
- BazTech
Artykuł