- Tytuł:
- The CHR-based Implementation of the SCIFF Abductive System
- Autorzy:
-
Alberti, M.
Gavanelli, M.
Lamma, E. - Data publikacji:
- 2013
- Słowa kluczowe:
-
logic programming
prediction models
mathematical proofs
default logic
semantics
verification logic - Pokaż więcej
- Dostawca treści:
- BazTech
Artykuł