Naposledy ...

more...

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.


more...

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.


more...

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.


Results - Publications (2005-young)



more...
See abstract
Nedbal Radim
Relational Databases with Ordered Relations
In: Logic Journal of the IGPL, Vol. 13, 2005, pp. 587-597
Presented at: ERCIM 2004, Vienna, Austria. 12.7-17.7.2004
more...
See abstract
Linková Zdeňka
Data Integration in VirGIS and in the Semantic Web.
In:Doktorandský den 05. (Ed.: Hakl F.), Praha, MATFYZPRESS 2005, pp. 87-93 (ISBN: 80-86732-56-8)
Presented at: Institute of Computer Science Ph.D. Student's Days, Nový Dvůr, Czech Republic. 5.10.-7.10.2005.
more...
See abstract
Řimnáč Martin
Odhadování struktury dat pomocí pravidlových systémů.
In:Doktorandský den 05. (Ed.: Hakl F.), Praha, MATFYZPRESS 2005, pp. 124-133 (ISBN: 80-86732-56-8)
Presented at: Institute of Computer Science Ph.D. Student's Days, Nový Dvůr, Czech Republic. 5.10.-7.10.2005.
more...
See abstract
Špánek Roman
Sharing information in a Large Network of Users.
In:Doktorandský den 05. (Ed.: Hakl F.), Praha, MATFYZPRESS 2005, pp. 134-140 (ISBN: 80-86732-56-8)
Presented at: Institute of Computer Science Ph.D. Student's Days, Nový Dvůr, Czech Republic. 5.10.-7.10.2005.
more...
See abstract
Nováček Vít, Smrž Pavel
BOLE - A New Bio-Ontology Learning Platform
To appear in: Proceedings of ECCB'05 Workshop, Workshop on Biomedical Ontologies and Text Processing, 28.9.2005, Madrid, Spain.
more...
See abstract
Nováček Vít, Smrž Pavel
OLE - A New Ontology Learning Platform
In: Proceedings of International Workshop on Text Mining Research, Practice and Opportunities, 24.9.2005, Borovets, Bulgaria, Incoma Ltd., 2005, pp. 12-16 (ISBN: 954-91743-1-X)
more...
See abstract
Linková Zdeňka, Nedbal Radim
Building Ontology for VirGIS System.
In:Information Technologies - Applications and Theory. (Ed.: Vojtáš P.) - Košice, Prírodovedecká fakulta Univerzity Pavla Jozefa Šafárika 2005, pp. 233-242 (ISBN: 80-7097-609-8)
Presented at: ITAT 2005, Račkova dolina, Slovakia, 20.9. - 25.9.2005
more...
See abstract
Řimnáč Martin
Odhad struktury dat a induktivní logické programování.
In: Information Technologies - Applications and Theory. (Ed.: Vojtáš P.) - Košice, Prírodovedecká fakulta Univerzity Pavla Jozefa Šafárika 2005, pp. 124-133 (ISBN: 80-7097-609-8)
Presented at:ITAT 2005, Račkova dolina, Slovakia, 20.9. - 25.9.2005
more...
See abstract
Špánek Roman
Data pozičně závislá a jejich dopad v mobilních databázích.
In: Information Technologies - Applications and Theory. (Ed.: Vojtáš P.) - Košice, Prírodovedecká fakulta Univerzity Pavla Jozefa Šafárika 2005, pp. 273-278 (ISBN: 80-7097-609-8)
Presented at:ITAT 2005, Račkova dolina, Slovakia, 20.9. - 25.9.2005
more...
See abstract
Neruda Roman, Krušina Pavel
Estimating and Measuring Performance of Computational Agents
In: Proceedings of the 2005 IEEE/WIC/ACM International Conference on Intelligent Agent technology IAT 2005, 19.9.-22.9.2005, France, IEEE Computer Society Press, 2005. pp. 615-618. ISBN 0-7695-2416-8
more...
See abstract
Řimnáč Martin
Web Integration Tool: Data Structure Modelling
Presented at: DMIN'05 -International Conference on Data Mining, Las Vegas, USA. 20.6.-23.06.2005
In: Proceedings of the 2005 International Conference on Data Mining. CSREA Press, 2005. ISBN: 1-932415-79-3.
more...
See abstract
Bartoň Stanislav, Zezula Pavel
RhoIndex - An Index for Graph Structured Data
In: 8th International DELOS Workshop on Future Digital Library Management Systems. Schloss Dagstuhl, Germany, 29.3.-1.4.2005, 8 pages.
more...
See abstract
Kudová Petra, Neruda Roman
Kernel Based Learning Methods: Regularization Networks and RBF Networks
In: Proceedings of the Sheffield Machine Learning Workshop. 7.9.-10.9.2004, The University of Sheffield, Great Britain, Springer Verlag, 2005, pp. 124-136 (ISBN: 3-540-29073-7)
more...
See abstract
Linková Zdeňka
Data Integration in VirGIS and in the Semantic Web.
Technical Report V-922, Prague, ICS AS CR 2005, 11p.
more...
See abstract
Linková Zdeňka
The Logic Summer School 2004.
Technical Report V-925, Prague, ICS AS CR 2005, 10p.
more...
See abstract
Linková Zdeňka, Nedbal Radim, Řimnáč Martin
Building Ontologies for GIS.
Technical Report V-932, Prague, ICS AS CR 2005, 9p.
more...
See abstract
Linková Zdeňka, Nedbal Radim
Building Ontologies for GIS - Part 2.
Technical Report V-938, Prague, ICS AS CR 2005, 12p.
This page was last modified 20.01.2020 14:00.