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

 
 
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
total
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
total
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
total
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
total
30
17
5
47 / 17
 
2004
14
2
5
21 / 15
total
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
total
175
149
91
389 / 128


Paper in doc format
See abstract
Abdelsalam Almarimi, Pokorný Jaroslav
Schema Management for Data Integration: A Short Survey
In: Acta Polytechnica, Volume: 45, No: 1, Czech Technical University in Prague, Prague, 2005, pp. 24-27.
Paper in pdf format
See abstract
Abdelsalam Almarimi, Pokorný Jaroslav
A Mediation Layer for Heterogenous XML Schemas
In: International Journal of Web Information Systems, Volume: 1, No: 1, Troubador Publishing LTD, 2005, pp. 25-32.
Presented at: iiWAS2004 Information Integration and Web Based Applications & Services, 27-29.09.2004, Jakarta, Indonesia.
See abstract
Batko Michal, Skopal Tomáš, Lokoč Jakub
New Dynamic Construction Techniques for M-tree
In: Journal of Discrete Algorithms, Elsevier, Amsterdam, The Netherlands, 2008. (in_print)
Batko Michal, Novák David, Falchi Fabrizio, Zezula Pavel
Scalability Comparison of Peer-to-Peer Similarity Search Structures
In: Future Generation Computer Systems, Volume: 24, No: 8, Elsevier, Amsterdam, The Netherlands, 2008, pp. 834-848.
See abstract
Batko Michal, Skopal Tomáš, Lokoč Jakub
New Dynamic Construction Techniques for M-tree
In: Journal of Discrete Algorithms, Elsevier, Amsterdam, The Netherlands, 2008. (in_print)
Batko Michal, Novák David, Falchi Fabrizio, Zezula Pavel
Scalability Comparison of Peer-to-Peer Similarity Search Structures
In: Future Generation Computer Systems, Volume: 24, No: 8, Elsevier, Amsterdam, The Netherlands, 2008, pp. 834-848.
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.
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.
Falchi Fabrizio, Gennaro Claudio, Zezula Pavel
Nearest neighbor search in metric spaces through Content-Addressable Networks
In: Information Processing and Management, Volume: 44, No: 1, Elsevier, 2008, pp. 411-429.
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
Dynamic Inverted Index Maintenance
In: International Journal of Computer Science, Volume: 1, No: 2, 2006, pp. 157-162.
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.
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.
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.
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
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
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
Neruda Roman
Implementation of Ontology Mapping for Computational Agents
In: WSEAS Transactions on Computers Research, Volume: 1, 2006, pp. 58-63.
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
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)
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.
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.
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.
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.
This page was last modified 08.11.2005 19:54. For any comments, please, contact webmaster.