Previous ...

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!

Results - Publications

Year 2008 Year 2007 Year 2006 Year 2005 Year 2004 Years 2004-2008
 
The list of publications in RDF format

 
 
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
total
45
38
23
98 / 33


Paper in pdf format
See abstract
Bartoň Stanislav, Dohnal Vlastislav, Sedmidubský Jan, Zezula Pavel
Gauging the Evolution of Metric Social Network
In: 5th International Workshop on Databases, Information Systems and Peer-to-Peer Computing (DBISP2P 2007) held at 33rd International Conference on Very Large Data Bases (VLDB 2007), 2007, pp. 12.
Presented at: Fifth International Workshop on Databases, Information Systems and Peer-to-Peer Computing (DBISP2P 2007), 24.9.2007, Vienna, Austria.
Batko Michal, Novák David, Zezula Pavel
MESSIF: Metric Similarity Search Implementation Framework
In: Digital Libraries: Research and Development, Springer-Verlag, LNCS 4877, Berlin, Heidelberg, 2007, pp. 1-10. ISBN: 978-3-540-77087-9
Paper in pdf format
See abstract
Batko Michal, Novák David, Zezula Pavel
MESSIF: Metric Similarity Search Implementation Framework
In: DELOS Conference 2007 - Working Notes, Information Society Technologies, Pisa, Italy, 2007, pp. 11-23.
Presented at: DELOS Conference 2007, 13-14.2.2007, Pisa, Italy.
Bednárek David
Optimizing XQuery/XSLT programs using backward analysis
In: Proceedings of ITAT 2007, Information Technologies - Applications and Theory, (Ed. Vojtáš P.), PONT s.r.o., Seňa, 2007, pp. 17-22.
Presented at: Konferencia o informačných (inteligentných) technológiách - aplikácie a teória 2007, 21.-27.9.2007, Polana, Slovakia.
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
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) .
See abstract
Dokulil Jiří, Katreniaková J.
Visualization of large schemaless RDF data
In: Proc. of SEMAPRO (Int. Conf. on Advances in Semantic Processing), IEEE, 2007, pp. 243-248.
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.
Dokulil Jiří, Katreniaková J.
Vizualizácia RDF dát pomocou techniky zlučovania vrcholov
In: Proceedings of ITAT 2007, Information Technologies - Applications and Theory, (Ed. Vojtáš P.), PONT s.r.o., Seňa, 2007, pp. 23-28.
Presented at: Konferencia o informačných (inteligentných) technológiách - aplikácie a teória 2007, 21.-27.9.2007, Polana, Slovakia.
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.
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 Workshop 2007, (Ed. F. Bobillo), CEUR Workshop Proc., 2007, pp. 1-12.
Presented at: Dateso 2008: Annual International Workshop on DAtabases, TExts, Specifications and Objects, 16.4.-18.4.2008, Desná - Černá Říčka, Czech Republic.
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.
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
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.
Falchi Fabrizio, Gennaro Claudio, Rabitti Fausto, Zezula Pavel
A distributed incremental nearest neighbor algorithm
In: International Conference on Scalable Information Systems, Volume: 304, ACM Press, New York, 2007, pp. 1-10.
Presented at: INFOSCALE 2007, 6.-8.6.2007, Suzhou, China.
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.
Galamboš Leo
Vyhledávání na Webu
In: DATAKON 2007, (Ed. Popelínský L., Výborný O.), Masaryk university, 2007, pp. 17-24.
Presented at: DATAKON 2007, 20.10.-23.10.2007, Brno, Czech Republic.
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.
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.
Hanks Patrick
Why Bother with Corpus Evidence
In: Proceedings of the Second International Conference of the German Cognitive Linguistics Association, 2007. (in_print)
Presented at: Second International Conference of the German Cognitive Linguistics Association, 5.10.-7.10.2006, Munich, Germany.
Hanks Patrick, Pala Karel, Rychlý Pavel
Using Corpus Analysis to Mapping Lexical Sets onto Semantic Types through Corpus Analysis
In: Proceedings of the Fourth International Workshop on Generative Approaches to the Lexicon, 2007. (in print)
Presented at: Fourth International Workshop on Generative Approaches to the Lexicon, 10-11.5.2007, Paris, France.
Paper in pdf format
See abstract
Hanks Patrick, Pala Karel
Towards an empirically well-founded semantic ontology for NLP
In: Proceedings of the Fourth International Workshop on Generative Approaches to the Lexicon, 2007.
Presented at: Fourth International Workshop on Generative Approaches to the Lexicon, 10-11.5.2007, Paris, France.
Hanks Patrick
Editorial: Cognition and the Lexicon
In: Lexicology, (Ed. Hanks P.), Volume: 5, Routledge, Taylor and Francis Group, 2007. ISBN: 978-0-415-70098-6
Hanks Patrick
Editorial: Formal Approaches to the Lexicon
In: Lexicology, (Ed. Hanks P.), Volume: 6, Routledge, Taylor and Francis Group, 2007. ISBN: 978-0-415-70098-6
Hlaváčková D., Pala Karel
Surface and Deep Valency Frames in Czech
In: Proceedings of the 25th International Conference on Lexis and Grammar, 2007. (in_print)
Presented at: The 25th International Conference on Lexis and Grammar, 6.9.-10.9.2006, Palermo, Italy.
Paper in pdf format
See abstract
Hlaváčková D., Pala Karel
Computer Processing Derivational Relations in Czech
In: Computer Treatment of Slavic and East European Languages, L. Štúr Institute of Linguistics, Slovak Academy of Sciences, Bratislava, 2007, pp. 198-208.
Presented at: Slovko 2007, 25.-27.10.2007, Bratislava, Slovakia.
Paper in pdf format
See abstract
Horák Aleš, Rambousek Adam
Administration Framework for the DEB Dictionary Server
In: Computer Treatment of Slavic and East European Languages, L. Štúr Institute of Linguistics, Slovak Academy of Sciences, Bratislava, 2007, pp. 70-79.
Presented at: Slovko 2007, 25.-27.10.2007, Bratislava, Slovakia.
See abstract
Horák Aleš, Rambousek Adam
DEB Platform Deployment - Current Applications
In: RASLAN 2007: Recent Advances in Slavonic Natural Language Processing, Masaryk University, Brno, 2007, pp. 3-11.
See abstract
Horák Aleš, Rambousek Adam
Dictionary Management System for DEB Development Platform
In: NLPCS 2007: Proceedings of the 4th International Workshop on Natural Language Processing and Cognitive Science, INSTICC PRESS, Funchal, Portugal, 2007, pp. 129-138.
Presented at: NLPCS 2007, 12.-16.6.2007, Funchal, Madeira - Portugal.
See abstract
Horák Aleš, Holan Tomáš, Kadlec V., Kovář Vojtěch
Dependency and Phrasal Parsers of the Czech Language: A Comparison
In: Proceedings of Text, Speech and Dialogue 2007, Springer, LNAI 4629, Berlin, Heidelberg, 2007, pp. 76-84.
Presented at: TSD 2007, 3.-7.9.2007, Plzeň, Czech Republic.
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, 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.
See abstract
Kovář Vojtěch, Horák Aleš
Reducing the Number of Resulting Parsing Trees for the Czech Language Using the Beautified Chart Method
In: Proceedings of 3rd Language and Technology Conference, Wydawnictwo Poznańskie, Poznań, 2007, pp. 433-437.
Presented at: LTC`07, 5.-7.2007, Poznań, Poland.
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
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.
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, 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
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
See abstract
Matousek T., Zavoral Filip
Extracting Zing Models from C Source Code
In: SOFSEM 2007, LNCS 4362, Springer, Berlin, 2007, pp. 900-910.
Presented at: SOFSEM 2007, 20.2.-26.2.2007, Harrachov, Czech Republic.
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.
Mlýnková Irena
XML Data in (Object-)Relational Databases
In: Diploma Thesis, Charles University, Prague, 2007, pp. 142.
Paper in pdf format
See abstract
Mlýnková Irena
An XML-to-Relational User-driven Mapping Strategy Based on Similarity and Adaptivity
In: Proc. of SYRCoDIS `07 4th Spring Young Researchers Colloquium on Databases and Information Systems, Volume: 256, CEUR Woskhop Proc., 2007, pp. 9-20.
Presented at: SYRCoDIS`07, 31.5.-1.6.2007, Moscow, Russia.
Paper in pdf format
See abstract
Mlýnková Irena, Pokorný Jaroslav
Similarity and XML Technologies
In: Proc. of IADIS International Conference WWW/Internet 2007, (Ed. Isaias P., Nunes M.B., Barroso J.), IADIS, 2007, pp. 277-287.
Presented at: WWW/Internet 2007, 5.-8.10.2007, Vila Real, Portugal.
Paper in pdf format
See abstract
Mlýnková Irena, Pokorný Jaroslav
Similarity of XML Schema Fragments Based on XML Data Statistics
In: Proc. of Innovations '07: Proceedings of the 4th International Conference on Innovations in Information Technology, IEEE Computer Society Press, 2007, pp. 243-247.
Presented at: 4th International Conference on Innovations in Information Technology, 18.-20.11.2007, Dubai, United Arab Emirates.
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.
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
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
Nečaský Martin, Pokorný Jaroslav
Extending E-R for Modelling XML Keys
In: Proc. of IEEE ICDIM 2007: Proc. of The Second International Conference on Digital Information Management, IEEE Computer Society, 2007, pp. 236-241.
Presented at: ICDIM 2007: The Second International Conference on Digital Information Management, 28.-31.10.2007, Lyon, France.
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.
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.
Nováček Vít
Imprecise Empirical Ontology Refinement: Application to Taxonomy Acquisition
In: Proceedings of ICEIS 2007, Kluwer Academic Publishing, Artificial Intelligence and Decision Support Systems, London, 2007, pp. 8. (in_print) Enterprise Information Systems (ICEIS 2007, revised selected papers), Springer, 2007, pp. 8. (in_print)
Presented at: ICEIS 2007, 12.-16.6.2007, Funchal, Madeira - Portugal.
Nováček Vít, Laera Loredana, Handschuh Siegfried
Dynamic Integration of Medical Ontologies in Large Scale
In: Proceedings of WWW2007/HCLSDI, ACM Press, New York, 2007, pp. 10. (in_print)
Nováček Vít, Laera Loredana, Handschuh Siegfried
Aiding the Data Integration in Medicinal Settings by Means of Semantic Technologies
In: Making Semantics Work for Business, Semantic Technology Institutes International Workshop at European Semantic Technology Conference, Vienna, Austria, 2007. (in_print)
Nováček Vít
A Non-traditional Inference Paradigm for Learned Ontologies
In: Proceedings of ESWC 2007 PhD Symposium, CEUR Workshop proceedings Workshop at ESWC 2007, Innsbruck, 2007.
Paper in pdf format
Nováček Vít, Laera Loredana, Handschuh Siegfried
Semi-automatic Integration of Learned Ontologies into a Collaborative Framework
In: Proceedings of IWOD/ESWC 2007, Springer Verlag, Innsbruck, 2007, pp. 14. (in_print)
Nováček Vít, Dabrowski Maciej, Kruk Sebastian R.
Extending Community Ontology Using Automatically Generated Suggestions
In: Proceedings of FLAIRS 2007, AAAI Press, Menlo Park, CA, 2007, pp. 6. (in_print)
Nováček Vít, Handschuh Siegfried, Laera Loredana, Maynard Diana, Voelkel Max
Dynamic Ontology Lifecycle Scenario in Translational Medicine
In: Proceedings of the 5th European Conference of Computational Biology (ECCB 2006) - Book of Abstracts, Oxford University Press, Oxford, 2007, pp. 5. (in print)
Paper in pdf format
See abstract
Novák David, Zezula Pavel
LOBS: Load Balancing for Similarity Peer-to-Peer Structures
Technical Report: FIMU-RS-2007-04, Faculty of Informatics, Masaryk University, Brno, 2007, 22 p.
Novák David
Image Similarity Search: Theory and Practice
In: Third Doctoral Workshop on Mathematical and Engineering Methods in Computer Science MEMICS 2007, Masaryk University and Technical University of Brno, Brno, 2007, pp. 154-160.
Presented at: MEMICS 2007, 26.10.-28.10.2007, Znojmo, Czech Republic.
Novák David, Zezula Pavel
LOBS: Load Balancing for Similarity Peer-to-Peer Structures
In: Databases Information Systems and Peer-to-Peer Computing 2007, Springer Verlag, Berlin Heidelberg New York, 2007, pp. 1-8.
Presented at: DBISP2P 2007, 24.9.2007, Vienna, Austria.
Novák David, Batko Michal, Dohnal Vlastislav, Zezula Pavel
Scaling up the Image Content-based Retrieval
In: Second DELOS Conference 2007 - Working Notes, DELOS Network of Excellence, Pisa, Italy, 2007, pp. 1-10.
Presented at: DELOS Conference 2007, 13-14.2.2007, Pisa, Italy.
Obdržálek David, Benda J.
GFE - Graphical Finite State Machine Editor for Parallel Execution
In: ICEC 2007, (Ed. Ma L., Nakatsu R., Rauterberg M.), LNCS 4740, Springer, IFIP, 2007, pp. 401-406.
Presented at: ICEC 2007 - International Conference on Entertainment Computing, 20.-23.06.2005, Shanghai, China.
Pala Karel, Horák Aleš, Rambousek Adam, Vetulani Zygmunt, Konieczka Paweł, Marciniak Jacek, Obrębski Tomasz, Rzepecki Przemysław, Walkowska Justyna
DEB Platform tools for effective development of WordNets in application to PolNet
In: Proceedings of 3rd Language & Technology Conference, Fundacja Uniwersytetu im. A. Mickiewicza, Poznań, 2007, pp. 514-518.
Presented at: LTC`07, 5.-7.2007, Poznań, Poland.
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.
Pomikálek Jan, Řehůřek R.
The Influence of Preprocessing Parameters on Text Categorization
In: International Conference on Computer, Information and Systems Science and Engineering, Springer, 2007. (in_print)
Presented at: XIX International Conference on Computer, Information and Systems Science and Engineering, 29.1.-31.1.2007, Bangkok, Thailand.
Rychlý Pavel, Kovář Vojtěch
Displaying Bidirectional Text Concordances in KWIC format
In: Proceedings of 5th Biennial Conference of the Asian Association for Lexicography, University of Madras, Chennai, India, 2007, pp. 96-100.
Presented at: Asialex 2007, 6.-8.12.2007, Chennai, India.
Rychlý Pavel
Manatee/Bonito - A Modular Corpus Manager
In: RASLAN 2007: Recent Advances in Slavonic Natural Language Processing, Masaryk University, Brno, 2007, pp. 97-102.
Rychlý Pavel, Kilgarriff A.
An Efficient Algorithm for Building a distributed Thesaurus (and other Sketch Engine Development)
In: Association for Computational Linguistics, Proceedings of the ACL 2007 Demo and Poster Sessions, Prague, 2007, pp. 41-44.
Presented at: ACL 2007, 23.-30.6.2007, Prague, Czech Republic.
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
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 pdf format
See abstract
Sedmidubský Jan, Bartoň Stanislav, Dohnal Vlastislav, Zezula Pavel
Adaptive Approximate Similarity Searching through Metric Social Networks
Technical Report: FIMU-RS-2007-06, Faculty of Informatics, Masaryk University, Brno, 2007, 22 p.
Paper in pdf format
See abstract
Sedmidubský Jan, Bartoň Stanislav, Dohnal Vlastislav, Zezula Pavel
Querying Similarity in Metric Social Networks
In: Network-Based Information Systems, First International Conference, NBiS 2007, Springer, Berlin, 2007, pp. 278-287.
Presented at: NBiS 2007, 3.-7.9.2007, Regensburg, Germany.
Paper in pdf format
See abstract
Skopal Tomáš, Hoksza D.
Improving the Performance of M-tree Family by Nearest-Neighbor Graphs
In: Advances in Databases and Information Systems, LNCS 4690, Springer, Berlin, 2007, pp. 172-188.
Presented at: ADBIS 2007, 29.9.-3.10.2007, Varna, Bulgaria.
Paper in pdf format
See abstract
Skopal Tomáš
Unified Framework for Exact and Approximate Search in Dissimilarity Spaces
In: Transactions on Database Systems (TODS), Volume: 32, No: 4, ACM, 2007, pp. 1-47.
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 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.
Š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
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.
Vlčková Z., Galamboš Leo
Dynamizace gridu
In: Proceedings of ITAT 2007, Information Technologies - Applications and Theory, (Ed. Vojtáš P.), PONT s.r.o., Seňa, 2007, pp. 115-121.
Presented at: Konferencia o informačných (inteligentných) technológiách - aplikácie a teória 2007, 21.-27.9.2007, Polana, Slovakia.
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
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.
See abstract
Zezula Pavel, Giuseppe Amato, Dohnal Vlastislav
Similarity Search: The Metric Space Approach
In: ACM SAC 2007 Conference. ACM SAC 2007 Conference Tutorial, ACM, Seoul, Korea, 2007.
Presented at: ACM SAC 2007, , Seoul, Korea.
This page was last modified 08.11.2005 19:54. For any comments, please, contact webmaster.