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

 
 
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
total
57
41
24
111 / 45


Paper in pdf format
See abstract
Ali K., Pokorný Jaroslav
XML-based Temporal Models
Technical Report: DC-2006-02, Dep. of Comp. Sc. and Engineering, FEE TU, Prague, 2006, 39 p.
Bednárek David
Turingovské vzory v XSLT programech
In: Proceedings of ITAT 2006, Information Technologies - Applications and Theory, 2006. ISBN: 80-969184-4-3
Presented at: ITAT 2006, 26.9.-1.10.2006, Chata Kosodrevina, Bystrá dolina, Nízke Tatry, Slovakia.
Benda J., Obdržálek David
GFE - Graphical Finite State Machine Editor for Parallel Execution
In: Workshop on Educational Robotics, DIEES, 2006, pp. 41-47.
Presented at: Workshop on Educational Robotics 2006, 1.6.2006, Acireale, Italy.
Bustos B., Skopal Tomáš
Dynamic Similarity Search in Multi-Metric Spaces
In: Proceedings of ACM MIR 2006 (a workshop at ACM Multimedia 2006), ACM Press, Santa Barbara, CA, USA, 2006.
Presented at: ACM MIR 2006, 26.10.-27.10.2006, Santa Barbara, CA, USA.
Paper in pdf format
See abstract
Dokulil Jiří, Yaghob Jakub, Zavoral Filip
Infrastruktura pro dotazování nad semantickými daty
In: Inteligentní modely, algoritmy, metody a nástroje pro vytváření sémantického webu, Ústav informatiky AV ČR, Prague, 2006, pp. 10-26. ISBN: 80-903298-7-X
Presented at: Inteligentní modely, algoritmy, metody a nástroje pro vytváření sémantického webu - Seminář projektu programu Informační společnost, 5.10.-7.10.2006, Zadov, Czech Republic.
Dokulil Jiří
Použití relačních databází pro vyhodnocování SPARQL dotazů
In: Proceedings of ITAT 2006, Information Technologies - Applications and Theory, 2006. ISBN: 80-969184-4-3
Presented at: ITAT 2006, 26.9.-1.10.2006, Chata Kosodrevina, Bystrá dolina, Nízke Tatry, Slovakia.
Paper in pdf format
See abstract
Dokulil Jiří
Evaluation of SPARQL queries using relational databases
In: Proceedings of 5th International Semantic Web Conference, ISWC, 2006, (Ed. Cruz I.), LNCS 4273, Springer Verlag, Athens, FA, USA, 2006, pp. 972-973.
Eckhardt Alan, Vojtáš Peter
Towards ontology language handling imperfection
In: Proceeding of the 1st Workshop on Intelligent and Knowledge oriented Technologies, 2006, pp. 124-125.
Presented at: 1st Workshop on Intelligent and Knowledge oriented Technologies, 28.11.-29.11.2006, Bratislava, Slovakia.
Galamboš Leo
Dynamic Inverted Index Maintenance
In: International Journal of Computer Science, Volume: 1, No: 2, 2006, pp. 157-162.
Paper in pdf format
See abstract
Galamboš Leo
Inverted Index Maintenance
In: Inteligentní modely, algoritmy, metody a nástroje pro vytváření sémantického webu, Ústav informatiky AV ČR, Prague, 2006, pp. 27-38. ISBN: 80-903298-7-X
Presented at: Inteligentní modely, algoritmy, metody a nástroje pro vytváření sémantického webu - Seminář projektu programu Informační společnost, 5.10.-7.10.2006, Zadov, Czech Republic.
Galamboš Leo, Lánský Jan, Chernik K.
Compression of Semistructured Documents
In: International Enformatika Conference IEC 2006, Enformatika, Transactions on Engieering, Computing and Technology, 2006, pp. 222-227.
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.
Lánský Jan, Galamboš Leo, Chernik K.
Komprese webového uložiště
In: Proceedings of ITAT 2006, Information Technologies - Applications and Theory, 2006. ISBN: 80-969184-4-3
Presented at: ITAT 2006, 26.9.-1.10.2006, Chata Kosodrevina, Bystrá dolina, Nízke Tatry, Slovakia.
Paper in pdf format
See abstract
Mlýnková Irena, Toman Kamil, Pokorný Jaroslav
Statistical Analysis of Real XML Data Collections
Technical Report: 2006/5, MFF UK, Prague, 2006, 39 p.
Mlýnková Irena, Toman Kamil, Pokorný Jaroslav
Statistical Analysis of Real XML Data Collections
In: Proceeding of the 13th International Conference on Management of Data - COMAD 2006, (Ed. Lakshmanan, L.L., Roy, P., Tung, A.), Tata McGraw Hill Publ. Comp., Delhi, 2006, pp. 20-31.
Presented at: 13th International Conference on Management of Data - COMAD 2006, 14.12.-16.12.2006, Delhi, India.
Paper in pdf format
See abstract
Nečaský Martin
Conceptual Modeling for XML: A Survey
Technical Report: 2006-3, Dep. of Software Engineering, Faculty of Mathematics and Physics, Charles University, Prague, 2006, 54 p.
Paper in pdf format
See abstract
Nečaský Martin
Conceptual Modeling for XML: A Survey
In: Proceedings of the Dateso 2006, CEUR-WS, 2006, pp. 40-53.
Presented at: Dateso 2006 Annual International Workshop on DAtabases, TExts, Specifications and Objects, 26.4.-28.4.2006, Desná - Černá Říčka, Czech Republic.
Paper in pdf format
See abstract
Nečaský Martin
XSEM – A Conceptual model for XML Data
In: Proceedings of Communications and Doctoral Consortium, 7th International Baltic Conference on Databases and Information Systems, Vilnius, 2006, pp. 328-331.
Paper in pdf format
See abstract
Nečaský Martin
XSEM - A Conceptual Model for XML Data
In: Inteligentní modely, algoritmy, metody a nástroje pro vytváření sémantického webu, Ústav informatiky AV ČR, Prague, 2006, pp. 60-69. ISBN: 80-903298-7-X
Presented at: Inteligentní modely, algoritmy, metody a nástroje pro vytváření sémantického webu - Seminář projektu programu Informační společnost, 5.10.-7.10.2006, Zadov, Czech Republic.
Paper in html format
See abstract
Obdržálek David, Kulhánek Jiří
Generating and handling of differential data in DataPile-oriented systems
In: Proceedings of the IASTED International Conference on Databases and Applications (DBA 2006), (Ed. Hamza M. H.), 2006. ISBN: 0-88986-560-4
Presented at: IASTED International Conference on Databases and Applications (DBA 2006) as part of the 24th IASTED International Multi-Conference on Applied Informatics, 13.2.-15.2.2006, Innsbruck, Austria.
Paper in pdf format
Petricek V., Escher T., Cox I. J., Margetts H.
The Web Structure of E-Government - Developing a Methodology for Quantitative Evaluation
In: Proceedings of the 15th International Conference on World Wide Web WWW 2006, ACM Press, New York, 2006, pp. 669-678.
Presented at: International Conference on World Wide Web WWW 2006, 23.12.-26.12.2006, Edinburgh, UK.
Paper in pdf format
Pokorný Jaroslav, Reschke J.
Exporting relational data into a native XML store
In: Advances in Information Systems Development - Bridging the Gap between Academia and Industry, (Ed. A.G. Nilsson et al), Volume: 2, Springer Verlag, 2006, pp. 807-818. ISBN: 0-387-30834-2
Pokorný Jaroslav
Databázové architektury: současné trendy a jejich vztah k novým požadavkům praxe
In: Sborník příspěvků 20. ročníku konference Moderní databáze, KOMIX, 2006, pp. 5-14. ISBN: 80-239-7109-3
Presented at: Moderní databáze, 30.5.-31.5.2006, Zvánovice, Czech Republic.
Pokorný Jaroslav
Database architectures: current trends and their relationships to environmental data management
In: Environmental Modelling & Software, Volume: 21, No: 11, Elsevier Science, 2006, pp. 1579-1586.
Pokorný Jaroslav
Database Architectures: Current Trends and Their Relationships to Requirements of Practice
In: Proceedings of Information Systems Development ’06 Conference, Budapest, 2006.
Presented at: ISD’ 06 Conference, 31.8.-2.9.2006, Budapest, Hungary.
Pokorný Jaroslav
Zpracování proudů dat
In: Proceedings of the Annual Database Conference DATAKON 2006, Masaryk University, Brno, 2006, pp. 61-76.
Presented at: DATAKON 2006, 20.10.-23.10.2006, Brno, Czech Republic.
Paper in pdf format
See abstract
Skopal Tomáš
On Fast Non-Metric Similarity Search by Metric Access Methods
In: Proceedings of 10th International Conference on Extending Database Technology EDBT 2006, (Ed. Y. Ioannidis et al.), 2006, pp. 718-736. ISBN: 3-540-32960-9
Presented at: EDBT 2006, 26.3.-31.3.2006, Munich, Germany.
Paper in pdf format
See abstract
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.
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.
Paper in pdf format
See abstract
Toman Kamil, Mlýnková Irena
XML Data - The Current State of Affairs
In: Proceedings of XML Prague 2006 conference, ITI Series, MFF UK, 2006, pp. 87-102.
Presented at: XML Prague 2006, 17.6.-18.6.2006, Prague, Czech Republic.
Paper in pdf format
See abstract
Toman Kamil, Mlýnková Irena
Statistics on The Real XML Data
In: Inteligentní modely, algoritmy, metody a nástroje pro vytváření sémantického webu, Ústav informatiky AV ČR, Prague, 2006, pp. 123-130. ISBN: 80-903298-7-X
Presented at: Inteligentní modely, algoritmy, metody a nástroje pro vytváření sémantického webu - Seminář projektu programu Informační společnost, 5.10.-7.10.2006, Zadov, Czech Republic.
Paper in pdf format
See abstract
Vojtáš Peter
Model Theoretic and Fixpoint Semantics for Preference Queries over Imperfect Data
In: Proceedings of Inconsistency and Incompleteness in Databases, (Ed. Chomicki J., Wijsen J.), Munich, 2006, pp. 87-91.
Presented at: Inconsistency and Incompleteness in Databases, International Workshop Collocated with the 10 th International Conference on Extending Database Technology, 26.3.2006, Munich, Germany.
Vojtáš Peter
A Fuzzy EL Description logic with Crisp Roles and Fuzzy Aggregation for Web Consulting
In: Proceedings of Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU 2006), Edition EDK, 2006, pp. 1834-1841. ISBN: 2-84254-112-X
Presented at: Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU 2006), 2.7.-7.7.2006, Paris, France.
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
See abstract
Vojtáš Peter
EL Description Logic Modeling Querying Web and Learning Imperfect User Preferences
In: Uncertainty Reasoning for the Semantic Web - Volume 2, Proceedings of the Second ISWC Workshop on Uncertainty Reasoning for the Semantic Web, (Ed. P.C.G. da Costa, K.B. Laskey, K.J. Laskey, F. Fung, M. Pool), 2006, pp. 2.
Presented at: Workshop on Uncertainty Reasoning for the Semantic Web URSW 2006, 5.11.2006, Athens, Georgia, USA.
Paper in pdf format
Vojtáš Peter, Vomlelová M.
Learning fuzzy logic aggregation for multicriterial querying with user preferences
In: Proceedings of 27th Linz Seminar on Fuzzy Set Theory - Preferences, Games and Decisions, (Ed. J. Fodor, E.P. Klement, M. Roubens), Linz, 2006, pp. 128-129.
Presented at: 27th Linz Seminar on Fuzzy Set Theory - Preferences, Games and Decisions, 7.2.-11.2.2006, Linz, Austria.
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
Yaghob Jakub, Zavoral Filip
Budování infrastruktury sémantického webu
In: Proceedings of ITAT 2006, Information Technologies - Applications and Theory, 2006. ISBN: 80-969184-4-3
Presented at: ITAT 2006, 26.9.-1.10.2006, Chata Kosodrevina, Bystrá dolina, Nízke Tatry, Slovakia.
Yaghob Jakub, Zavoral Filip
Semantic Web Infrastructure using DataPile
In: Proceeding of the International Workshop on Technologies and Applications of Knowledge Computing on the Web (IEEE/WIC/ACM International Conference on Web Intelligence), (Ed. C.J. Butz, N.T. Nguyen, Y. Takama, W. Cheung), IEEE Computer Society, 2006, pp. 630-633.
Presented at: International Workshop on Technologies and Applications of Knowledge Computing on the Web (IEEE/WIC/ACM International Conference on Web Intelligence), 18.12.-22.12.2006, Hong-Kong.
This page was last modified 08.11.2005 19:54. For any comments, please, contact webmaster.