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

 
 
2004
14
2
5
21 / 15
total
14
2
5
21 / 15


Paper in pdf format
Azarová Irina, Sinopalníková Anna
Using Corpus Statistics for Wordnet Structuring
In: Proceedings of the Second International Conference on Corpus Linguistics (Corpora-2004), Saint-Petersburg State University Press, Saint-Petersburg, Russia, 2004, pp. 3-11.
Presented at: Second International Conference on Corpus Linguistics (Corpora-2004), , Saint-Petersburg, Russia.
Paper in html format
Azarová Irina, Sinopalníková Anna, Yavorskaya Maria
Guidelines for RussNet structuring (Guidelines for RussNet structuring)
In: Proceedings of the Dialogue 2004 International Conference on the Computational Linguistics and Intellectual Technologies, Moscow: Nauka, Moscow, 2004, pp. 232-241. ISBN: 5-02-002826-6
Presented at: Dialogue 2004 International Conference on the Computational Linguistics and Intellectual Technologies, 2004, Moscow, Russia.
Paper in pdf format
See abstract
Bartoň Stanislav
Indexing Structure for Discovering Relationships in RDF Graph Recursively Applying Tree Transformation
In: Proceedings of Semantic Web Workshop at 27th Annual International ACM SIGIR Conference, 2004, pp. 58-68.
Presented at: Semantic Web Workshop at 27th Annual International ACM SIGIR Conference, 25.7.-29.7. 2004, University of Sheffield, Sheffield, Great Britain.
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
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
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
Mlýnková Irena, Pokorný Jaroslav
From XML Schema to Object-Relational Database – An XML Schema-Driven Mapping Algorithm
In: Proceedings of the IADIS International Conference WWW/Internet, (Ed. Isaias P., Karmakar N.), IADIS, 2004, pp. 115-122.
Presented at: IADIS International Conference WWW/Internet 2004, 06.-09. 10. 2004, Madrid, Spain.
Paper in pdf format
Mlýnková Irena, Pokorný Jaroslav
XML in the World of (Object-) Relational Database Systems
In: Information Systems Development Advances in Theory, Practice and Education, (Ed. Vasilecas O. et al.), Kluwer, 2004. ISBN: 0-387-25026-3
Presented at: 13th International Conference on Information Systems Development, ISD`2004, 9.9.-11.9. 2004, Vilnius, Lithuania.
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
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
Ř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
Smrž Pavel, Povolný Martin, Sinopalníková Anna
OASIS - A New Tool for the Transformation of XML Knowledge Resources into OWL
Presented at: ISWC 2004, 7.11.-11.11. 2004, Hiroshima, Japan.
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.
This page was last modified 08.11.2005 19:54. For any comments, please, contact webmaster.