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
See abstract
Beuster Gerd, Neruda Roman
Configuring Computational Agents
In: Knowledge Grid and Grid Intelligence 2004, Halifax, Saint Mary`s University, 2004, pp. 57-62. ISBN: 0-9734039-8-5
Presented at: International Workshop on Knowledge Grid and Grid Intelligence (2.), 20.-24.09.2004, Peking, China.
Paper in pdf format
Daniel Milan
The minC Combination of Belief Functions: Derivation and Formulas
Technical Report: V-964, ICS AS CR, Prague, 2006, 19 p.
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
Daniel Milan
A Comparison of the Generalized minC combination and the Hybrid DSm combination Rules
In: Advances and Applications od DSmT for Information Fusion, (Ed. Smarandache F.), Volume: II, American Research Press, 2006, pp. 113-129. ISBN: 1-59973-000-6
Paper in pdf format
Daniel Milan
Classical Combination Rules Generalized to DMs Hyper-Power Sets and their Comparison with the Hybrid DSm rule
In: Advances and Applications od DSmT for Information Fusion, (Ed. Smarandache F.), Volume: II, American Research Press, 2006, pp. 89-112. ISBN: 1-59973-000-6
Paper in html format
See abstract
Daniel Milan
Generalization of the Classic Combination Rules to DSm Hyper-Power Sets
In: Information & Security, Volume: 20, 2006, pp. 50-64.
Daniel Milan
Classical Belief Conditioning and its Generalization to DSm Theory
In: Proceedings of The 6th International Conference on Information and Management Sciences, California Polytechnic State University, Berlin, 2007, pp. 596-603.
Presented at: The Sixth International Conference on Information and Management Sciences (IMS2007), 1.-6.7.2007, Lhasa, Tibet, China.
Daniel Milan
Several Comments and Questions to Josang`s Smooth Coarsening
In: Proceedings of Czech-Japan Seminar on Data Analysis and Decision Making under Uncertainty, (Ed. Kroupa T., Vejnarová J.), UTIA AV ČR, Praha, 2007, pp. 27-40.
Presented at: Czech-Japan Seminar on Data Analysis and Decision Making under Uncertainty, 15.-18.09.2007, Liblice, Czech Republic.
See abstract
Daniel Milan
The DSm Approach as a Special Case of the Dempster-Shafer Theory
In: ECSQARU 2007, (Ed. Mellouli K.), LNAI 4724, Springer-Verlag, 2007, pp. 381-392.
Presented at: ECSQARU 2007, 31.10.-2.11.2007, Hammamet, Tunisia.
Paper in pdf format
See abstract
Daniel Milan
Comments on Josang's Normal Coarsening and Consensus Operator
In: IJICIC, Volume: 4, No: 5, 2008, pp. 1079-1088.
See abstract
Daniel Milan
Contribution of DSm Approach to the Belief Function Theory
In: IPMU 2008, 2008, pp. 417-424.
Presented at: IPMU 2008, 22.-27.06.2008, Malaga - Torremolinos, Spain.
Daniel Milan
Relations of DSm Belief Conditioning Rules to Dempster-Shafer Approach
In: Proceedings of Czech-Japan Seminar on Data Analysis and Decision-Making under Uncertainty, (Ed. T. Itoh, A. Shioura), 2008, pp. 63-68.
Presented at: 11th Czech-Japan Seminar on Data Analysis and Decision-Making under Uncertainty, 15.-17.9.2008, Sendai - Tohoku University, Japan.
See abstract
Daniel Milan
Mathematical Structure and Formulas for the minC Combination of Belief Functions
In: Fusion 2008, 2008, pp. 760-767.
Presented at: Fusion 2008, 30.06-03.07.2008, Cologne, Germany.
Paper in pdf format
See abstract
Dědek Jan, Vojtáš Peter
Extrakce informací z textově orientovaných zdrojů webu
In: Znalosti 2008, (Ed. V. Snášel), Vydavatelstvo STU, Bratislava, 2008.
Presented at: Znalosti 2008, 13.-15.2.2008, Bratislava, Slovakia.
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.
Duží Marie, Vojtáš Peter
Multi-Criterion Search from the Semantic Point of View
In: EJC`07, (Ed. Jaakkola H. et al.), Juvenes Print-TTY, Tampere, 2007, pp. 21-39.
Presented at: THE 17th EUROPEAN - JAPANESE CONFERENCE ON INFORMATION MODELLING AND KNOWLEDGE BASES , 4.-8.6.2007, Pori, Finland.
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
Uživatelské preference při hledání ve webovských zdrojích
In: Znalosti 2007, Fakulta elektrotechniky a informatiky, VŠB - Technická univerzita Ostrava, 2007, pp. 179-190.
Presented at: Znalosti 2007, 21.2.-23.2.2007, Ostrava, Czech Republic.
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.
See abstract
Eckhardt Alan, Pokorný Jaroslav, Vojtáš Peter
Integrating user and group preferences for top-k search from distributed web resources
In: Proc. of DEXA Workshop Decision Support for Structural Health Monitoring and Flexible Query Processing, (Ed. Tjoa A.M., Wagner R.R..), IEEE, 2007, pp. 317-322.
Presented at: DEXA Workshop, 3.-7.9.2007, Regensburg, Germany.
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.
Eckhardt Alan, Horváth T., Maruščák D., Novotný R., Vojtáš Peter
Uncertainty Issues in Automating Process Connecting Web and User
In: Proc. of Uncertainty Reasoning for the Semantic Web (URSW 2007), Workshop at ISWC+ASWC 2007, (Ed. deCosta P. et al.), 2007, pp. 97-108.
Presented at: ISWC 2007, 12.11.2007, Busan, Korea.
Paper in pdf format
See abstract
Farský Miroslav, Neruda Martin, Neruda Roman
Mass and energy flows in consequences of company environmental acconting
In: Proceeding of the Environmental Accounting - Sustainable Development Indicators, International Conference EA-SDI 2005, (Ed. Ritschelová I.), Jan Evangelista Purkyně University and Charles University, Ústí nad Labem and Prague, 2005, pp. 356-362. ISBN: 80-7044-676-5
Presented at: International Conference EA-SDI 2005, 26.9.-27.9.2005, Czech Republic.
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 html format
See abstract
Frolov A., Húsek Dušan, Muraviev P. Igor, Polyakov P. Y.
Boolean Factor Analysis by Attractor Neural Network
In: IEEE Transactions on Neural Networks, Volume: 18, No: 3, IEEE, 2007, pp. 698-707.
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.
Gurský Peter, Vojtáš Peter
Multikriteriálne vyhľadávanie najlepších objektov s podporou viacerých užívateľov
In: Znalosti 2007, Fakulta elektrotechniky a informatiky, VŠB - Technická univerzita Ostrava, 2007, pp. 52-62.
Presented at: Znalosti 2007, 21.2.-23.2.2007, Ostrava, Czech Republic.
Gurský Peter, Horváth T., Jirásek J., Krajči S., Novotný R., Vaneková Veronika, Vojtáš Peter
Web Search with Variable User Model
In: DATAKON 2007, (Ed. Popelínský L., Výborný O.), Masaryk university, 2007, pp. 111-121.
Presented at: DATAKON 2007, 20.10.-23.10.2007, Brno, Czech Republic.
Paper in pdf format
See abstract
Gurský Peter, Horváth T., Jirásek J., Krajči S., Novotný R., Vaneková Veronika, Vojtáš Peter
Knowledge Processing for Web Search - An integrated Model
In: Proc. of the 1st International Symposium on Intelligent and Distributed Computing (IDC 2007), STUDIES IN COMPUTATIONAL INTELLIGENCE, (Ed. Badica C., Paprzycki M.), Volume: 78, Springer, 2007, pp. 95-104.
Presented at: IDC 2007: 1st International Symposium on Intelligent and Distributed Computing, 18.-20.10.2007, Craiova, Romania.
Paper in pdf format
See abstract
Hájek Petr
Making fuzzy description logic more general
In: Fuzzy Sets and Systems, Volume: 154, 2005, pp. 1-15.
Paper in pdf format
See abstract
Hájek Petr
What does Mathematical Fuzzy Logic Offer to Description Logic?
In: Fuzzy Logic and the Semantic Web, (Ed. Sanchez E.), Elsevier, 2006. ISBN: 0-444-51948-3
Hájek Petr, Mesiar R.
On copulas, quasicopulas and fuzzy logic
In: Soft Computing, Volume: 12, No: 12, Springer, 2008, pp. 1239-1243.
Hliněná Dana, Vojtáš Peter
A Note on an Example of Use of Fuzzy Preference Structures
In: Acta Universitatis Matthiae Belii, Volume: 14, 2008, pp. 29-39.
Paper in pdf format
See abstract
Holeňa Martin
Získávání logických tvrzení z dat jako významný směr dobývání znalostí z dat
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. 311-322. ISBN: 80-7097-609-8
Presented at: ITAT 2005, 20.9. - 25.9.2005, Račkova dolina, Slovakia.
Paper in html format
See abstract
Húsek Dušan, Pokorný Jaroslav, Řezanková Hana, Snášel Václav
Data clustering: From documents to the Web
In: Web Data Management Practices: Emerging Techniques and Technologies, (Ed. Vakali A., Pallis G.), Idea Group Inc., 2007, pp. 1-33.
Paper in html format
See abstract
Húsek Dušan, Snášel Václav, Owais Suhail S. J., Krömer Pavel
Using Genetic Algorithms for Boolean Queries Optimization
In: Proceedings of the Ninth IASTED International Conference INTERNET AND MULTIMETIA SYSTEMS AND APPLICATIONS, ACTA Press, 2005, pp. 178-184.
Presented at: Ninth IASTED International Conference INTERNET AND MULTIMETIA SYSTEMS AND APPLICATIONS, 15.8.-17.8.2005, Honolulu, Hawaii, USA.
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 html format
See abstract
Húsek Dušan, Moravec Pavel, Snášel Václav, Frolov A., Polyakov P. Y.
Comparison of Neural Network Boolean Factor Analysis Method with Some Other Dimension Reduction Methods on Bars Problem
In: Pattern Recognition and Machine Intelligence, (Ed. Ghosh A., De R.), LNCS 4815, Springer, Berlin, 2007. ISBN: 978-3-540-77045-9
Presented at: PReMI 2007. International Conference (2.), 18.-22.12.2007, Kolkata, India.
Paper in pdf format
See abstract
Jiroušek Radim, Vejnarová Jiřina, Daniel Milan
Compositional Models of Belief Functions
In: ISIPTA'07, Charles University, Faculty of Mathematics and Physics, Prague, 2007, pp. 243-252.
Presented at: ISIPTA'07 - FIFTH INTERNATIONAL SYMPOSIUM ON IMPRECISE PROBABILITY: THEORIES AND APPLICATIONS, 16.-19.7.2007, Prague, Czech Republic.
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
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, 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
Kůrková Věra, Sanguineti Marcello
Learning with generalization capability by kernel methods of bounded complexity
In: Journal of Complexity, Volume: 21, Elsevier, 2005, pp. 350-367.
See abstract
Kůrková Věra
Inverse Problem in Data Analysis
In: Przeglad elektrotechniczny, Volume: 82, No: 4, 2006, pp. 41-47.
Paper in pdf format
See abstract
Kůrková Věra
Estimates of Data Complexity in Neural-Network Learning
In: SOFSEM 2007, LNCS 4362, Springer, Berlin, 2007.
Presented at: SOFSEM 2007, 20.2.-26.2.2007, Harrachov, Czech Republic.
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
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
See abstract
Nedbal Radim
Non-monotonic reasoning with Various Kinds of Preferences in the Relational data Model Framework
In: Proceedings of ITAT 2007, Information Technologies - Applications and Theory, (Ed. Vojtáš P.), PONT s.r.o., Seňa, 2007, pp. 15-20.
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
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, Vaculín Roman
Concept nodes architecture within the Bang3 system
Technical Report: V-947, ICS AS CR, 2005
Paper in pdf format
See abstract
Neruda Roman, Farský Miroslav, Neruda Martin
Mass and energy flows in consequences of company environmental acconting (abstract)
In: Environmental Accounting - Sustainable Development Indicators, International Conference EA-SDI 2005, Collection of Abstracts, (Ed. Ritschelová I.), Jan Evangelista Purkyně University and Charles University, Ústí nad Labem and Prague, 2005, pp. 51. ISBN: 80-7044-674-9
Presented at: International Conference EA-SDI 2005, 26.9.-27.9.2005, Czech Republic.
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.
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 pdf format
See abstract
Neruda Roman
Implementation of Ontology Mapping for Computational Agents
In: WSEAS Transactions on Computers Research, Volume: 1, 2006, pp. 58-63.
Neruda Roman, Beuster Gerd
Towards Dynamic Generation of Computational Agents by Means of Logical Descriptions
In: International Workshop on Multi-Agent System Challenges for Ubiquitous and Pervasive Computing, UTBM/LST, Paris, 2007, pp. 17-28.
Presented at: MASUPC`07 International Workshop on Multi-Agent System Challenges for Ubiquitous and Pervasive Computing, 02.-04.05.2007, Paris, France.
Neruda Roman
Hybrid Evolutionary Algorithm for Multilayer Perceptron Networks with Competetive Performance
In: Evolutionary Computation, IEEE, Los Alamitos, 2007, pp. 1620-1627.
Presented at: CEC 2007, Congress on Evolutionary Computation, 25.-28.09.2007, Singapore, SG.
Paper in pdf format
See abstract
Neruda Roman, Beuster Gerd
Toward Dynamic Generation of Computational Agents by Means of Logical Descriptions
In: International Transactions on Systems Science and Applications, Volume: 4, No: 1, 2008.
Paper in pdf format
See abstract
Neruda Roman
Ontology-based and Evolutionary Search for Computational Agents Schemes
In: Proceedings of The Twentieth International Conference on Software Engineering and Knowledge Engineering SEKE 2008, Knowledge Systems Institute, Skokie, 2008.
Presented at: SEKE 2008, 1.-3.7.2008, Redwood City, California, USA.
Paper in pdf format
See abstract
Petrů Lukáš, Wiedermann Jiří
A Model of an Amorphous Computer and its Communication Protocol
Technical Report: V-970, ICS AS CR, Prague, 2006, 8 p.
Paper in pdf format
See abstract
Petrů Lukáš, Wiedermann Jiří
A Model of an Amorphous Computer and its Communication Protocol
In: SOFSEM 2007, LNCS 4362, Springer, Berlin, 2007.
Presented at: SOFSEM 2007, 20.2.-26.2.2007, Harrachov, Czech Republic.
Paper in pdf format
See abstract
Petrů Lukáš, Wiedermann Jiří
On the universal computing power of amorphous computing systems
In: Theory of Computing Systems, Springer, 2008. (in_print)
Paper in doc format
Řezanková Hana, Húsek Dušan, Snášel Václav
Clustering as a Tool for Data Mining
In: Applications of Mathematics and Statistics in Economy, Professional Publishing, Prague, 2004, pp. 203-208. ISBN: 80-86419-77-0
Presented at: 7th International Scientific Conference, 2.-3.9.2004, České Budějovice, 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
Řimnáč Martin
Data Structure Estimation for RDF Oriented Repository Building
In: Complex, Intelligent and Software Intensive Systems, (Ed. Barolli L., Tjoa A.), IEEE Computer Society, Los Alamitos, 2007, pp. 147-154.
Presented at: CISIS`07 International Conference on Complex, Intelligent and Software Intensive Systems, 10.-13.04.2007, Vienna, Austria.
Paper in html format
Skopal Tomáš, Pokorný Jaroslav, Snášel Václav
Nearest Neighbours Search using the PM-tree
In: Procedings of The 10th International Conference on Database Systems for Advanced Applications, LNCS 3453, Springer-Verlag, 2005, pp. 803-815.
Presented at: DASFAA 2005, 17.4.-20.4.2005, Beijing, China.
Paper in pdf format
See abstract
Skopal Tomáš, Snášel Václav
An Application of LSI and M-tree in Image Retrieval
In: GESTS International Transactions on Computer Science and Engineering, Volume: 34, No: 1, GEST Society, 2006, pp. 212-225.
Slušný Stanislav, Vidnerová Petra, Neruda Roman
Behavior Emergence in Autonomous Robot control by Means of Feedforward and Recurrent Neural Networks
In: WCECS 2007, (Ed. Ao S., Douglas C., Grundfest W., Schruben L., Wu X.), IA ENG, LNCS, Hong Kong, 2007, pp. 518-523.
Presented at: WCECS 2007. World Congress on Engineering and Computer Science, 24.-26.10.2007, San Francisco, USA.
Paper in pdf format
See abstract
Slušný Stanislav, Neruda Roman, Vidnerová Petra
Rule-based Analysis of Behaviour Learned by Evolutionary and Reinforcement Algorithms
In: Advanced Intelligent Computing Technology and Applications-ICIC2008, LNAI, Springer Verlag, 2008.
Presented at: ICIC 2008, 15.-18.09.2008, Shanghai, China.
Paper in pdf format
See abstract
Snášel Václav, Moravec Pavel, Pokorný Jaroslav
WordNet Ontology Based Model for Web Retrieval
In: Proceedings of International Workshop on Challenges in Web Information Retrieval and Integration (WIRI) 2005, IEEE Computer Society Press, 2005, pp. 231-236.
Presented at: International Workshop on Challenges in Web Information Retrieval and Integration, 8.4.-9.4. 2005, Tokyo, Japan.
Paper in pdf format
See abstract
Snášel Václav, Moravec Pavel, Pokorný Jaroslav
Using BFA with wordnet ontology based model for web retrieval
In: Proceedings of the First IEEE International Conference on Signal-Image Technology & Internet-Based Systems (SITIS`05), 2005, pp. 254-259.
Presented at: First IEEE International Conference on Signal-Image Technology & Internet-Based Systems (SITIS`05), 27.11.-1.12.2005, Yaoundé, Cameroon.
Snášel Václav, Moravec Pavel, Pokorný Jaroslav
Using BFA with WordNet Based Model for Web Retrieval
In: Journal of Digital Information Management, Volume: 4, No: 2, 2006, pp. 107-111.
Snášel Václav, Moravec Pavel, Húsek Dušan, Frolov A., Řezanková Hana, Polyakov P. Y.
Pattern Discovery for High-Dimensional Binary Datasets
In: ICONIP 2007: International Conference on Neural Information Processing, (Ed. M. Ishikawa, K. Doya, H. Miyamoto, T. Yamakawa), LNCS 4984, Springer, Berlin, 2008, pp. 861-872. ISBN: 978-3-540-69154-9
Presented at: 14th International Conference on Neural Information Processing, 13.-16.11.2007, Kitakyushu, Japan.
Paper in html format
See abstract
Snášel Václav, Řezanková Hana, Húsek Dušan, Kudělka Miloš, Lehečka Ondřej
Semantic Analysis of Web Pages using Cluster Analysis and Nonnegative matrix Factorization
In: Advances in Intelligent Web Mastering, (Ed. Wegrzyn-Wolska K., Szczepaniak P.), Volume: 43, Springer, Berlin, 2007, pp. 328-336. ISBN: 978-3-540-72574-9
Presented at: AWIC 2007. Atlantic Web Intelligence Conference (5.), 25.6.-27.6.2007, Fontainbleau, France.
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
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
Vaculín Roman, Neruda Roman
Autonomous behavior of computational agents
In: Adaptive and Natural Computing Algorithms, Springer, Wien, 2005, pp. 514-517.
Presented at: ICANNGA 2005, 21.-23.03.2005, Coimbra, Portugal.
Paper in pdf format
See abstract
Van Leeuwen Jan, Wiedermann Jiří
Lazy Autoconfiguration in Mobile Ad Hoc Networks and Dynamic Sets of Mobile Agents
Technical Report: UU-CS-2006-018, Department of Information and Computing Sciences, Utrecht University, Utrecht, 2006
Vojtáš Peter
Proceedings of ITAT 2005, Information Technologies - Applications and Theory
In: Proceedings of ITAT 2005, Information Technologies - Applications and Theory, (Ed. Vojtáš P.), Prírodovedecká fakulta Univerzity Pavla Jozefa Šafárika, Košice, 2005. ISBN: 80-7097-609-8
Vojtáš Peter
Fuzzy Logic as an Optimization Task
In: Fuzzy Logic and Technology, (Ed. Sobrevilla P., Montseny E.), Barcelona, 2005, pp. 781-786. ISBN: 84-7683-872-3
Presented at: EUSFLAT - LFA 2005. Conference of the European Society for Fuzzy Logic and Technology /13./, Recontres Francophones sur la Logique Floue et ses Applications /11./, 7.9.-9.9.2005, Barcelona, Spain.
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.
Vojtáš Peter
Fuzzy Logic Aggregation for Semantic Web Search for the Best Answer
In: Fuzzy Logic and the Semantic Web, (Ed. Sanchez E.), Elsevier, 2006. ISBN: 0-444-51948-3
Vojtáš Peter
Information Technologies - Applications and Theory
In: Proceedings of ITAT 2006, Information Technologies - Applications and Theory, 2006. ISBN: 80-969184-4-3
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.
Vojtáš Peter
EL description logic with aggregation of user preference concepts
In: Frontiers in Artificial Intelligence and applications 154, Information modelling and Knowledge Bases XVIII, IOS Press, Amsterdam, 2007, pp. 154-165.
Paper in pdf format
See abstract
Wiedermann Jiří
HUGO: A Cognitive Architecture with an Incorporated World Model
Technical Report: V-966, ICS AS CR, Prague, 2006, 15 p.
Paper in pdf format
See abstract
Wiedermann Jiří
Chtěli byste být mozkem v baňce?
Technical Report: V-967, ICS AS CR, Prague, 2006, 7 p.
Paper in pdf format
See abstract
Wiedermann Jiří
Self-Reproducing Self-Assembling Evolutionary Automata
In: Tillings and Cellular Automata, CDMTCS, Auckland, 2004, pp. 1-15.
Presented at: International Workshop on Tillings and Cellular Automata, 13.-17.12.2004, Auckland, New Zeland.
Paper in pdf format
See abstract
Wiedermann Jiří
Self-Reproducing by Self-Assembly and Fission
In: Developments in Language Theory. Supplemental Papers., CDMTCS, Auckland, 2004, pp. 1-10.
Presented at: DLT`04. International Conference on Developments in Language Theory /8./, 13.-17.12.2004, Auckland, New Zeland.
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 doc format
Wiedermann Jiří
Problém softwarových agentů a sémantický web
Presented at: ITAT 2004, Workshop on Information Technologies - Applications and Theory, 15.9.-19.9.2004, High Tatra, Slovakia.
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ří, Tel Gerard, Pokorný Jaroslav, Bieliková Mária, Štuller Július
Proceedings of SOFSEM 2006
In: Proceedings of SOFSEM 2006, Volume: II, ICS AS CR, Prague, 2006. ISBN: 80-903298-4-5
Wiedermann Jiří, Tel Gerard, Pokorný Jaroslav, Bieliková Mária, Štuller Július
Proceedings of SOFSEM 2006: Theory and Practice of Computer Science
In: Proceedings of SOFSEM 2006: Theory and Practice of Computer Science, LNCS 3831, Springer-Verlag, Berlin, 2006. ISBN: 3-540-31198-X
Paper in pdf format
See abstract
Wiedermann Jiří
Globural Universe and Autopoietic Automata: A Framework for Artificial Life
In: Advances in Artificial Life, (Ed. Bentley P. J., Capcarrere M., Freitas A. A., Johnson C. G.), Springer Verlag, Berlin, 2005, pp. 21-30.
Presented at: ECAL 2005, European Conference on Artificial Life, 5.9.-9.9.2005, Cantebury, UK.
Paper in pdf format
See abstract
Wiedermann Jiří
Can Cognitive and Intelligent Systems Outperform Turing Machines?
In: Proceedings of Czech-Argentinian Workshop `e-Golems` (Interdisciplinary Aspects of Human-Machine Co-existence and Co-operation), (Ed. Marik et al.), CTU, Prague, 2005, pp. 82-86.
Presented at: Czech-Argentinian Workshop `e-Golems` (Interdisciplinary Aspects of Human-Machine Co-existence and Co-operation), 2.7.-5.7.2005, Prague, Czech Republic.
Paper in pdf format
See abstract
Wiedermann Jiří
Neomezený evoluční růst výpočetní síly sebereprodukčních automatů v globulárním vesmíru a jiné výsledky
In: Kognice a umělý život, (Ed. Kelemen J., Kvasnička V., Pospíchal J.), Sleská univerzita, Ostrava, 2005, pp. 613-623. ISBN: 80-7248-310-2
Presented at: Kognícia a umelý život V, 30.5.-2.6.2005, Smolenice, Slovakia.
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.
Paper in pdf format
Wiedermann Jiří
Lesk a bída nestandardních výpočetních systémů
In: SOFTECON 2007, Softec, Bratislava, 2007, pp. 1-32.
Presented at: SOFTECON 2007. Odborná konferencia o víziách a trendoch v moderných informačných technologiách, 1.3.2007, Bratislava, Slovakia.
Paper in pdf format
See abstract
Wiedermann Jiří
Nástin architektury vědomého kognitivního agenta se dvěma vnitřními modely světa
In: Kognice a umělý život, (Ed. Kelemen J., Kvasnička V., Pospíchal J.), Sleská univerzita, Opava, 2007, pp. 377-383.
Presented at: Kognice a umělý život VII, 28.5.-31.5.2007, Smolenice, Slovakia.
Paper in pdf format
See abstract
Wiedermann Jiří
Spojení samoorganizace s výpočty: minimální život v moři umělých molekul
In: Myseľ, inteligencia a život, (Ed. Kvasnička V., Trebanický P., Pospíchal J., Kelemen J.), Slovenská technická univerzita, Bratislava, 2007, pp. 497-512.
Paper in pdf format
See abstract
Wiedermann Jiří
Výpočetní meze kognitivních a inteligentních systémů
In: Umělá inteligence, (Ed. Mařík V., Štěpánková O., Lažanský J.), Academia, 2007, pp. 75-90. ISBN: 978-80-200-1470-2
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.
Paper in pdf format
See abstract
Wiedermann Jiří
An Architecture of an Embodied Cognitive Agent with Two Cooperating Internal World Models
In: Cybernetics and Systems Research, (Ed. R. Trappl), Austrian Society of Cybernetics Studies, Vienna, 2008, pp. 561-566.
Presented at: EMCSR 2008, 25.-28.03.2008, Vienna, Austria.
Paper in pdf format
See abstract
Wiedermann Jiří
Specifikace výpočetního modelu mysli vědomého vtěleného agenta
In: Modely mysle, (Ed. V. Kvasnicka, J. Kelemen, J. Pospichal a E. Gal), Europa, Bratislava, 2008.
Paper in pdf format
See abstract
Wiedermann Jiří
How we think of computing today
In: Logic and Theory of Algorithms, LNCS 5028, Springer, 2008, pp. 579-593.
Presented as an invited talk: Conference on Computability in Europe, CiE 2008, 15.-20.06.2008, Athens, Greece.
This page was last modified 08.11.2005 19:54. For any comments, please, contact webmaster.