Polski Serwis Naukowy - OnLine od 1999 roku
 RSS
Czwartek, 31 maja 2012
Petronia, Bożysława, Ernestyna, Teodor
 1891: budowa Kolei Transsyberyjskiej
1970: zagłada miasta Yungay w Peru
WHO: Dzień bez Papierosa
Nowe publikacje
Ósme międzynarodowe sympozjum nt. granic systemów kombinowanych, Saarbrücken, Niemcy
Dodano:
|18 Kwi 2011|, 2011 17:26
|
|
|
W dniach 5 - 7 października 2011 r. w Saarbrücken, Niemcy, odbędzie się ósme, międzynarodowe sympozjum nt. granic systemów kombinowanych.
W rozmaitych obszarach informatyki, takich jak logika, obliczenia, opracowywanie i weryfikacja programów, sztuczna inteligencja, reprezentowanie wiedzy i zautomatyzowane wnioskowanie, pojawia się zapotrzebowanie na wyspecjalizowane formalizmy i mechanizmy inferencyjne do zadań specjalnych. Aby nadawały się do użytku w praktyce, owe wyspecjalizowane systemy muszą zostać ze sobą połączone i zintegrowane w ramach systemów ogólnych.
Prace nad ogólnymi technikami i metodami łączenia oraz integrowania formalnie zdefiniowanych systemów specjalnych oraz nad analizą i modularyzacją złożonych systemów rozpoczęto w wielu dziedzinach. Podobnie jak w poprzednich edycjach, wydarzenie położy nacisk na te właśnie zagadnienia i działania badawcze oraz będzie propagować postęp w tej dziedzinie. Poruszone zostaną takie tematy jak:
- połączenia logiki, takie jak kombinacje logiki predykatów, czasowej, modalnej czy epistemicznej;
- kombinacje i modularność w ontologiach;
- kombinacja procedur decyzyjnych, procedur spełnialności i technik rozwiązywania ograniczeń;
- kombinacje i modularność w podstawiania terminów;
- integracja teorii równań i innych teorii w systemach dedukcyjnych;
- kombinacja systemów dedukcyjnych z algebrą komputerową;
- integracja struktur danych z programowaniem i dedukcją logiki ograniczeń;
- metody hybrydowe propagacji dedukcji, rezolucji i ograniczeń;
- systemy hybrydowe w reprezentowaniu wiedzy i semantyka języka naturalnego;
- logika kombinowana w systemach rozproszonych i wieloagentowych;
- aspekty logiczne kombinowania oraz modularyzacji programów i specyfikacji.
Za: CORDIS
Czy wiesz że...?
wersja BETA
Spotkanie katolickich rodzin z całego świata z papieżem. Inicjatorem tych spotkań był papież Jan Paweł II. Odbywają się co trzy lata, a każde jest poprzedzone międzynarodowym sympozjum teologiczno-duszpasterskim. Głównym celem zwoływania przez papieża ŚSR jest prowadzenie dialogu, ukazywanie roli rodziny w ewangelizacji i umocnienie tożsamości rodziny.
pełny tekst
Spotkanie katolickich rodzin z całego świata z papieżem. Inicjatorem tych spotkań był papież Jan Paweł II. Odbywają się co trzy lata, a każde jest poprzedzone międzynarodowym sympozjum teologiczno-duszpasterskim. Głównym celem zwoływania przez papieża ŚSR jest prowadzenie dialogu, ukazywanie roli rodziny w ewangelizacji i umocnienie tożsamości rodziny.
pełny tekst
Giorgi Kinkladze (urodzony 6 lipca 1973 w Tbilisi) były gruziński piłkarz, grał na pozycji pomocnika. Już w wieku 6 lat grał w młodzieżowych drużynach Dinama. Jego pierwszym klubem seniorskim był Mretebi Tbilisi, gdzie grał przez dwa lata i przeniósł się do znacznie silniejszego Dinama Tiblisi. W 1993 roku był wypożyczony do FC Saarbrucken, zaś rok później do Boca Juniors Buenos Aires. W 1995 roku podpisał kontrakt z Manchesterm City, gdzie był wielką gwiazdą. Jego piękne zagrania i bramki uczyniły, że Kinkladze w kolejnych sezonach został piłkarzem roku.
pełny tekst
Moduł "Czy wiesz że...?" (wersja testowa, beta): definicje/pojęcia wygenerowane w obrębie tego modułu pochodzą z Wikipedii i udostępniane są na licencji Creative Commons: uznanie autorstwa, na tych samych warunkach, z możliwością obowiązywania dodatkowych ograniczeń.
Dostęp do pełnej wersji każdego hasła (oraz dokładnch informacji na temat licencji, autora oraz edycji) możliwy jest po kliknięciu w odnośnik opisany jako "pełny tekst".
|
|
|
^ |
|
 |
|
Komentarze: brak |
|
Powered by
phpBB © 2000, 2002, 2005, 2007 phpBB Group
|
Do druku