Zastosowanie metody logiczno-algebraicznej i technik programowania z ograniczeniami do badania poprawności bazy wiedzy / Grzegorz Bocewicz.
Rodzaj materiału:
ArtykułPraca zawiera: - Krajowa Konferencja Studentów i Młodych Pracowników Nauki (3 ; 2006 ; Koszalin, Polska)
| Typ dokumentu | Obecna biblioteka | Sygnatura | Status | Termin zwrotu | Kod kreskowy | |
|---|---|---|---|---|---|---|
Artykuł
|
Bibliografia Prac Pracowników - BPK | 81221 (Przeglądaj półkę(Otwórz poniżej)) | Nie można wypożyczyć |
Zakończ przeglądanie półki (Zakończ przeglądanie półki)
Dane z autopsji.
W pracy przedstawiono metody weryfikacji bazy wiedzy pod kątem sprzeczności, nadmiarowości i spójności wykorzystujące techniki programowania z ograniczeniami i metodę logiczno-algebraiczną.