25. warsztaty nt. programowania logicznego, Wiedeń, Austria
28 Września 2011 - 28 Września 2011
Austria
W dniach 28 - 30 września 2011 r. w Wiedniu, Austria, odbędą się 25. warsztaty nt. programowania logicznego.
Programowanie deklaratywne to zaawansowany paradygmat modelowania i rozwiązywania złożonych problemów. Zainteresowanie tą metodą specyfikacyjną wzrastało w ciągu ostatnich dekad, na przykład w dziedzinie baz danych i przetwarzania języków naturalnych, modelowaniu i przetwarzaniu problemów kombinatorycznych oraz ustalaniu systemów na potrzeby Internetu.
Wydarzenie posłuży za forum ożywionej dyskusji nad istotnymi technologiami wokół programowania logicznego, rozwiązywania problemów z ograniczeniami i ściśle powiązanych paradygmatów obliczeniowych. Uczestnicy w sposób kompleksowy zajmą się wpływem programowalnych pakietów do rozwiązywania problemów logicznych w społeczności internetowej, technologiami, na których się opierają oraz najnowocześniejszymi aplikacjami w przemyśle, handlu, instytucjach publicznych i usługach społecznych. Omawiane będą następujące tematy:
- zarządzanie wiedzą, np. przeszukiwanie danych, wspomaganie procesów decyzyjnych, dedukcyjne bazy danych;
- systemy rozproszone i sieć Web, np. agenci i inżynieria współbieżna, sieć semantyczna;
- ograniczenia, np. systemy z ograniczeniami, rozwinięcia programowania z ograniczeniami (logiką);
- podstawy teoretyczne, np. dedukcyjne bazy danych, wnioskowanie niejednostajne, reprezentowanie wiedzy;
- systemy i narzędzia do zastosowań akademickich i przemysłowych;
- serwisy sieci Web oparte na wiedzy - pakiety do rozwiązywania problemów logicznych i aplikacje.Więcej informacji: http://www.kr.tuwien.ac.at/wlp11/(odnośnik otworzy się w nowym oknie)
Programowanie deklaratywne to zaawansowany paradygmat modelowania i rozwiązywania złożonych problemów. Zainteresowanie tą metodą specyfikacyjną wzrastało w ciągu ostatnich dekad, na przykład w dziedzinie baz danych i przetwarzania języków naturalnych, modelowaniu i przetwarzaniu problemów kombinatorycznych oraz ustalaniu systemów na potrzeby Internetu.
Wydarzenie posłuży za forum ożywionej dyskusji nad istotnymi technologiami wokół programowania logicznego, rozwiązywania problemów z ograniczeniami i ściśle powiązanych paradygmatów obliczeniowych. Uczestnicy w sposób kompleksowy zajmą się wpływem programowalnych pakietów do rozwiązywania problemów logicznych w społeczności internetowej, technologiami, na których się opierają oraz najnowocześniejszymi aplikacjami w przemyśle, handlu, instytucjach publicznych i usługach społecznych. Omawiane będą następujące tematy:
- zarządzanie wiedzą, np. przeszukiwanie danych, wspomaganie procesów decyzyjnych, dedukcyjne bazy danych;
- systemy rozproszone i sieć Web, np. agenci i inżynieria współbieżna, sieć semantyczna;
- ograniczenia, np. systemy z ograniczeniami, rozwinięcia programowania z ograniczeniami (logiką);
- podstawy teoretyczne, np. dedukcyjne bazy danych, wnioskowanie niejednostajne, reprezentowanie wiedzy;
- systemy i narzędzia do zastosowań akademickich i przemysłowych;
- serwisy sieci Web oparte na wiedzy - pakiety do rozwiązywania problemów logicznych i aplikacje.Więcej informacji: http://www.kr.tuwien.ac.at/wlp11/(odnośnik otworzy się w nowym oknie)