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

 
 
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


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.
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.
Paper in pdf format
Batko Michal, Dohnal Vlastislav, Zezula Pavel
M-Grid: Similarity Searching in Grids
In: Proceedings of International Workshop on Information Retrieval in Peer-to-Peer Networks, ACM Press, Arlington, 2006, pp. 1-8.
Paper in pdf format
See abstract
Batko Michal, Novák David, Falchi Fabrizio, Zezula Pavel
On Scalability of the Similarity Search in the World of Peers
In: InfoScale '06: Proceedings of the 1st international conference on Scalable information systems, ACM Press, New York, NY, USA, 2006, pp. 1-12. ISBN: 1-59593-428-6
Bednárek David
Turingovské vzory v XSLT programech
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.
Benda J., Obdržálek David
GFE - Graphical Finite State Machine Editor for Parallel Execution
In: Workshop on Educational Robotics, DIEES, 2006, pp. 41-47.
Presented at: Workshop on Educational Robotics 2006, 1.6.2006, Acireale, Italy.
Bustos B., Skopal Tomáš
Dynamic Similarity Search in Multi-Metric Spaces
In: Proceedings of ACM MIR 2006 (a workshop at ACM Multimedia 2006), ACM Press, Santa Barbara, CA, USA, 2006.
Presented at: ACM MIR 2006, 26.10.-27.10.2006, Santa Barbara, CA, USA.
Daniel Milan
Formulas for Min-C Combination of Belief Functions
In: Proceedings of Eight International Conference on Fuzzy Sets Theory and Applications, (Ed. Klement P.), Academy of Armed Forces of General M. R. Štefánik, Liptovský Mikuláš, 2006, pp. 32-33. ISBN: 80-8040-284-1
Presented at: Eight International Conference on Fuzzy Sets Theory and Applications, 30.1.-3.2.2006, Liptovský Ján, Slovakia.
Daniel Milan
A Generalization of the minC Combination to DSm Hyper-power Sets
In: Proceedings of Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU 2006), Edition EDK, 2006, pp. 420-427. ISBN: 2-84254-112-X
Presented at: Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU 2006), 2.7.-7.7.2006, Paris, France.
Daniel Milan
Several Comments to Josang`s `normal` Coarsening
In: Proceedings of Czech-Japan Seminar on Data Analysis and Decision-Making under Uncertainty, (Ed. Watada J.), Wasada University, Kitakyushu, 2006, pp. 71-78.
Presented at: Czech-Japan Seminar on Data Analysis and Decision-Making under Uncertainty, 18.8.-22.8.2006, Kitakyushu, Japan.
Daniel Milan
What is it Hybrid DSm Rule for Combination of Belief Functions?
In: Proceedings of WUPES 2006, University of Economics, Prague, 2006, pp. 36-51.
Presented at: 7th Workshop on Uncertainty Processing WUPES'06 , 16.9.-20.9.2006, Mikulov, 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.
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 html format
Frolov A., Polyakov P. Y., Húsek Dušan, Řezanková Hana
Neural Network Based Boolean Factor Analysis of Parliament Voting
In: Proceedings in Computational Statistics, Physica-Verlag, Heidelberg, 2006, pp. 861-868. ISBN: 3-7908-1708-2
Presented at: Compstat 2006, 28.8.-1.9.2006, Rome, Italy.
Paper in pdf format
See abstract
Galamboš Leo
Inverted Index Maintenance
In: Inteligentní modely, algoritmy, metody a nástroje pro vytváření sémantického webu, Ústav informatiky AV ČR, Prague, 2006, pp. 27-38. 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.
Gurský Peter, Horváth T., Novotný R., Vaneková Veronika, Vojtáš Peter
UPRE: User preference based search system
In: Proceeding of the IEEE/WIC/ACM International Conference on Web Intelligence, ACM IEEE WIC, 2006, pp. 4.
Presented at: IEEE/WIC/ACM International Conference on Web Intelligence WI-06, 18.12.-22.12.2006, Hong-Kong.
Paper in doc format
See abstract
Hanks Patrick
The Organization of the Lexicon: Semantic Types and Lexical Sets
In: Proceedings of Euralex Conference, University of Torino, 2006.
Presented at: The 12th EURALEX International Congress, 6.9.-9.9.2006, Torino, Italy.
Paper in html format
Hlaváčková D., Horák Aleš, Kadlec V.
Exploitation of the VerbaLex Verb Valency Lexicon in the Syntactic Analysis of Czech
In: Text, Speech and Dialogue - Proceedings of the 9th International Conference, TSD 2006, LNCS 4188, Springer-Verlag, Berlin / Heidelberg, 2006, pp. 79-86.
Presented at: Ninth International Conference on TEXT, SPEECH and DIALOGUE TSD 2006,, 11.9.-15.9.2006, Brno, Czech Republic.
Paper in pdf format
See abstract
Horák Aleš, Pala Karel, Rambousek Adam, Povolný Martin
DEBVisDic – First Version of New Client-Server Wordnet Browsing and Editing Tool
In: Proceedings of the Third International Wordnet Conference, 2006.
Presented at: The 3rd International WordNet Conference (GWC-06), 22.1.-26.1.2006, Jeju Island, Korea.
Paper in pdf format
Húsek Dušan, Frolov A., Polyakov P. Y., Řezanková Hana
Neural Network Based Boolean Factor Analysis: Efficient Tool for Automated Topics Search
In: Proceedings of International Multiconference on Computer Science and Information Technology CSIT 2006, Applied Science Private University, Amman, 2006, pp. 321-327. ISBN: 9957-8592-X
Presented at: International Multiconference on Computer Science and Information Technology CSIT 2006, 5.4.-7.4.2006, Amman, Jordan.
Paper in pdf format
See abstract
Kudělka Miloš, Snášel Václav, El-Qawasmeh Eyas, Lehečka Ondřej
Semantic Web: Web Patterns in Web Page Semantics
In: Inteligentní modely, algoritmy, metody a nástroje pro vytváření sémantického webu, Ústav informatiky AV ČR, Prague, 2006, pp. 39-51. 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
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.
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
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
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
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.
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
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
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.
See abstract
Neruda Roman
Cooperation of Computational Intelligence Agents
In: Collaborative Technologies and Systems, (Ed. Smari W.), IEEE Computer Society, Los Alamitos, 2006, pp. 256-263. ISBN: 0-9785699-0-3
Presented at: International Sympoium on Collaborative Technologies and Systems, 14.5.-17.5.2006, Las Vegas, US.
Neruda Roman, Beuster Gerd
Description and Generation of Computational Agents
In: Proceedings of the First International Conference on Knowledge Science, Engineering and Management (KSEM`06), Lecture Notes in Artificial Intelligence 4092, 2006, pp. 318-329. ISBN: 3-540-37033-8
Presented at: First International Conference on Knowledge Science, Engineering and Management (KSEM`06), 5.8.-8.8.2006, Guilin, China.
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 pdf format
See abstract
Neruda Roman
Hybrid Methods of Computational Intelligence and Software Agents
In: Inteligentní modely, algoritmy, metody a nástroje pro vytváření sémantického webu, Ústav informatiky AV ČR, Prague, 2006, pp. 78-90. 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 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
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 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
Novák David, Zezula Pavel
M-Chord: A Scalable Distributed Similarity Search Structure
In: InfoScale '06: Proceedings of the 1st international conference on Scalable information systems, ACM Press, New York, NY, USA, 2006, pp. 1-10. ISBN: 1-59593-428-6
Paper in html format
See abstract
Obdržálek David, Kulhánek Jiří
Generating and handling of differential data in DataPile-oriented systems
In: Proceedings of the IASTED International Conference on Databases and Applications (DBA 2006), (Ed. Hamza M. H.), 2006. ISBN: 0-88986-560-4
Presented at: IASTED International Conference on Databases and Applications (DBA 2006) as part of the 24th IASTED International Multi-Conference on Applied Informatics, 13.2.-15.2.2006, Innsbruck, Austria.
Pala Karel
Word Sketches and Semantic Roles
In: Proceedings of Corpus Linguistic Conference 2000, Saint-Petersburg State University, 2006. ISBN: 5-288-04181-4
Paper in pdf format
Petricek V., Escher T., Cox I. J., Margetts H.
The Web Structure of E-Government - Developing a Methodology for Quantitative Evaluation
In: Proceedings of the 15th International Conference on World Wide Web WWW 2006, ACM Press, New York, 2006, pp. 669-678.
Presented at: International Conference on World Wide Web WWW 2006, 23.12.-26.12.2006, Edinburgh, UK.
Pokorný Jaroslav
Databázové architektury: současné trendy a jejich vztah k novým požadavkům praxe
In: Sborník příspěvků 20. ročníku konference Moderní databáze, KOMIX, 2006, pp. 5-14. ISBN: 80-239-7109-3
Presented at: Moderní databáze, 30.5.-31.5.2006, Zvánovice, Czech Republic.
Pokorný Jaroslav
Database Architectures: Current Trends and Their Relationships to Requirements of Practice
In: Proceedings of Information Systems Development ’06 Conference, Budapest, 2006.
Presented at: ISD’ 06 Conference, 31.8.-2.9.2006, Budapest, Hungary.
Pokorný Jaroslav
Zpracování proudů dat
In: Proceedings of the Annual Database Conference DATAKON 2006, Masaryk University, Brno, 2006, pp. 61-76.
Presented at: DATAKON 2006, 20.10.-23.10.2006, Brno, Czech Republic.
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 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
Skopal Tomáš
On Fast Non-Metric Similarity Search by Metric Access Methods
In: Proceedings of 10th International Conference on Extending Database Technology EDBT 2006, (Ed. Y. Ioannidis et al.), 2006, pp. 718-736. ISBN: 3-540-32960-9
Presented at: EDBT 2006, 26.3.-31.3.2006, Munich, Germany.
Paper in pdf format
See abstract
Sojka Petr
Towards Digital Mathematical Library
In: Inteligentní modely, algoritmy, metody a nástroje pro vytváření sémantického webu, Ústav informatiky AV ČR, Prague, 2006, pp. 110-113. 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
Š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
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
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
Vojtáš Peter
Model Theoretic and Fixpoint Semantics for Preference Queries over Imperfect Data
In: Proceedings of Inconsistency and Incompleteness in Databases, (Ed. Chomicki J., Wijsen J.), Munich, 2006, pp. 87-91.
Presented at: Inconsistency and Incompleteness in Databases, International Workshop Collocated with the 10 th International Conference on Extending Database Technology, 26.3.2006, Munich, Germany.
Vojtáš Peter
A Fuzzy EL Description logic with Crisp Roles and Fuzzy Aggregation for Web Consulting
In: Proceedings of Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU 2006), Edition EDK, 2006, pp. 1834-1841. ISBN: 2-84254-112-X
Presented at: Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU 2006), 2.7.-7.7.2006, Paris, France.
Paper in pdf format
See abstract
Vojtáš Peter
EL Description Logic Modeling Querying Web and Learning Imperfect User Preferences
In: Uncertainty Reasoning for the Semantic Web - Volume 2, Proceedings of the Second ISWC Workshop on Uncertainty Reasoning for the Semantic Web, (Ed. P.C.G. da Costa, K.B. Laskey, K.J. Laskey, F. Fung, M. Pool), 2006, pp. 2.
Presented at: Workshop on Uncertainty Reasoning for the Semantic Web URSW 2006, 5.11.2006, Athens, Georgia, USA.
Paper in pdf format
Vojtáš Peter, Vomlelová M.
Learning fuzzy logic aggregation for multicriterial querying with user preferences
In: Proceedings of 27th Linz Seminar on Fuzzy Set Theory - Preferences, Games and Decisions, (Ed. J. Fodor, E.P. Klement, M. Roubens), Linz, 2006, pp. 128-129.
Presented at: 27th Linz Seminar on Fuzzy Set Theory - Preferences, Games and Decisions, 7.2.-11.2.2006, Linz, Austria.
Paper in pdf format
See abstract
Wiedermann Jiří
Chtěli byste být mozkem v baňce, aneb o důležitosti vtělenosti a situovanosti při rozvoji mentálních schopností kognitivního agenta
In: Kognice a umělý život, (Ed. Kelemen J.), Sleská univerzita, Ostrava, 2006, pp. 421-427.
Presented at: Kognice a umělý život VI, 28.5.-1.6.2006, Třešť, Czech Republic.
Paper in ppt format
See abstract
Wiedermann Jiří
Grandiózne výzvy pre dlhodobý výskum v informatike
Presented as an invited talk: SOFTEC 2006, Odborná konferencia o víziách a trendoch v moderných informačných technológiách, 2.3.2006, Bratislava, Slovakia.
Paper in pdf format
Wiedermann Jiří
One Computer Theorist`s View of Cognitive Systems
Wiedermann Jiří
HUGO: A Cognitive Architecture with an Incorporated World Model
In: Towards a Science of Complex Systems, (Ed. Jost J., Reed-Tsochas F., Schuster P.), ECCS, Paris, 2006, pp. 15. ISBN: 0-9554123-0-7
Presented at: European Conference on Complex Systems 2006 (ECCS '06), 25.9.-29.9.2006, Oxford, Great Britain.
Yaghob Jakub, Zavoral Filip
Budování infrastruktury sémantického webu
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.
Yaghob Jakub, Zavoral Filip
Semantic Web Infrastructure using DataPile
In: Proceeding of the International Workshop on Technologies and Applications of Knowledge Computing on the Web (IEEE/WIC/ACM International Conference on Web Intelligence), (Ed. C.J. Butz, N.T. Nguyen, Y. Takama, W. Cheung), IEEE Computer Society, 2006, pp. 630-633.
Presented at: International Workshop on Technologies and Applications of Knowledge Computing on the Web (IEEE/WIC/ACM International Conference on Web Intelligence), 18.12.-22.12.2006, Hong-Kong.
Zezula Pavel
P2P Similarity Search Structures
In: Proceedings of the 14th Italian Symposium on Advanced Database Systems, peQuod, Ancona, Italy, 2006, pp. 1-12.
Presented as an invited talk: SEBD 2006 Fourteenth Italian Symposium on Advanced Database Systems, 18.6.-21.6.2006, Ancona, Italy.
Zezula Pavel
Scalable Similarity Search in Computer Networks
In: Advances in Databases and Information Systems, LNCS 4152, Springer-Verlag, Berlin, 2006, pp. 3-3. ISBN: 3-540-37899-5
Presented as an invited talk: Tenth East-European Conference on Advances in Databases and Information Systems, 3.9.-7.9.2006, Thessaloniki, Hellas, Greece.
This page was last modified 08.11.2005 19:54. For any comments, please, contact webmaster.