Naposledy ...

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.


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.


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.


Valid XHTML 1.0!

Výsledky - Publikace

Rok 2008 Rok 2007 Rok 2006 Rok 2005 Rok 2004 Roky 2004-2008
 
The list of publications in RDF format

 
 
2008
0
0
1
1 / 0
1
2
1
4 / 0
17
32
12
59 / 12
4
0
2
6 / 0
1
0
0
1 / 1
celkem
24
35
20
77 / 14
 
2007
4
2
0
5 / 0
3
2
0
5 / 1
37
30
21
82 / 27
1
2
2
5 / 3
0
1
0
1 / 1
celkem
45
38
23
98 / 33
 
2006
0
0
1
1 / 0
4
2
1
6 / 0
5
5
0
8 / 1
34
28
17
74 / 36
0
0
0
6 / 0
7
3
1
11 / 5
0
0
1
1 / 1
celkem
57
41
24
111 / 45
 
2005
3
2
0
5 / 1
21
14
5
36 / 12
1
1
0
1 / 0
5
0
0
5 / 4
celkem
30
17
5
47 / 17
 
2004
14
2
5
21 / 15
celkem
14
2
5
21 / 15
 
2004-2008
 
 
0
0
1
1 / 0
8
6
2
13 / 0
16
10
2
26 / 3
130
121
73
307 / 107
5
4
4
9 / 1
14
6
3
23 / 13
0
0
1
1 / 1
celkem
175
149
91
389 / 128


Paper in pdf format
Azarová Irina, Sinopalníková Anna
Using Corpus Statistics for Wordnet Structuring
In: Proceedings of the Second International Conference on Corpus Linguistics (Corpora-2004), Saint-Petersburg State University Press, Saint-Petersburg, Russia, 2004, pp. 3-11.
Presented at: Second International Conference on Corpus Linguistics (Corpora-2004), , Saint-Petersburg, Russia.
Paper in html format
Azarová Irina, Sinopalníková Anna, Yavorskaya Maria
Guidelines for RussNet structuring (Guidelines for RussNet structuring)
In: Proceedings of the Dialogue 2004 International Conference on the Computational Linguistics and Intellectual Technologies, Moscow: Nauka, Moscow, 2004, pp. 232-241. ISBN: 5-02-002826-6
Presented at: Dialogue 2004 International Conference on the Computational Linguistics and Intellectual Technologies, 2004, Moscow, Russia.
Paper in pdf format
See abstract
Bartoň Stanislav
Indexing Structure for Discovering Relationships in RDF Graph Recursively Applying Tree Transformation
In: Proceedings of Semantic Web Workshop at 27th Annual International ACM SIGIR Conference, 2004, pp. 58-68.
Presented at: Semantic Web Workshop at 27th Annual International ACM SIGIR Conference, 25.7.-29.7. 2004, University of Sheffield, Sheffield, Great Britain.
Paper in pdf format
See abstract
Bartoň Stanislav, Zezula Pavel
RhoIndex - An Index for Graph Structured Data
Presented at: 8th International DELOS Workshop on Future Digital Library Management Systems, 29.3.-1.4.2005, Schloss Dagstuhl, Germany.
Bartoň Stanislav, Zezula Pavel
Designing and Evaluating an Index for Graph Structured Data
In: Proceedings of ICDM MCD 2006, IEEE Press, Hong Kong, China, 2006, pp. 1-5.
Presented at: The Second International Workshop on Mining Complex Data - MCD'06 - In Conjunction with IEEE ICDM'06, 18.12.-22.12.2006, Hong Kong, China.
Paper in pdf format
See abstract
Bartoň Stanislav, Zezula Pavel
Mining Citation Graphs Employing an Index for Graph Structured Data
In: Inteligentní modely, algoritmy, metody a nástroje pro vytváření sémantického webu, Ústav informatiky AV ČR, Prague, 2006, pp. 1-9. ISBN: 80-903298-7-X
Presented at: Inteligentní modely, algoritmy, metody a nástroje pro vytváření sémantického webu - Seminář projektu programu Informační společnost, 5.10.-7.10.2006, Zadov, Czech Republic.
Paper in pdf format
Bartoň Stanislav, Zezula Pavel
rho-Index - Designing and Evaluating an Indexing Structure for Graph Structured Data
Technical Report: FIMU-RS-2006-07, FI MU, Brno, 2006, 24 p.
Bartoň Stanislav
Searching Indirect Relationships in Citation Analysis Using an Index for Graph Structured Data
In: 2nd Doctoral Workshop on Mathematical and Engineering Methods in Computer Science MEMICS 2006, 2006, pp. 9-16.
Presented at: 2nd Doctoral Workshop on Mathematical and Engineering Methods in Computer Science MEMICS 2006, 27.10.-29.10.2006, Mikulov, Czech Republic.
Dědek Jan, Eckhardt Alan, Galamboš Leo, Vojtáš Peter
Sémantický web
In: DATAKON 2008, (Ed. Řepa V., Svatoš O.), Masaryk university, 2008, pp. 12-30.
Presented at: DATAKON 2008, 18.-21.10.2008, Brno, Czech Republic.
Paper in pdf format
See abstract
Dokulil Jiří, Yaghob Jakub, Zavoral Filip
Infrastruktura pro dotazování nad semantickými daty
In: Inteligentní modely, algoritmy, metody a nástroje pro vytváření sémantického webu, Ústav informatiky AV ČR, Prague, 2006, pp. 10-26. ISBN: 80-903298-7-X
Presented at: Inteligentní modely, algoritmy, metody a nástroje pro vytváření sémantického webu - Seminář projektu programu Informační společnost, 5.10.-7.10.2006, Zadov, Czech Republic.
Dokulil Jiří
Použití relačních databází pro vyhodnocování SPARQL dotazů
In: Proceedings of ITAT 2006, Information Technologies - Applications and Theory, 2006. ISBN: 80-969184-4-3
Presented at: ITAT 2006, 26.9.-1.10.2006, Chata Kosodrevina, Bystrá dolina, Nízke Tatry, Slovakia.
Paper in pdf format
See abstract
Dokulil Jiří
Evaluation of SPARQL queries using relational databases
In: Proceedings of 5th International Semantic Web Conference, ISWC, 2006, (Ed. Cruz I.), LNCS 4273, Springer Verlag, Athens, FA, USA, 2006, pp. 972-973.
Paper in pdf format
See abstract
Dokulil Jiří, Tykal J., Yaghob Jakub, Zavoral Filip
Semantic Web Infrastructure
In: Proc. of the First IEEE International Conference on Semantic Computing, IEEE, 2007, pp. 209-215.
Presented at: ICSC 2007, 17.-19.9.2007, Irvine, California.
Paper in pdf format
See abstract
Dokulil Jiří, Tykal J., Yaghob Jakub, Zavoral Filip
Semantic Web Repository and Interfaces
In: Proc. of SEMAPRO (Int. Conf. on Advances in Semantic Processing), IEEE, 2007.
Presented at: SEMAPRO (Int. Conf. on Advances in Semantic Processing), 4.-9.11.2007, Papeete, French Polynesia (Tahiti) .
Dokulil Jiří, Tykal J., Yaghob Jakub, Zavoral Filip
Experimental Platform for the Semantic Web
In: Proceedings of ITAT 2007, Information Technologies - Applications and Theory, (Ed. Vojtáš P.), PONT s.r.o., Seňa, 2007, pp. 67-72.
Presented at: Konferencia o informačných (inteligentných) technológiách - aplikácie a teória 2007, 21.-27.9.2007, Polana, Slovakia.
Paper in pdf format
See abstract
Dokulil Jiří, Katreniaková J.
Visual Exploration of RDF Data
In: SOFSEM 2008: Theory and Practice of Computer Science, LNCS 4910, Springer, 2008, pp. 672-683.
Presented at: 34th International Conference on Current Trends in Theory and Practice of Computer Science, 19.-25.1.2008, Nový Smokovec, High Tatras, Slovakia.
See abstract
Eckhardt Alan, Horváth T., Vojtáš Peter
Learning different user profile annotated rules for fuzzy preference top-k quering
In: Scalable Uncertainty Management, Springer, LNAI 4772, Berlin, 2007, pp. 116-130.
Presented at: SUM 2007 International Conference, 10.10.-12.10.2007, Washington, US.
Eckhardt Alan, Vojtáš Peter
Towards ontology language handling imperfection
In: Proceeding of the 1st Workshop on Intelligent and Knowledge oriented Technologies, 2006, pp. 124-125.
Presented at: 1st Workshop on Intelligent and Knowledge oriented Technologies, 28.11.-29.11.2006, Bratislava, Slovakia.
Paper in pdf format
See abstract
Eckhardt Alan
Inductive Models of User Preferences for Semantic Web
In: Proceedings of the Dateso 2007, CEUR Workshop Proc., 2007, pp. 103-114.
Presented at: Dateso 2007 Annual International Workshop on DAtabases, TExts, Specifications and Objects, 18.4.-20.4.2007, Desná - Černá Říčka, Czech Republic.
See abstract
Eckhardt Alan, Pokorný Jaroslav, Vojtáš Peter
A system recommending top-k objects for multiple users preference
In: Proc. of FUZZ-IEEE 2007 International Conference on Fuzzy Systems, IEEE, 2007, pp. 1101-1106.
Presented at: FUZZ-IEEE 2007, 23.-26.7.2007, London, UK.
Paper in pdf format
See abstract
Eckhardt Alan, Horváth T., Vojtáš Peter
PHASES: A User Profile Learning Approach for Web Search
In: Web Intelligence, IEEE Computer SocietyScalable Uncertainty Management, Los Alamitos, 2007, pp. 780-783.
Presented at: WI 2007. IEEE/WIC/ACM International Conference on Web Intelligence, 2.11.-5.11.2007, Silicon Valley, US.
Galamboš Leo, Lánský Jan, Chernik K.
Compression of Semistructured Documents
In: International Enformatika Conference IEC 2006, Enformatika, Transactions on Engieering, Computing and Technology, 2006, pp. 222-227.
Paper in pdf format
See abstract
Galamboš Leo, Lánský Jan, Žemlička M., Chernik K.
Compression of Semistructured Documents
In: International Journal of Information Technology, Volume: 4, No: 1, Elsevier, 2007, pp. 11-17.
Paper in pdf format
See abstract
Krušina Pavel
Models of Multi-Agent Systems
In: Doktorandský den `04, MATFYZPRESS, 2004, pp. 58. ISBN: 80-86732-30-4
Presented at: Institute of Computer Science Ph.D. Student`s Days 04, 29.09.-01.10.2004, Paseky nad Jizerou, Czech Republic.
Paper in pdf format
See abstract
Kudová Petra, Neruda Roman
Learning in Radial Basis Function Networks and Regularization networks
Presented at: Sheffield Machine Learning Workshop, 7.9.-10.9.2004, Sheffield, Great Britain.
Paper in pdf format
See abstract
Kudová Petra, Neruda Roman
Kernel Based Learning Methods: Regularization Networks and RBF Networks
In: Proceedings of the Sheffield Machine Learning Workshop, Springer Verlag, 2005, pp. 124-136. ISBN: 3-540-29073-7
Presented at: Sheffield Machine Learning Workshop, 7.9.-10.9.2004, Sheffield, Great Britain.
Paper in pdf format
See abstract
Kudová Petra
Learning with Regularization Networks in Bang
Presented at: TAM06, 14.6.-16.6.2006, Barcelona, Spain.
Paper in pdf format
See abstract
Kudová Petra
Learning Algorithms Based on Regularization
In: Inteligentní modely, algoritmy, metody a nástroje pro vytváření sémantického webu, Ústav informatiky AV ČR, Prague, 2006, pp. 52-59. ISBN: 80-903298-7-X
Presented at: Inteligentní modely, algoritmy, metody a nástroje pro vytváření sémantického webu - Seminář projektu programu Informační společnost, 5.10.-7.10.2006, Zadov, Czech Republic.
Paper in pdf format
See abstract
Kuthan T., Lánský Jan
Genetic Algorithms in Syllable-Based text Compression
In: Proceedings of the Dateso 2007, CEUR Workshop Proc., 2007, pp. 21-34.
Presented at: Dateso 2007 Annual International Workshop on DAtabases, TExts, Specifications and Objects, 18.4.-20.4.2007, Desná - Černá Říčka, Czech Republic.
Lánský Jan, Galamboš Leo, Chernik K.
Komprese webového uložiště
In: Proceedings of ITAT 2006, Information Technologies - Applications and Theory, 2006. ISBN: 80-969184-4-3
Presented at: ITAT 2006, 26.9.-1.10.2006, Chata Kosodrevina, Bystrá dolina, Nízke Tatry, Slovakia.
Paper in pdf format
See abstract
Lánský Jan, Chernik K., Vlčková Z.
Syllable-Based Burrows-Wheeler Transform
In: Proceedings of the Dateso 2007, CEUR Workshop Proc., 2007, pp. 1-10.
Presented at: Dateso 2007 Annual International Workshop on DAtabases, TExts, Specifications and Objects, 18.4.-20.4.2007, Desná - Černá Říčka, Czech Republic.
Paper in pdf format
Lánský Jan, Žemlička M.
Compression of a Set of Strings
In: Proc. of 2007 Data Compression Conference (DCC 2007), IEEE Computer Society Press, 2007, pp. 390-390.
Presented at: DCC 2007 Data Compression Conference, 27.-29.3.2007, Snowbird, Utah, USA.
Paper in pdf format
Lánský Jan, Chernik K., Vlčková Z.
Comparison of Text Models for BWT
In: Proc. of 2007 Data Compression Conference (DCC 2007), IEEE Computer Society Press, 2007, pp. 389-389.
Presented at: DCC 2007 Data Compression Conference, 27.-29.3.2007, Snowbird, Utah, USA.
Paper in pdf format
See abstract
Linková Zdeňka
Data Integration in VirGIS and in the Semantic Web
Technical Report: V-922, ICS AS CR, Prague, 2005, 11 p.
Paper in pdf format
See abstract
Linková Zdeňka
The Logic Summer School 2004
Technical Report: V-925, ICS AS CR, Prague, 2005, 10 p.
Paper in pdf format
See abstract
Linková Zdeňka
Integrace dat a sémantický web
In: Doktorandský den `04, MATFYZPRESS, 2004, pp. 66-74. ISBN: 80-86732-30-4
Presented at: Institute of Computer Science Ph.D. Student`s Days 04, 29.09.-01.10.2004, Paseky nad Jizerou, Czech Republic.
Paper in pdf format
See abstract
Linková Zdeňka, Nedbal Radim, Řimnáč Martin
Building Ontologies for GIS
Technical Report: V-932, ICS AS CR, 2005, 9 p.
Paper in pdf format
See abstract
Linková Zdeňka, Nedbal Radim
Building Ontologies for GIS - Part 2
Technical Report: V-938, ICS AS CR, 2005, 12 p.
Paper in pdf format
See abstract
Linková Zdeňka, Nedbal Radim
VirGIS Data in Semantic Web Environment
In: Proceedings of SOFSEM 2006, Volume: II, ICS AS CR, Prague, 2006, pp. 120-127. ISBN: 80-903298-4-5
Presented at: SOFSEM 2006: Theory and Practice of Computer Science, 21.1.-27.1.2006, Měřín, Czech Republic.
Paper in pdf format
See abstract
Linková Zdeňka
Data Integration in VirGIS and in the Semantic Web
In: Doktorandský den 05, (Ed. Hakl F.), MATFYZPRESS, Prague, 2005, pp. 87-93. ISBN: 80-86732-56-8
Presented at: Institute of Computer Science Ph.D. Student`s Days 05, 5.10.-7.10.2005, Nový Dvůr, Czech Republic.
Paper in pdf format
See abstract
Linková Zdeňka, Nedbal Radim
Building Ontology for VirGIS System
In: Proceedings of ITAT 2005, Information Technologies - Applications and Theory, (Ed. Vojtáš P.), Prírodovedecká fakulta Univerzity Pavla Jozefa Šafárika, Košice, 2005, pp. 233-242. ISBN: 80-7097-609-8
Presented at: ITAT 2005, 20.9. - 25.9.2005, Račkova dolina, Slovakia.
Paper in pdf format
See abstract
Linková Zdeňka
Ontology-based Integration System
In: Doktorandský den 06, (Ed. F. Hakl), MATFYZPRESS, 2006, pp. 57-63. ISBN: 80-86732-87-8
Presented at: Doktorandský den 06, 20.9.-22.9.2006, Monínec, Sedlec-Prčice, Czech Republic.
Paper in pdf format
See abstract
Linková Zdeňka
European Summer School in Information Retrieval ESSIR 2005
Technical Report: V-949, ICS AS CR, Prague, 2006, 8 p.
Paper in pdf format
See abstract
Linková Zdeňka
Integrace dat v prostředí Sémantického Webu
In: Sborník workshopu doktorandů FJFI oboru Matematické inženýrství, (Ed. P. Ambrož, Z. Masáková), 2006, pp. 89-98.
Presented at: Doktorandské dny 2006, 10.11.2006 and 24.11.2006, Prague, Czech Republic.
Paper in pdf format
See abstract
Linková Zdeňka, Nedbal Radim
Ontology approach to integration of geographical data
In: WETDAP 2007, Proceedings of the 1st Workshop Evolutionary Techniques in Data-processing, In Conjunction with Znalosti (Knowledge) 2007, Faculty of Electrical Engineering and Computer Science, VŠB - Technical University of Ostrava, Ostrava, 2007, pp. 35-41.
Presented at: Workshop Evolutionary Techniques in Data-processing, Associated with ZNALOSTI 2007 conference , 21.-23.2.2007, Ostrava, Czech Republic.
Paper in pdf format
See abstract
Linková Zdeňka
Ontology-Based Schema Integration
In: Proceedings of SOFSEM 2007, ICS AS CR, Prague, 2007, pp. 71-80.
Presented at: SOFSEM 2007, 20.2.-26.2.2007, Harrachov, Czech Republic.
Paper in pdf format
See abstract
Linková Zdeňka
Integrace dat na sémantickém webu
In: Doktorandské dny '08, (Ed. F. Hakl), MATFYZPRESS, 2008, pp. 61-68. ISBN: 978-80-7378-054-8
Presented at: Doktorandské dny 2008, 29.9.-1.10.2008, Jizerka, Czech Republic.
Paper in pdf format
See abstract
Linková Zdeňka
Schema Matching in the SemanticWeb Environment
In: Doktorandský den 07, (Ed. F. Hakl), MATFYZPRESS, 2007, pp. 36-42.
Presented at: Doktorandské dny 2007, 17.-19.9.2007, Malá Úpa, Czech Republic.
Paper in pdf format
See abstract
Linková Zdeňka
Mapování schémat v prostředí Sémantického webu
In: Doktorandské dny na KM FJFI 07, 2007, pp. 117-126. ISBN: 978-80-01-03913-7
Paper in pdf format
See abstract
Linková Zdeňka, Řimnáč Martin
Automatizovaný návrh pravidel pro integraci dat a sémantický web
In: Znalosti 2008, (Ed. V. Snášel), Vydavatelstvo STU, Bratislava, 2008.
Presented at: Znalosti 2008, 13.-15.2.2008, Bratislava, Slovakia.
Paper in pdf format
See abstract
Mlýnková Irena
UserMap - an Enhancing of User-Driven XML-to-Relational Mapping Strategies
Technical Report: 2007/3, Charles University, Prague, 2007, 38 p.
Paper in pdf format
See abstract
Mlýnková Irena, Pokorný Jaroslav
From XML Schema to Object-Relational Database – An XML Schema-Driven Mapping Algorithm
In: Proceedings of the IADIS International Conference WWW/Internet, (Ed. Isaias P., Karmakar N.), IADIS, 2004, pp. 115-122.
Presented at: IADIS International Conference WWW/Internet 2004, 06.-09. 10. 2004, Madrid, Spain.
Paper in pdf format
Mlýnková Irena, Pokorný Jaroslav
XML in the World of (Object-) Relational Database Systems
In: Information Systems Development Advances in Theory, Practice and Education, (Ed. Vasilecas O. et al.), Kluwer, 2004. ISBN: 0-387-25026-3
Presented at: 13th International Conference on Information Systems Development, ISD`2004, 9.9.-11.9. 2004, Vilnius, Lithuania.
Paper in pdf format
See abstract
Mlýnková Irena, Toman Kamil, Pokorný Jaroslav
Statistical Analysis of Real XML Data Collections
Technical Report: 2006/5, MFF UK, Prague, 2006, 39 p.
Mlýnková Irena
XML Data in (Object-)Relational Databases
In: Diploma Thesis, Charles University, Prague, 2007, pp. 142.
Mlýnková Irena, Toman Kamil, Pokorný Jaroslav
Statistical Analysis of Real XML Data Collections
In: Proceeding of the 13th International Conference on Management of Data - COMAD 2006, (Ed. Lakshmanan, L.L., Roy, P., Tung, A.), Tata McGraw Hill Publ. Comp., Delhi, 2006, pp. 20-31.
Presented at: 13th International Conference on Management of Data - COMAD 2006, 14.12.-16.12.2006, Delhi, India.
Paper in pdf format
See abstract
Mlýnková Irena
UserMap - an Exploitation of User-Specified XML-to-Relational Mapping Requirements and Related Problems
Technical Report: 2007/8, Charles University, Prague, 2007, 26 p.
Paper in pdf format
See abstract
Nečaský Martin
Conceptual Model Based Normalization of XML Views
In: Proc. of DATESO 2008, (Ed. J. Pokorný, V. Snášel, K. Richta), CEUR Workshop Proc., 2008, pp. 13-24.
Presented at: Dateso 2008: Annual International Workshop on DAtabases, TExts, Specifications and Objects, 16.4.-18.4.2008, Desná - Černá Říčka, Czech Republic.
Nečaský Martin
Conceptual modeling for XML
In: Diploma Thesis, Charles University, Prague, 2007, pp. 153 p..
Paper in pdf format
See abstract
Nečaský Martin
Conceptual Modeling for XML: A Survey
Technical Report: 2006-3, Dep. of Software Engineering, Faculty of Mathematics and Physics, Charles University, Prague, 2006, 54 p.
Paper in pdf format
See abstract
Nečaský Martin
Conceptual Modeling for XML: A Survey
In: Proceedings of the Dateso 2006, CEUR-WS, 2006, pp. 40-53.
Presented at: Dateso 2006 Annual International Workshop on DAtabases, TExts, Specifications and Objects, 26.4.-28.4.2006, Desná - Černá Říčka, Czech Republic.
Paper in pdf format
See abstract
Nečaský Martin
XSEM – A Conceptual model for XML Data
In: Proceedings of Communications and Doctoral Consortium, 7th International Baltic Conference on Databases and Information Systems, Vilnius, 2006, pp. 328-331.
Paper in pdf format
See abstract
Nečaský Martin
XSEM - A Conceptual Model for XML Data
In: Inteligentní modely, algoritmy, metody a nástroje pro vytváření sémantického webu, Ústav informatiky AV ČR, Prague, 2006, pp. 60-69. ISBN: 80-903298-7-X
Presented at: Inteligentní modely, algoritmy, metody a nástroje pro vytváření sémantického webu - Seminář projektu programu Informační společnost, 5.10.-7.10.2006, Zadov, Czech Republic.
Paper in pdf format
See abstract
Nečaský Martin
XSEM - A Conceptual Model for XML
In: Proceedings of the Fourth Asia-Pacific Conference on Conceptual Modelling (APCCM 2007) , (Ed. Roddick J. F., Annika H.), 2007, pp. 37-48.
Presented at: The Fourth Asia-Pacific Conference on Conceptual Modelling (APCCM 2007), 30.1.-2.2.2007, Ballarat, Victoria, Australia.
Paper in pdf format
See abstract
Nečaský Martin
Using XSEM for Modeling XML Interfaces of Services in SOA
In: Proceedings of the Dateso 2007, CEUR Workshop Proc., 2007, pp. 35-46.
Presented at: Dateso 2007 Annual International Workshop on DAtabases, TExts, Specifications and Objects, 18.4.-20.4.2007, Desná - Černá Říčka, Czech Republic.
Paper in pdf format
See abstract
Nedbal Radim
Relational Databases with Ordered Relations
In: Logic Journal of the IGPL, Volume: 13, 2005, pp. 587-597.
Presented at: ERCIM 2004, 12.-17.07.2004, Vienna, Austria.
Paper in pdf format
See abstract
Nedbal Radim
Relational Databases with Ordered Relations
In: Doktorandský den `04, MATFYZPRESS, 2004, pp. 75-83. ISBN: 80-86732-30-4
Presented at: Institute of Computer Science Ph.D. Student`s Days 04, 29.09.-01.10.2004, Paseky nad Jizerou, Czech Republic.
Paper in pdf format
See abstract
Nedbal Radim
General Relational Data Model with Preferences
In: Doktorandský den 06, (Ed. F. Hakl), MATFYZPRESS, 2006, pp. 78-84. ISBN: 80-86732-87-8
Presented at: Doktorandský den 06, 20.9.-22.9.2006, Monínec, Sedlec-Prčice, Czech Republic.
Paper in pdf format
See abstract
Nedbal Radim
Model of Preferences for the Relational Data Model
In: Inteligentní modely, algoritmy, metody a nástroje pro vytváření sémantického webu, Ústav informatiky AV ČR, Prague, 2006, pp. 70-77. ISBN: 80-903298-7-X
Presented at: Inteligentní modely, algoritmy, metody a nástroje pro vytváření sémantického webu - Seminář projektu programu Informační společnost, 5.10.-7.10.2006, Zadov, Czech Republic.
Nedbal Radim
Model Preferences over the Relational Data Model
In: Sborník workshopu doktorandů FJFI oboru Matematické inženýrství, (Ed. P. Ambrož, Z. Masáková), 2006, pp. 119-129.
Presented at: Doktorandské dny 2006, 10.11.2006 and 24.11.2006, Prague, Czech Republic.
Paper in pdf format
See abstract
Nedbal Radim
User Preference and Optimization of Relational Queries
In: Doktorandské dny '08, (Ed. F. Hakl), MATFYZPRESS, 2008, pp. 82-87. ISBN: 978-80-7378-054-8
Presented at: Doktorandské dny 2008, 29.9.-1.10.2008, Jizerka, Czech Republic.
Paper in pdf format
See abstract
Nedbal Radim
Various Kinds of Preferences in Database Queries
In: Doktorandský den 07, (Ed. F. Hakl), MATFYZPRESS, 2007, pp. 49-59.
Presented at: Doktorandské dny 2007, 17.-19.9.2007, Malá Úpa, Czech Republic.
Paper in pdf format
See abstract
Nedbal Radim
Algebraic Optimization of Database Queries with Preferences
In: Doktorandské dny na KM FJFI 07, 2007, pp. 157-167. ISBN: 978-80-01-03913-7
Paper in pdf format
Nedbal Radim
Algebraic optimization of relational queries with various kinds of preferences
In: SOFSEM 2008: Theory and Practice of Computer Science, LNCS 4910, Springer, 2008, pp. 388-399.
Presented at: 34th International Conference on Current Trends in Theory and Practice of Computer Science, 19.-25.1.2008, Nový Smokovec, High Tatras, Slovakia.
Paper in pdf format
See abstract
Neruda Roman, Krušina Pavel
A Framework for Modelling and Estimating Complexity in Multi-Agent Systems
In: Paralel and Distributed Computing and Systems, ACTA Press, 2004, pp. 602-607. ISBN: 088986-423-3
Presented at: PDCS 2004 IASTED International Conference on Parallel and Distributed Computing Systems (16.), 09.-11.11.2004, Cambridge, MIT, USA.
Paper in pdf format
See abstract
Neruda Roman, Krušina Pavel, Kudová Petra, Rydvan Pavel, Beuster Gerd
Bang3: A Computational Multi-Agent System
In: Intelligent Agent Technology. Piscataway, Piscataway, IEEE, 2004, pp. 563-564. ISBN: 0-7695-2101-0
Presented at: IEEE/WIC/ACM - Intelligent Agent Technology, 20.-24.09.2004, Peking, China.
Paper in pdf format
See abstract
Neruda Roman, Krušina Pavel
Estimating and Measuring Performance of Computational Agents
In: Proceedings of the 2005 IEEE/WIC/ACM International Conference on Intelligent Agent technology IAT 2005, IEEE Computer Society Press, 2005, pp. 615-618. ISBN: 0-7695-2416-8
Presented at: 2005 IEEE/WIC/ACM International Conference on Intelligent Agent technology IAT 2005, 19.9.-22.9.2005, France.
Neruda Roman, Slušný Stanislav
Evolutionary Learning of Multi-layer Perceptron Neural Networks
In: Proceedings of ITAT 2006, Information Technologies - Applications and Theory, 2006, pp. 125-130. ISBN: 80-969184-4-3
Presented at: ITAT 2006, 26.9.-1.10.2006, Chata Kosodrevina, Bystrá dolina, Nízke Tatry, Slovakia.
Paper in html format
See abstract
Nováček Vít, Smrž Pavel
Ontology Acquisition for Automatic Building of Scientific Portals
In: Proceedings of SOFSEM 2006: Theory and Practice of Computer Science, LNCS 3831, Springer-Verlag, Berlin, 2006, pp. 493-500. ISBN: 3-540-31198-X
Presented at: SOFSEM 2006: Theory and Practice of Computer Science, 21.1.-27.1.2006, Měřín, Czech Republic.
Paper in pdf format
See abstract
Nováček Vít
Motivations of Extensive Incorporation of Uncertainty in OLE Ontologies
In: Proceedings of SOFSEM 2006, Volume: II, ICS AS CR, Prague, 2006, pp. 145-154. ISBN: 80-903298-4-5
Presented at: SOFSEM 2006: Theory and Practice of Computer Science, 21.1.-27.1.2006, Měřín, Czech Republic.
Paper in pdf format
See abstract
Nováček Vít, Smrž Pavel
BOLE - A New Bio-Ontology Learning Platform
In: Proceedings of ECCB`05 Workshop, Workshop on Biomedical Ontologies and Text Processing, 2005.
Presented at: ECCB`05 Workshop, Workshop on Biomedical Ontologies and Text Processing, 28.9.2005, Madrid, Spain.
Paper in pdf format
See abstract
Nováček Vít, Smrž Pavel
OLE - A New Ontology Learning Platform
In: Proceedings of International Workshop on Text Mining Research, Practice and Opportunities, Incoma Ltd., 2005, pp. 12-16. ISBN: 954-91743-1-X
Presented at: International Workshop on Text Mining Research, Practice and Opportunities, 24.9.2005, Borovets, Bulgaria.
Paper in pdf format
See abstract
Nováček Vít, Smrž Pavel
Empirical Merging of Ontologies - A Proposal of Universal Uncertainty Representation Framework
In: The Semantic Web: Research and Applications - Proceedings of ESWC`06 - 3rd European Semantic Web Conference, LNCS 4011, Springer-Verlag, Berlin, 2006, pp. 65-79. ISBN: 3-540-34544-2
Presented at: ESWC`06 - 3rd European Semantic Web Conference, 11.6.-14.6.2006, Budva, Montenegro.
Paper in pdf format
See abstract
Nováček Vít, Smrž Pavel, Pomikálek Jan
Text Mining for Semantic Relations as a Support Base of a Scientific Portal Generator
In: Proceedings of LREC 2006 - 5th International Conference on Language Resources and Evaluation, ELRA, Paris, 2006, pp. 1338-1343. ISBN: 2-9517408-2-4
Presented at: LREC 2006 - 5th International Conference on Language Resources and Evaluation, 24.5.-26.5.2006, Genoa, Italy.
Paper in pdf format
See abstract
Nováček Vít
Ontology Learning
In: Diploma Thesis, Faculty of Informatics, Masaryk University, Brno, 2006, pp. 1-65.
Paper in pdf format
See abstract
Nováček Vít
Ontology Acquisition Supported by Imprecise Conceptual Refinement - New Results and Reasoning Perspectives
In: Inteligentní modely, algoritmy, metody a nástroje pro vytváření sémantického webu, Ústav informatiky AV ČR, Prague, 2006, pp. 91-101. ISBN: 80-903298-7-X
Presented at: Inteligentní modely, algoritmy, metody a nástroje pro vytváření sémantického webu - Seminář projektu programu Informační společnost, 5.10.-7.10.2006, Zadov, Czech Republic.
Paper in pdf format
See abstract
Řimnáč Martin, Tyl Pavel
Kombinace metod pro srovnání ontologií
In: Proc. of Information Technologies - Application and Theory, (Ed. P. Vojtáš), PONT, Seňa, 2008, pp. 113-117. ISBN: 978-80-969184-8-5
Presented at: Konferencia o informačných (inteligentných) technológiách - aplikácie a teória 2008, 22.-26.9.2008, High Tatras, Slovakia.
Paper in pdf format
See abstract
Řimnáč Martin
Web Integration Tool: Data Structure Modelling
In: Proceedings of the 2005 International Conference on Data Mining, CSREA Press, 2005. ISBN: 1-932415-79-3
Presented at: DMIN`05 -International Conference on Data Mining, 20.-23.06.2005, Las Vegas, USA.
Paper in pdf format
See abstract
Řimnáč Martin
Rekonstrukce databázového modelu na základě dat (studie proveditelnosti)
In: Doktorandský den `04, MATFYZPRESS, 2004, pp. 113-120. ISBN: 80-86732-30-4
Presented at: Institute of Computer Science Ph.D. Student`s Days 04, 29.09.-01.10.2004, Paseky nad Jizerou, Czech Republic.
Paper in pdf format
See abstract
Řimnáč Martin
Rekonstrukce databázového modelu na základě nepřesných dat
Presented at: ITAT 2004, Workshop on Information Technologies - Applications and Theory, 15.9.-19.9.2004, High Tatra, Slovakia.
Paper in pdf format
See abstract
Řimnáč Martin
Transforming Current Web Sources for Semantic Web Usage
In: Proceedings of SOFSEM 2006, Volume: II, ICS AS CR, Prague, 2006, pp. 155-165. ISBN: 80-903298-4-5
Presented at: SOFSEM 2006: Theory and Practice of Computer Science, 21.1.-27.1.2006, Měřín, Czech Republic.
Paper in pdf format
See abstract
Řimnáč Martin
Odhadování struktury dat pomocí pravidlových systémů
In: Doktorandský den 05, (Ed. Hakl F.), MATFYZPRESS, Prague, 2005, pp. 124-133. ISBN: 80-86732-56-8
Presented at: Institute of Computer Science Ph.D. Student`s Days 05, 5.10.-7.10.2005, Nový Dvůr, Czech Republic.
Paper in pdf format
See abstract
Řimnáč Martin
Odhad struktury dat a induktivní logické programování
In: Proceedings of ITAT 2005, Information Technologies - Applications and Theory, (Ed. Vojtáš P.), Prírodovedecká fakulta Univerzity Pavla Jozefa Šafárika, Košice, 2005, pp. 124-133. ISBN: 80-7097-609-8
Presented at: ITAT 2005, 20.9. - 25.9.2005, Račkova dolina, Slovakia.
Paper in pdf format
See abstract
Řimnáč Martin
Odhadování struktury a asociativní úložiště dat
In: Doktorandský den 06, (Ed. F. Hakl), MATFYZPRESS, 2006, pp. 135-142. ISBN: 80-86732-87-8
Presented at: Doktorandský den 06, 20.9.-22.9.2006, Monínec, Sedlec-Prčice, Czech Republic.
Paper in pdf format
See abstract
Řimnáč Martin
Asociativní úložiště dat v prostředí sémantického webu
In: Inteligentní modely, algoritmy, metody a nástroje pro vytváření sémantického webu, Ústav informatiky AV ČR, Prague, 2006, pp. 102-109. ISBN: 80-903298-7-X
Presented at: Inteligentní modely, algoritmy, metody a nástroje pro vytváření sémantického webu - Seminář projektu programu Informační společnost, 5.10.-7.10.2006, Zadov, Czech Republic.
Paper in pdf format
See abstract
Řimnáč Martin
Data Structure Estimation for RDF Oriented Repository Building (Extended Abstract)
In: Frontiers in Mobile and Web Computing, (Ed. Baroli L., Abderazek B.A., Grill T., Nguyen T.M., Tjondronegoro D.), Österreichische Computer Gesselschaft, Wien, 2006, pp. 681-685. ISBN: 3-85403-216-1
Presented at: The Fourth International Conference on Advances in Mobile Computing & Multimedia (MoMM2006), 4.12.-6.12.2006, Yogyakarta, Indonesia.
Paper in pdf format
See abstract
Řimnáč Martin
Advanced Features of Attribute Annotated Data Sets
In: WETDAP 2007, Proceedings of the 1st Workshop Evolutionary Techniques in Data-processing, In Conjunction with Znalosti (Knowledge) 2007, Faculty of Electrical Engineering and Computer Science, VŠB - Technical University of Ostrava, Ostrava, 2007, pp. 54-59.
Presented at: Workshop Evolutionary Techniques in Data-processing, Associated with ZNALOSTI 2007 conference , 21.-23.2.2007, Ostrava, Czech Republic.
See abstract
Řimnáč Martin
Minimalising Binary Predicate Knowledge Base using Transitivity Rule in Incremental Algorithm
Presented as an invited talk: 22nd European Conference on Operational Research EURO 2007 , 8.-11.7.2007, Prague, Czech Republic.
Paper in pdf format
See abstract
Řimnáč Martin
Nevyužité možnosti sémantického webu
In: Doktorandské dny '08, (Ed. F. Hakl), MATFYZPRESS, 2008, pp. 106-111. ISBN: 978-80-7378-054-8
Presented at: Doktorandské dny 2008, 29.9.-1.10.2008, Jizerka, Czech Republic.
Paper in pdf format
See abstract
Řimnáč Martin
Redukce datových modelů
In: Doktorandský den 07, (Ed. F. Hakl), MATFYZPRESS, 2007, pp. 80-86.
Presented at: Doktorandské dny 2007, 17.-19.9.2007, Malá Úpa, Czech Republic.
Paper in pdf format
Řimnáč Martin, Linková Zdeňka
Automatizovaný návrh pravidel pro integraci dat
Paper in doc format
See abstract
Řimnáč Martin, Špánek Roman, Linková Zdeňka
Sémantický web: vize globálního úložiště dat?
In: DATAKON 2007, (Ed. Popelínský L., Výborný O.), Masaryk university, 2007, pp. 176-186.
Presented at: DATAKON 2007, 20.10.-23.10.2007, Brno, Czech Republic.
Paper in pdf format
See abstract
Řimnáč Martin, Špánek Roman, Linková Zdeňka
SemanticWeb: Vision of Distributed and Trusted Data Environment?
In: WWM 2007, 2007, pp. 627-634.
Presented at: WWM 2007, 1st International Web X.0 and Web Mining Workshop, held in collocation with ICDIM 2007, 28.10.-31.10.2007, Lyon, France.
Paper in pdf format
Šesták Radovan, Lánský Jan, Žemlička M.
Suffix Array for Large Alphabet
In: Proc. of 2008 Data Compression Conference (DCC 2008), IEEE Computer Society Press, 2008, pp. 543-543.
Presented at: DCC 2008 Data Compression Conference, 25.-27.3.2008, Snowbird, Utah, USA.
Paper in pdf format
See abstract
Smrž Pavel, Povolný Martin, Sinopalníková Anna
OASIS - A New Tool for the Transformation of XML Knowledge Resources into OWL
Presented at: ISWC 2004, 7.11.-11.11. 2004, Hiroshima, Japan.
Paper in pdf format
See abstract
Špánek Roman
Security in Mobile Environment
In: Doktorandský den `04, MATFYZPRESS, 2004, pp. 149-155. ISBN: 80-86732-30-4
Presented at: Institute of Computer Science Ph.D. Student`s Days 04, 29.09.-01.10.2004, Paseky nad Jizerou, Czech Republic.
Paper in pdf format
See abstract
Špánek Roman
RollingBall: Energy and QoS Aware Protocol for Wireless Sensor Networks
In: Proceedings of SOFSEM 2006, Volume: II, ICS AS CR, Prague, 2006, pp. 166-173. ISBN: 80-903298-4-5
Presented at: SOFSEM 2006: Theory and Practice of Computer Science, 21.1.-27.1.2006, Měřín, Czech Republic.
Paper in pdf format
See abstract
Špánek Roman
Sharing information in a Large Network of Users
In: Doktorandský den 05, (Ed. Hakl F.), MATFYZPRESS, Prague, 2005, pp. 134-140. ISBN: 80-86732-56-8
Presented at: Institute of Computer Science Ph.D. Student`s Days 05, 5.10.-7.10.2005, Nový Dvůr, Czech Republic.
Paper in pdf format
See abstract
Špánek Roman
Data pozičně závislá a jejich dopad v mobilních databázích
In: Proceedings of ITAT 2005, Information Technologies - Applications and Theory, (Ed. Vojtáš P.), Prírodovedecká fakulta Univerzity Pavla Jozefa Šafárika, Košice, 2005, pp. 273-278. ISBN: 80-7097-609-8
Presented at: ITAT 2005, 20.9. - 25.9.2005, Račkova dolina, Slovakia.
Paper in pdf format
See abstract
Špánek Roman
Self-organizing and Self-monitoring Security Model for Dynamic Distributed Environments
In: Diploma Thesis, Technical University of Liberec, Faculty of Mechatronics and Interdisciplinary Engineering Studies, Liberec, 2008, pp. 130 p..
Paper in pdf format
See abstract
Špánek Roman
Security Model Based on Virtual Organizations for Distributed Environments
In: Doktorandský den 06, (Ed. F. Hakl), MATFYZPRESS, 2006, pp. 164-171. ISBN: 80-86732-87-8
Presented at: Doktorandský den 06, 20.9.-22.9.2006, Monínec, Sedlec-Prčice, Czech Republic.
Paper in pdf format
Špánek Roman, Tůma Miroslav
Sdílení dat v prostředí s nehomogenními skupinami uživatelů
In: Proceedings of ITAT 2006, Information Technologies - Applications and Theory, 2006. ISBN: 80-969184-4-3
Presented at: ITAT 2006, 26.9.-1.10.2006, Chata Kosodrevina, Bystrá dolina, Nízke Tatry, Slovakia.
Paper in pdf format
See abstract
Špánek Roman
Security, Privacy and Trust in (Semantic)Web
In: Inteligentní modely, algoritmy, metody a nástroje pro vytváření sémantického webu, Ústav informatiky AV ČR, Prague, 2006, pp. 114-122. ISBN: 80-903298-7-X
Presented at: Inteligentní modely, algoritmy, metody a nástroje pro vytváření sémantického webu - Seminář projektu programu Informační společnost, 5.10.-7.10.2006, Zadov, Czech Republic.
See abstract
Špánek Roman
Secure Grid-based Computing with Social-Network Based Trust Management in the (Semantic) Web
In: Frontiers in Mobile and Web Computing, (Ed. Baroli L., Abderazek B.A., Grill T., Nguyen T.M., Tjondronegoro D.), Österreichische Computer Gesselschaft, Wien, 2006, pp. 663-667. ISBN: 3-85403-216-1
Presented at: The Fourth International Conference on Advances in Mobile Computing & Multimedia (MoMM2006), 4.12.-6.12.2006, Yogyakarta, Indonesia.
Paper in pdf format
See abstract
Špánek Roman
Web Search Engines and Linear Algebra
Technical Report: V-974, ICS AS CR, Prague, 2006, 7 p.
Špánek Roman
Maintaining Trust in Large Scale Environments
In: Doktorandský den 07, (Ed. F. Hakl), MATFYZPRESS, 2007, pp. 94-102.
Presented at: Doktorandské dny 2007, 17.-19.9.2007, Malá Úpa, Czech Republic.
Paper in pdf format
Špánek Roman
Supporting Secure Communication in Distributed Environments
Paper in pdf format
See abstract
Špánek Roman
Reputation System for Large Scale Environments
In: WWM 2007, 2007, pp. 621-626.
Presented at: WWM 2007, 1st International Web X.0 and Web Mining Workshop, held in collocation with ICDIM 2007, 28.10.-31.10.2007, Lyon, France.
Paper in pdf format
See abstract
Špánek Roman, Pirkl Pavel, Kovář P.
The Blue Game Project: Ad-hoc Multiplayer Mobole Game with Social Dimension
In: CoNEXT 2007, New York, 2007.
Presented at: 3rd Annual CoNEXT Conference, 10.-13.12.2007, New York, USA.
Paper in pdf format
See abstract
Špánek Roman, Řimnáč Martin, Linková Zdeňka
On creating a trusted and distributed data source environment
In: SOFSEM 2008: Theory and Practice of Computer Science, P. J. Šafárik University, Košice, 2008, pp. 112-123.
Presented at: 34th International Conference on Current Trends in Theory and Practice of Computer Science, 19.-25.1.2008, Nový Smokovec, High Tatras, Slovakia.
Paper in pdf format
Štuller Július, Linková Zdeňka
Inteligentní modely, algoritmy, metody a nástroje pro vytváření sémantického webu
In: Inteligentní modely, algoritmy, metody a nástroje pro vytváření sémantického webu, Ústav informatiky AV ČR, Prague, 2006. ISBN: 80-903298-7-X
Paper in pdf format
See abstract
Toman Kamil, Mlýnková Irena
XML Data - The Current State of Affairs
In: Proceedings of XML Prague 2006 conference, ITI Series, MFF UK, 2006, pp. 87-102.
Presented at: XML Prague 2006, 17.6.-18.6.2006, Prague, Czech Republic.
Paper in pdf format
See abstract
Toman Kamil, Mlýnková Irena
Statistics on The Real XML Data
In: Inteligentní modely, algoritmy, metody a nástroje pro vytváření sémantického webu, Ústav informatiky AV ČR, Prague, 2006, pp. 123-130. ISBN: 80-903298-7-X
Presented at: Inteligentní modely, algoritmy, metody a nástroje pro vytváření sémantického webu - Seminář projektu programu Informační společnost, 5.10.-7.10.2006, Zadov, Czech Republic.
Paper in pdf format
See abstract
Tyl Pavel
Combination of Methods for Ontology Matching
In: Doktorandské dny '08, (Ed. F. Hakl), MATFYZPRESS, 2008, pp. 125-132. ISBN: 978-80-7378-054-8
Presented at: Doktorandské dny 2008, 29.9.-1.10.2008, Jizerka, Czech Republic.
Paper in pdf format
See abstract
Tyl Pavel
Problematika integrace ontologií
In: Doktorandský den 07, (Ed. F. Hakl), MATFYZPRESS, 2007, pp. 110-115.
Presented at: Doktorandské dny 2007, 17.-19.9.2007, Malá Úpa, Czech Republic.
Paper in pdf format
See abstract
Wiedermann Jiří, Petrů Lukáš
On the Universal Computing Power of Amorphous Computing Systems
Technical Report: V-1009, ICS AS CR, Prague, 2007, 11 p.
Paper in pdf format
See abstract
Wiedermann Jiří, Petrů Lukáš
Communicating Mobile Nano-Machines and Their Computational Power
Technical Report: V-1024, ICS AS CR, Prague, 2008, 9 p.
This page was last modified 08.11.2005 19:54. For any comments, please, contact webmaster.