Wszystkie pola: automatyczne wnioskowanie

Skocz do pozycji: 1.

Tytuł:: Logical Methods in Computer Science
Współwytwórcy:: Scott, Dana S.
Data publikacji:: 2005-
Wydawca:: International Federation of Computational Logic
Słowa kluczowe:: automatyczne dowodzenie twierdzeń
teoria informatyki
logika w informatyce
sztuczna inteligencja
programowanie logiczne
automatyczne wnioskowanie; Pokaż więcej
Dostawca treści:: Jagiellońska Biblioteka Cyfrowa

Inne

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Wspomaganie decyzji systemy eksperckie : materiały konferencji , analiza decyzyjna, systemy eksperckie, zastosowania systemów komputerowych * Metody reprezentacji i poszukiwania wiedzy * Automatyczne wnioskowanie w oparciu o prologową technologię dowodzenia twierdzeń
Książka = Book ; KS/1/1995/R04P05
Autorzy:: Meissner, A.
Data publikacji:: 1995
Wydawca:: Instytut Badań Systemowych. Polska Akademia Nauk
Systems Research Institute. Polish Academy of Sciences
Dostawca treści:: RCIN - Repozytorium Cyfrowe Instytutów Naukowych

Książka

Szczegóły

Skocz do pozycji: 3.

Tytuł:: System wnioskowania rozmytego dla patologii narządu ruchu
Autorzy:: Zyguła, J.
Data publikacji:: 2000
Słowa kluczowe:: conclusion-making systems
expert systems
fuzzy logic
orthopedics
pedobarography
wnioskowanie automatyczne
systemy ekspertowe
logika rozmyta
ortopedia
pedobarografia; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Automatyczne odkrywanie modeli współbieżnych z danych eksperymentalnych
Autorzy:: Pancerz, Krzysztof
Suraj, Zbigniew
Data publikacji:: 2002
Słowa kluczowe:: wnioskowanie przybliżone
modele współbieżne
dane eksperymentalne
synteza systemu informacyjnego
systemy informacyjne
approximate reasoning
Petri nets
information systems
experimental tables; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

Szczegóły

Informacja