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.
Paper in pdf format
Bartoň Stanislav, Zezula Pavel
rho-Index - Designing and Evaluating an Indexing Structure for Graph Structured Data
Technical Report: FIMU-RS-2006-07, FI MU, Brno, 2006, 24 p.
Bartoň Stanislav
Searching Indirect Relationships in Citation Analysis Using an Index for Graph Structured Data
In: 2nd Doctoral Workshop on Mathematical and Engineering Methods in Computer Science MEMICS 2006, 2006, pp. 9-16.
Presented at: 2nd Doctoral Workshop on Mathematical and Engineering Methods in Computer Science MEMICS 2006, 27.10.-29.10.2006, Mikulov, Czech Republic.
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
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 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 Learning
In: Diploma Thesis, Faculty of Informatics, Masaryk University, Brno, 2006, pp. 1-65.
Paper in pdf format
See abstract
Nováček Vít
Ontology Acquisition Supported by Imprecise Conceptual Refinement - New Results and Reasoning Perspectives
In: Inteligentní modely, algoritmy, metody a nástroje pro vytváření sémantického webu, Ústav informatiky AV ČR, Prague, 2006, pp. 91-101. ISBN: 80-903298-7-X
Presented at: Inteligentní modely, algoritmy, metody a nástroje pro vytváření sémantického webu - Seminář projektu programu Informační společnost, 5.10.-7.10.2006, Zadov, Czech Republic.
Paper in pdf format
See abstract
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
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
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.
Sojka Petr, Choi Key-Sun, Fellbaum Christiane, Vossen Piek
Proceedings of the Third International WordNet Conference, GWC 2006
In: Proceedings of the Third International Wordnet Conference, 2006.
Sojka Petr, Kopeček Ivan, Pala Karel
Text, Speech and Dialogue - Proceedings of the 9th International Conference, TSD 2006
In: Text, Speech and Dialogue - Proceedings of the 9th International Conference, TSD 2006, LNCS 4188, Springer-Verlag, Berlin / Heidelberg, 2006. ISBN: 978-3-540-39090-9
Paper in html format
Zezula Pavel, Giuseppe Amato, Dohnal Vlastislav, Batko Michal
Similarity Search - The Metric Space Approach.
In: Advances in Database Systems, Volume: 32, Springer, 2006, pp. 220. ISBN: 0-387-29146-6
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.
See abstract
Zezula Pavel, Dohnal Vlastislav, Novák David
Towards Scalability of Similarity Searching
In: Global Data Management, (Ed. Baldoni R., Cortese G., Davide F., Melpignano A.), Volume: 8 of Emerging Communication: Studies in New Technologies and Practices in Communication, IOS Press, Amsterdam, The Netherlands, 2006. ISBN: 1-58603-629-7
This page was last modified 08.11.2005 19:54. For any comments, please, contact webmaster.