Event date: 2011-09-28 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.
Quality validation date: 2011-05-31
25. warsztaty nt. programowania logicznego, Wiedeń, Austria
