Previous ...

more...

Blocking mechanisms in description logics, a general approach

Dmitry Tishkovsky - 11.6.2008

We will take a close look on various standard mechanism of blocking in tableaux for various description logics and attemt to simulate these mechanisms by a general blocking rule - the unrestricted blocking rule. In particular, we will consider static and dynamic, subset and equality, and successor and anywhere blocking mechanisms.


more...

A General Tableau Method for Deciding Description Logics, Modal Logics and Related First-Order Fragments

Dmitry Tishkovsky - 11.6.2008

A general method for proving termination of tableaux-based procedures for modal-type logics and related first-order fragments will be presented. The method is based on connections between filtration arguments and a general blocking technique. The method provides a general framework for developing tableau-based decision procedures for a large class of logics. In particular, the method can be applied to many well-known description and modal logics. The class includes traditional modal logics such as S4 and modal logics with the universal modality, as well as description logics such as ALC with nominals and general TBoxes. Also contained in the class are harder and less well-studied modal logics with complex modalities and description logics with complex role operators such as Boolean modal logic, and the description logic ALBO. In addition, the techniques allow us to specify tableau-based decision procedures for related solvable fragments of first-order logic, including the two-variable fragment of first-order logic. This solves a long-standing open problem.


more...

Reasoning about actions and knowlege: Multi-agent dynamic logics with informational test

Dmitry Tishkovsky - 9.6.2008

The logics are based on a new formalisation and semantics of the test operator of propositional dynamic logic and a representation of actions which distinguishes abstract actions from concrete actions. The new test operator, called informational test, can be used to formalise the beliefs and knowledge of particular agents as dynamic modalities. This approach is consistent with the formalisation of the agents` beliefs and knowledge as K(D)45 and S5 modalities. Properties concerning informativeness, truthfulness and preservation of beliefs were proved for a derivative of the informational test operator. It was shown that common belief and common knowledge can be expressed in the considered logics. This means, the logics are more expressive than propositional dynamic logic with an extra modality for belief or knowledge. The logics remain decidable and belong to 2EXPTIME. Versions of the considered logics express natural additional properties of beliefs or knowledge and interaction of beliefs or knowledge with actions. It was shown that a simulation of PDL can be constructed in one of these extensions.


Old Messages

11.6.2008
14:00
UI 318
more...

Dmitry Tishkovsky - Blocking mechanisms in description logics, a general approach
We will take a close look on various standard mechanism of blocking in tableaux for various description logics and attemt to simulate these mechanisms by a general blocking rule - the unrestricted blocking rule. In particular, we will consider static and dynamic, subset and equality, and successor and anywhere blocking mechanisms.
11.6.2008
9:15
UI 318
more...

Dmitry Tishkovsky - A General Tableau Method for Deciding Description Logics, Modal Logics and Related First-Order Fragments
A general method for proving termination of tableaux-based procedures for modal-type logics and related first-order fragments will be presented. The method is based on connections between filtration arguments and a general blocking technique. The method provides a general framework for developing tableau-based decision procedures for a large class of logics. In particular, the method can be applied to many well-known description and modal logics. The class includes traditional modal logics such as S4 and modal logics with the universal modality, as well as description logics such as ALC with nominals and general TBoxes. Also contained in the class are harder and less well-studied modal logics with complex modalities and description logics with complex role operators such as Boolean modal logic, and the description logic ALBO. In addition, the techniques allow us to specify tableau-based decision procedures for related solvable fragments of first-order logic, including the two-variable fragment of first-order logic. This solves a long-standing open problem.
9.6.2008
14:15
UI 318
more...

Dmitry Tishkovsky - Reasoning about actions and knowlege: Multi-agent dynamic logics with informational test
The logics are based on a new formalisation and semantics of the test operator of propositional dynamic logic and a representation of actions which distinguishes abstract actions from concrete actions. The new test operator, called informational test, can be used to formalise the beliefs and knowledge of particular agents as dynamic modalities. This approach is consistent with the formalisation of the agents` beliefs and knowledge as K(D)45 and S5 modalities. Properties concerning informativeness, truthfulness and preservation of beliefs were proved for a derivative of the informational test operator. It was shown that common belief and common knowledge can be expressed in the considered logics. This means, the logics are more expressive than propositional dynamic logic with an extra modality for belief or knowledge. The logics remain decidable and belong to 2EXPTIME. Versions of the considered logics express natural additional properties of beliefs or knowledge and interaction of beliefs or knowledge with actions. It was shown that a simulation of PDL can be constructed in one of these extensions.
12.5.2008
14:00
MFF KSI S4
more...

Alex Borgida - Vision of Data Semantics: Another (and another) Look

The problem of data semantics is establishing and maintaining a correspondence between a data source (e.g., a database, an XML document) and its intended subject matter. We review the (relatively minor) role data semantics has played in Databases under the term "semantic data models", its more prominent place in ontology-based information integration, and then outline two new views:

  • Semantics as a composition of mappings between models, and
  • Attaching intentional aspects (stakeholder goals) to Information Systems.

(Joint work with John Mylopoulos and others at Univ. of Toronto)

12.5.2008
9:15
UI 318
more...

Alex Borgida - Reflections on Description Logics

For better or worse, Description Logics have become highly visible as "ontology representation languages" in the tsunami of papers on Information Integration, the Semantic Web, etc. The first part of this talk provides an (opinionated) survey of what the strenghts (and weaknesses) of Description Logics in representing and reasoning with knowledge about the natural world, including: a variable-free syntax based on "concept constructors"; expressive power intermediate between propositional and full predicate logic, often leading to decideable reasoning; support for non-standard inferences such as concept difference and matching; explanation. An example of using DLs to partially describe the semantics of an e-service will be presented.

It is widely agreed that there will be no single definitive ontology, and that small ontologies should be built by taking parts of existing ones. A more technical part of the talk will concern my research on Distributed Description Logics, and the Logic of Importing Knowledge, which address these issues in different ways.

Alexander Borgida holds a PhD degree from the University of Toronto, and is a Professor of Computer Science at Rutgers University, New Brunswick, NJ. His research generally concerns knowledge representation and its applications. He has published in a variety of areas including Artificial Intelligence (description logics, explanation), Databases (exceptions, data semantics, data mapping, data quality), and Software Engineering (requirements modeling, software specification). One unifying thread of this work is a belief in the importance of languages, which shape the way we think about a problem, and the need to be precise and logical about the semantics of such languages. Alex is co-recipient of the most influential paper award of the 1994 International Conference on Software Engineering, and is proud to have contributed to the design and implementation of the Classic language/logic, which was used at AT&T as part of a system that configured "billions of dollars" worth of equipment

5.5.2008
14:15
UI 318

A. A. Frolov - Physiological basis of the perception of fundamental properties of the world: approach of Henri Poincaré
Henri Poincaré is well known as a great mathematician and physicist, but his fundamental contribution to the physiology is much less understood and discussed. It can be explained by two reasons. First, his physiological ideas are formulated in terms of mathematics and physics, and, as a consequence, are more natural and clear for mathematicians and physicists then for professional physiologists. Second, these ideas being cross-disciplinary concern at the same time science and philosophy. However, namely philosophical ideas of Poincaré were strongly criticized at the beginning of XX century by V.I.Lenin in his book “Materialism and empiriocriticism” (1909). As a consequence, philosophical works of Poincaré translated in Russian just after their have been published in France became the rare books in the Soviet Union. Full versions of ”Science and hypothesis”, “Importance of Science”, “Science and Method”, “Last ideas” have been published in 1983 only, in the book entitled “About science” (L.S.Pontriagin ed.). This book provoked the vivid discussions of Russian mathematicians and physicists. These discussions concerned the properties of the world that form the fundamental physiological aspects of its perception:
  • the perception of the world as a continuous reality in time and space;
  • the perception of 3-dimensionality of the world.
The ideas of Poincaré concerning these fundamental aspects and their recent development in Russian physiology are discussed.
11.2.2008
14:15
UI 318

Pavel Zezula - Metrické podobnostní hledání v teorii a praxi
Metody podobnostního hledání založené na principu metrických postulátů dosáhly v posledních desíti letech nebývalého rozmachu. Hlavním důvodem je fakt, že počet datových množin objektů pouze porovnatelných na základě podobnosti roste - nárůst objemu těchto dat je exponenciální. Cílem přednášky je představit základní koncepty metrického hledání a nastínit metody škálovatelných indexových struktur, schopných zpracovaní velkých objemů dat. Možnosti této technologie budou demonstrovány pomocí systému MUFIN (Multi Feature Indexing Network) na vyhledávání v kolekci 10 milionů obrázků indexovaných pěti základními MPEG7 deskriptory barev, kontur a textury.
19.11.2007
14:15
UI 318

Stanisla Slušný - Evoluční a zpětnovazebné učení
Evolucni algoritmy jsou casto uvazovany jako nahrada tradicnych ucicich algoritmu, napriklad pro neuronove site. Jejich vyhodou je robustnost a moznost paralelizace. Dulezitou oblasti aplikace evolucnich algoritmu jsou problemy, kde nezname chybovou funkci pro uceni s ucitelem, ale dokazeme ohodnotit celkovou uspesnost reseni. Prikladem mohou byt nektere klasifikacni a ridici ulohy. Problem ilustrujeme na nekolika prikladech a porovname se zpetnovazebnim ucenim.
05.11.2007
14:15
UI 318

Leo Galamboš - Webový index a úložiště
Dynamizace fulltextoveho indexu je schopna zajistit efektivnejsi spravu indexovych struktur vyhledavacu. V tomto prispevku budou zhodnoceny nektere ze zakladnich strategii, ktere jsou vhodne pro vyhledavac rozprostreny na nekolika vypocetnich uzlech. Ukazeme, ze nektere z techto strategii napomahaji v usporach I/O operaci a vedou tak k vykonnejsimu reseni spravy indexu. Dale bude prezentovano nove budovane webove uloziste, RUDP protokol a jeho vyuziti v ramci naseho systemu pro semanticky web.
20.-26.01.2007
Harrachov

Martin Řimnáč - SOFSEM 2007 Conference Invitation

I would like to invite you to the SOFSEM 2007 conference to be held in January 20 - 26, 2007 at hotel Sklar, Harrachov. A part of the conference is also a web technologies (including the semantic web) track.

Everyone is cordially invited.

5. - 7.10.2006
 
Hotel Olympia, Šumava
(in Czech)

Július Štuller - Pozvánka na vyjezdní pracovní seminář projektu SemWeb

Dovoluji si Vás pozvat na společný výjezdní pracovní seminář projektu Programu "Informační společnost" Inteligentní modely, algoritmy, metody a nástroje pro vytváření sémantického webu, které se uskuteční ve Sporthotelu Olympia (Šumava - Stachy), v termínu: 5. - 7.10.2006.

Seminář SemWeb 2006 bude věnovaný především uplynulým 2 rokům řešení projektu.

Plánovaný program:
  • Rekapitulace a řešení projektu
    • Úvod
    • Přehled dosažených výsledků za jednotlivé instituce
    • Vystoupení vedoucích jednotlivých pracovních (pod)skupin
    • Přednášky jednotlivých členů řešitelských týmů
  • Výhled, upřesnění plánů
24.04.2006
14:15
UI 318

Stanislav Slušný - Evoluční učící algoritmy pro dopředné neuronové sítě

Spojenie evolučných algoritmov a neurónových sietí prinieslo nové metódy hľadania optimálnej konfigurácie neurónových sietí. Genetické algoritmy je možné použiť nielen ako náhradu algoritmu spätného šírenia, ale aj na riešenie zložitejších problémov - pri hľadaní optimálnej topológie a architektúry neurónových sietí.

V prednáške bude podaný prehľad a porovnanie možných prístupov, spolu s výsledkami experimentov vykonaných na dátach z lekárskeho prostredia.

21.-27.01.2006
Hotel Měřín
(in Czech)

Július Štuller - Pozvánka na konferenci SOFSEM 2006

Dovoluji si Vás pozvat na konferenci SOFSEM 2006 konanou 21.-27.01.2006 v hotelu Měřín (Slapská přehrada), jejíž jeden celý track je věnován problematice sémantického webu.

Všichni jsou srdečně zváni.

12.12.2005
14:15
UI 318

Stanislav Bartoň - Designing a Path-oriented Indexing Structure for a Graph Structured Data

In the context of the Semantic Web, rho-operators were proposed as a mean to explore complex relationships between entities. The problem of searching for the complex relationships can be modeled as the process of searching paths in a directed graph where the entities form vertices and the edges are represented by the relationships between the entities.

Our effort introduces an indexing structure for path-oriented queries in the graph structured data called rho-index. The design of the rho-index is based on a graph partitioning technique called graph segmentation. Which is meant to represent the indexed graph in a simpler manner yet having similar properties as the original graph had.

This presentation will discuss the theoretical design of the rho-index. It will also describe the transformation used to simplify the indexed graph and the structures used to represent the rho-index. Finally, the preliminary experimental results of the use of the indexing structure will be demonstrated.

20.-25.09.2005
Seminář ITAT
Hotel Akademik, Račková dolina
(in Czech)

Július Štuller - Pozvánka na seminář ITAT

Dovoluji si Vás pozvat na seminář ITAT konaný 20.-25.09.2005 v hotelu Akademik v Račkové dolině, který mimo jiné umožní pracovní setkání projektů:

  • Nástroje pre získavanie, organizovanie a udržovanie znalostí v prostredí heterogénnych informačných zdrojov (MŠ SR)
  • Inteligentní modely, algoritmy, metody a nástroje pro vytváření sémantického webu (IT ČR)
  • Metody inteligentních systémů a jejich aplikace při dobývání znalostí a zpracování přirozeného jazyka (IT ČR)

Všichni jsou srdečně zváni.

15.08.2005
Hotel Měřín
(in Czech)

Július Štuller - Výzva k podání příspěvku na konferenci SOFSEM 2006

Na příštím SOFSEMu je jeden celý track věnovaný problematice sémantického webu, a proto vyzývám všechny kolegy řešitelského týmu k podání příspěvku, pokud jim to jejich časové možnosti umožní. Abstrakty příspěvků lze podávat do 15. srpna, celé příspěvky pak do 22. srpna.

23.05.2005
14:15
Ústav informatiky, Pod vodárenskou věží 2, Praha 8; místnost 318
more...
(in Czech)

V.Dostal - Podobnostní hledání v multimediálních datech

Vyhledávání založené na konceptu podobnosti se stává v poslední době velmi důležité v prostředích, kde vyhledávání na přesnou shodu má malý význam nebo dokonce nemá vůbec žádný. S rychle rostoucím množstvím dat, ve kterých je potřeba vyhledávat, je úzce spojen vývoj nových indexačních struktur pro urychlení operace hledání. Koncept podobnosti je často formalizován pomocí pojmu metrického prostoru. Existují dva základní přístupy pro indexování metrických prostorů. První indexuje objekty prostoru pomocí vzdálenostní funkce, druhý přístup je založen na principu mapování metrického prostoru do vektorového. My se zabýváme prvním modelem, tj. indexováním na vzdálenosti, a nastíníme základní principy v těchto metodách použité.

16.05.2005
14:15
Ústav informatiky, Pod vodárenskou věží 2, Praha 8; místnost 318

Roman Vaculin - Autonomní chování výpočetních agentů

Budeme se zabyvat architekturami pro podporu rozhodovani softwarovyvh agentu. Nasim cilem je vetsi mira autonomie chovani vypocetnich agentu, kteri typicky zapouzdruji metody vypocetni inteligence a resi problemy v prostredi multiagentniho systemu. Predvedeme navrh a realizaci konkretni architektury zalozenena principech vertikalni vrstevnate architektury a BDI architektury.

02.05.2005
14:15
Ústav informatiky, Pod vodárenskou věží 2, Praha 8; místnost 318

Roman Neruda - Autonomní chování výpočetních agentů

Budeme se zabývat několika způsoby, jak dodat softwarovým agentům reprezentujícím metody výpočetní inteligence mechanismy, ktere umožní určitou míru jejich autonomie. Zaměříme se na oblasti volby partnerů a spojování agentů do multi-agentních systémů. Metody zahrnují ontologické popisy agentů, logické programování a evoluční techniky. Po úvodních experimentech se některé z těchto cest nejeví jako slepe.

29.04.2005
10:30
more...
(in Czech)

Július Štuller - Schůzka řešitelského týmu

Schůzka řešitelského týmu projektu pracoviště Ústavu informatiky se uskuteční na jarním výjezdním zasedání Ústavu informatiky v jihočeském rekreačním areálu Nový Dvůr.

18.04.2005
14:15
UI 318
more...
(in Czech)

Zuzana Nevěřilová, Petr Sojka - Visualizace sémantického webu na příkladu doménově vymezené digitální matematické knihovny

Přednáška se bude zabývat vizuálním rozhraním k vnímání složitých struktur obecně. Sémantické sítě a speciálně sémantický web patří právě k takovým složitě uchopitelným strukturám.

Budou prezentována východiska návrhu aplikace Visual Browser a její možné využití. Aplikace Visual Browser vznikla jako diplomová práce na Fakultě informatiky MU v Brně, původně pro potřeby vizualizace WordNetu. Dvouvrstvé schéma, které aplikace využívá však umožňuje mnohem univerzálnější použití.

Vysoká míra obecnosti a parametrizovatelnosti tohoto programu bude demonstrována na příkladové studii digitální matematické knihovny NUMDAM. Závěrem bude zmíněn návrh sémantického webu projektu digitální matematické knihovny DML-CZ.

08.-09.04.2005
 
WIRI, Tokyo, Japan
more...
(in Czech)

Snášel Václav, Moravec Pavel, Pokorný Jaroslav - WordNet Ontology Based Model for Web Retrieval

14.03.2005
14:15
UI 318
more...
(in Czech)

Vojtěch Svátek - Výsledky VŠE Praha v oblasti sémantického webu

Přednáška  poskytne  základní  přehled  o  aktivitách  VŠE  Praha v oblasti sémantického  webu,  s  důrazem  na problematiku automatizovaného získávání znalostí  z  běžného  WWW.  Formou  otevřené  diskuse se dotkne i některých dalších  aspektů  sémantického webu, které autor považuje za klíčové, např. kvality  v  současnosti  dostupných ontologií a přidané hodnoty vzhledem ke "konkurenčním"   (např.  objektovým)  technologiím.  Pokusíme  se  společně zmapovat   aktuální   stav  výzkumu  a  praxe  sémantického  webu  v  ČR  a identifikovat perspektivní oblasti pro další spolupráci různých institucí.

Viz také KEG.

28.02.2005
14:15
UI 318
more...
(in Czech)

Karel Pala - Ontologie a sémantický web

Presentace výsledků pracoviště FI MU.

V oblasti návrhu ontologického popisu jsme se soustředili na propojení informací z ontologií s existujícími jazykovými zdroji – tezaury, sémantickými sítěmi typu wordnet, terminologickými databázemi atd. Bylo navrženo XML schéma umožňující propojení znalostí z takových zdrojů. Současně byla do tohoto formátu transformována databáze RussNet, obsahující jak taxonomii vybraných pojmů v ruštině, tak morfologickou a částečně i syntaktickou informaci (valenční rámce). Pro daný formát byly implementovány XML transformace umožňující zobrazování ontologických i jazykových dat pomocí nástroje DEB.

Ve spolupráci s kolegy z Tübingenské university byly započaty práce na převodu jejich sémantické sítě GermaNet do našeho formátu s cílem získat kompatibilní zdroje pro další jazyky. Vzhledem k postupnému doplňování valenčních rámců do českého wordnetu plánujeme také převod tohoto poměrně rozsáhlého zdroje do nového formátu.

V souvislosti s cílem projektu zkoumání modularity, integrace a opakovaného použití ontologií byla pozornost věnována i dalším zdrojům sémantických dat, konkrétně asociačním tezaurům (výsledky slovních asociací), které poskytují cenné informace o vztazích mezi pojmy a jejich „uložení“ v lidské paměti. Jako velmi nadějná oblast se jeví porovnávání vazeb získaných z asociačních tezaurů se vztahy získanými ze sémantických sítí, případně automatickou analýzou z korpusových textů. Existuje těsný vztah mezi porovnáváním takových dat z různých zdrojů a mapováním ontologií Sémantického Webu. Získané výsledky jsou tedy relevantní pro srovnávání a kombinování ontologií, integraci dat, případně služeb Sémantického Webu, popsaných různými ontologiemi.


10.01.2005
14:15
UI 318
more...
(in Czech)

Július Štuller, Martin Řimnáč, Radim Nedbal - Ontologie v kontextu sémantického webu
V prednaske sa podrobnejsie pozrieme na rolu ontologii pre realizaciu idei semantickeho webu, na ich teoreticke zaklady, navaznost na dalsie stavebne kamene semantickeho webu, dalej na ich suvislost s logikou a v tomto kontexte na dolezitost logiky, najma deskripcnej. V zavere uvedieme najznamejsie jazyky na vytvaranie ontologii a strucne predvedieme softwarovy produkt PROTÉGÉ 2000 pre pracu s ontologiami.
10.01.2005
13:30
UI 318
(in Czech)

Július Štuller - Informativní schůzka
Zhodnocení prvního roku projektu a plány do roku druhého.

20.12.2004
14:15
UI
more...

Guido Governatori - Practical Non-monotinic Reasoning

Non-monotonic logics are a form of formal reasoning aimed at the representation of common-sense reasoning; unfortunately, non-monotonic logics typically suffer from very high computational complexity and thus are practically intractable.

In this talk first will be presented the defeasible logic, a family of non-monotonic logics designed to be easily implementable and tractable. After the introduction of the basic principles of defeasible logic will follow a discussion of  some extension of the logic and some applications.

09.-11.11.2004
 
PDCS'04, Cambridge, MIT, USA
more...

Roman Neruda, Pavel Krusina - Modelling and Estimating Complexity in Multi-Agent Systems

Multi-agent systems typically utilize a non-blocking asynchronous communication in order to achieve required flexibility and adaptability. High performance computing techniques exploit the current hardware ability of overlapping asynchronous communication with computation to load the available computer resources efficiently. On the contrary, widely used parallel processes modeling methodologies do not often allow for an asynchronous communication description. At the same time those models do not allow their user to select the granularity level and provide only a fixed set of machine and algorithm description quantities. In this work we addressed this issue and designed a new parallel processes modeling methodology. Its main features include an open set of atomic operations that are calculated and predicted for the algorithm in question, and the computer aided semi-automatic measuring of operation counts and approximation of cost functions. This allows not only for tuning the model granularity as well as accuracy according to user needs, but also to reach a such description complexity that would be very difficult to obtain without any computer aid.


18.10.2004
14:15
UI 318
more...

Roman Neruda - Bang: A Computational Multi-Agent System

V prehledove prednasce popiseme multiagentni system tvorici distribuovane vypocetni prostredi s durazem na metody vypocetni inteligence, zejmena neuronove site a geneticke algoritmy. Budeme se venovat hlavne otazkam komunikace a spojovnani agentu, formalniho popisu typu a hierarchii, ontologiim, moznostem popisu a sledovani efektivity vypoctu, a snaham o vyvoj autonomnich a proaktivnich agentu.


18.10.2004
13:00
UI 318
(in Czech)

Július Štuller - Schůzka celého řešitelského týmu
Program:

Prof. Pokorný: představení řešitelského týmu z MFF UK.

Dr. Smrž: představení řešitelského týmu z FU MU.

Ing. Štuller: představení řešitelského týmu z UI AV.

11.10.2004
14:15
Ústav informatiky, místnost 318
(in Czech)

Jiří Wiedermann - Softwaroví agenti, vyhledávací stroje a sémantický web

Po softwarových agentech chceme, aby byli "inteligentní", aby "žili" v prostředí internetu, interagovali s lidmi a aby v internetu prováděli úkony, které po nich chceme. Kvůli tomu by měli znát sémantiku dat, např. těch na webových stránkách. Ta je však srozumitelná pouze lidem, nikoliv počítačům, a cílem sémantického webu je učinit tuto sémantiku přístupnou i počítačům. Lze toho vůbec dosáhnout? Jak se dívá současná teorie umělé inteligence na tento problém? Jaká je budoucnost sémantického webu? Odpovědi na tyto a podobné otázky budeme společně hledat v tomto semináři.

29.09.-01.10.2004
 
ICS Ph.D. Student's Days 2004, Paseky nad Jizerou, Czech Republic

Zdenka Linkova, Pavel Krusina, Radim Nedbal, Martin Rimnac, Roman Spanek - Ph.D. Student's work presentations
5 students involved in the project will present their results at Institute of Computer Science Ph.D. Student's Days.

Zdenka Linkova: Integrace dat a semanticky web (in Czech)

Pavel Krusina: Models of Multi-Agent Systems

Radim Nedbal: Relational Databases with Ordered Relations

Martin Rimnac: Rekonstrukce databazoveho modelu na zaklade dat (studie proveditelnosti) (in Czech)

Roman Spanek: Security in Mobile Enviroment


27-29.09.2004.
 
iiWAS2004, Jakarta, Indonesia
more...

Abdelsalam Almarimi, Jaroslav Pokorny - A Mediation Layer for Heterogenous XML Schemas
To be presented at Information Integration and Web Based Applications & Services.

20.-24.09.2004
 
IEEE/WIC/ACM, Peking, China
more...

Roman Neruda, Pavel Krusina, Petra Kudova, Pavel Rydvan, Gerd Beuster - Bang: A Computational Multi-Agent System

A multi-agent system targetted towards the area of computational intelligence modelling is presented. The purpose of the system is to allow both experiments and high-performance distributed computations employing hybrid computational models. The focus of the system is the interchangeability of computational components, their autonomous behavior, and emergence of new models.


20.-24.09.2004
 
IEEE/WIC/ACM, Grid Workshop, Peking, China
more...

Gerd Beuster, Roman Neruda - Configuring Computational Agents

A formalism for the logical description of computational agents and multi-agent systems is given. It is explained how it such a formal description can be used to configure and reason about multi-agent systems realizing computational intelligence models. A usage within a real software system Bang 3 is demonstrated. The logical description of multiagent systems opens Bang 3 for interaction with ontology based distributed knowledge systems like the Semantic Web or the Knowledge Grid.

20.-24.09.2004
 
IEEE/WIC/ACM, Grid Workshop, Peking, China

Petra Kudova, Roman Neruda - Learning in Radial Basis Function Networks and Regularization networks
Poster presentation.

15.-19.09.2004
 
ITAT2004, High Tatra, Slovakia

Jiri Wiedermann, Martin Rimnac - ITAT2004 presentations
ITAT2004 is a workshop on Information Technologies - Applications and Theory.
Jiri Wiedermann and Martin Rimnac presented papers:

Jiri Wiedermann: Problem softwarovych agentu a semanticky web (Abstract in Czech)

Martin Rimnac: Rekonstrukce databazoveho modelu na zaklade nepresnych dat (Abstract in Czech)


07-10.09.2004
 
Sheffield Machine Learning Workshop, Sheffield, Great Britain
more...

Petra Kudová, Roman Neruda - Learning in Radial Basis Function Networks and Regularization networks
Sheffield University holds workshop on machine learning. Authors will present a poster here.
02.-03.09.2004
 
AMSE, České Budějovice, Czech Republic
more...

H. Řezanková, D. Húsek, V. Snášel - Clustering as a Tool for Data Mining
7th International Scientific Conference Applications of Mathematics and Statistics in Economy
12.07.2004
13:00
UI 318
more...

Omar Bouchelma - Geographic Information System Integration
Virtual GIS integration method description
01.07.2004
 
 

Project Start
The official day of the project start.

24.06.2004
13:00
UI 318
(in Czech)

Julius Stuller - Informativni schuzka
Dovolte mi srdecne Vas vsetkych pozvat na uvodnu schodzku Projektu Programu "Informacni spolecnost" Inteligentni modely, algoritmy, metody a nastroje pro vytvareni semantickeho webu. (Viem, ze opat nebudeme kompletni, ale asi je minimalna pravdepodobnost, ze sa v dohladnej dobe podari najst datum, kedy by sme boli pritomni vsetci ...

Projekt ma zacat 1. 7. a preto by som velmi rad tuto schodzku zorganizoval este pred tym, nez zacnu letne "dovolenkove" mesiace)


-
This page was last modified 24.08.2015 12:45.