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 (2006-ui)



more...
See abstract
Húsek Dušan, Pokorný Jaroslav, Řezanková Hana, Snášel Václav
Data clustering: From documents to the Web
Chapter 1 in the book: Web Data Management Practices: Emerging Techniques and Technologies, (Eds. Vakali A., Pallis G.), Idea Group Inc., 2007, pp. 1-33.
more...
See abstract
Hájek Petr
What does Mathematical Fuzzy Logic Offer to Description Logic?
In the book: Fuzzy Logic and the Semantic Web. (Ed. Sanchez E.), Elsevier, 2006. ISBN: 0-444-51948-3
See abstract
Kůrková Věra
Inverse Problem in Data Analysis
In: Przeglad elektrotechniczny, vol. 82, no. 4, 2006, pp. 41-47.
more...
See abstract
Linková Zdeňka
Ontology-based Integration System
In: Proceedings of Doktorandský den 06, 20.9.-22.9.2006, Monínec, Sedlec-Prčice, Czech Republic, MATFYZPRESS, 2006, pp. 57-63 (ISBN: 80-86732-87-8)
Nedbal Radim
General Relational Data Model with Preferences
In: Proceedings of Doktorandský den 06, 20.9.-22.9.2006, Monínec, Sedlec-Prčice, Czech Republic, MATFYZPRESS, 2006, pp. 78-84 (ISBN: 80-86732-87-8)
Řimnáč Martin
Odhadování struktury a asociativní úložiště dat
In: Proceedings of Doktorandský den 06, 20.9.-22.9.2006, Monínec, Sedlec-Prčice, Czech Republic, MATFYZPRESS, 2006, pp. 135-142 (ISBN: 80-86732-87-8)
Špánek Roman
Security Model Based on Virtual Organizations for Distributed Environments
In: Proceedings of Doktorandský den 06, 20.9.-22.9.2006, Monínec, Sedlec-Prčice, Czech Republic, MATFYZPRESS, 2006, pp. 164-171 (ISBN: 80-86732-87-8)
Daniel Milan
A Generalization of the minC Combination to DSm Hyper-power Sets
In: Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU 2006), Paris, France, 2.7.-7.7.2006, Edition EDK 2006, pp. 420-427. ISBN: 2-84254-112-X
Vojtáš Peter
A Fuzzy EL Description logic with Crisp Roles and Fuzzy Aggregation for Web Consulting
In: Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU 2006), Paris, France, 2.7.-7.7.2006, Edition EDK 2006, pp. 1834-1841. ISBN: 2-84254-112-X
more...
See abstract
Kudová Petra
Learning with Regularization Networks in Bang
In: TAM06, Barcelona, Spain, 14.6.-16.6.2006
more...
See abstract
Wiedermann Jiří
Chtěli byste být mozkem v baňce, aneb o důležitosti vtělenosti a situovanosti při rozvoji mentálních schopností kognitivního agenta
In: Kognice a umělý život, Třešť, 28.5.-1.6.2006, (Ed. Kelemen J.), Slezská univerzita, Ostrava, 2006, pp. 421-427. ISBN: 80-7248-355-2
See abstract
Neruda Roman
Cooperation of Computational Intelligence
In: Collaborative Technologies and Systems, 2006. CTS 2006.(Ed. Smari W.), Los Alamitos, IEEE Computer Society, 2006, pp. 256-263. ISBN: 0-9785699-0-3
Presented at: International Sympoium on Collaborative Technologies and Systems, 14.5.-17.5.2006, Las Vegas, US
Húsek Dušan, Frolov A. A., Polyakov P. Y., Řezanková Hana
Neural Network Based Boolean Factor Analysis: Efficient Tool for Automated Topics Search
In: Proceedings of International Multiconference on Computer Science and Information Technology CSIT 2006, Amman, Jordan, 5.4.-7.4.2006, Applied Science Private University, Amman, 2006, pp. 321-327. ISBN: 9957-8592-X
more...
See abstract
Wiedermann Jiří
Grandiózne výzvy pre dlhodobý výskum v informatike
Invited talk: SOFTEC 2006, Odborná konferencia o víziách a trendoch v moderných informačných technológiách, 2.3.2006, Bratislava, Hotel Danube, Slovakia
more...
Wiedermann Jiří
One Computer Theorist's View of Cognitive Systems
Invited talk: euCognition, The European Network for the Advancement of Artificial Cognitive Systems, Inaugural Meeting, 16.2.-17.2.2006, Nice, France
Daniel Milan
Formulas for Min-C Combination of Belief Functions
In: Proceedings of Eight International Conference on Fuzzy Sets Theory and Applications, Liptovský Ján, 30.1.-3.2.2006, (Ed. Klement P.), Academy of Armed Forces of General M. R. Štefánik, Liptovský Mikuláš, 2006, pp. 32-33, ISBN: 80-8040-284-1
more...
Wiedermann Jiří, Tel G., Pokorný Jaroslav, Bieliková M., Štuller Július
Editors: SOFSEM 2006: Theory and Practice of Computer Science
Eds: Proceedings of SOFSEM 2006: Theory and Practice of Computer Science, 21.1.-27.1.2006, Měřín, Czech Republic, LNCS 3831, Springer, Berlin, 2006. (ISBN: 3-540-31198-X)
Wiedermann Jiří, Tel G., Pokorný Jaroslav, Bieliková M., Štuller Július
Editors: SOFSEM 2006: Theory and Practice of Computer Science
Eds: Proceedings of SOFSEM 2006: Theory and Practice of Computer Science, 21.1.-27.1.2006, Měřín, Czech Republic, Volume II, ICS AS CR, Prague, 2006. (ISBN 80-903298-4-5)
more...
See abstract
Linková Zdeňka, Nedbal Radim
VirGIS Data in Semantic Web Environment
In: Proceedings of SOFSEM 2006: Theory and Practice of Computer Science, 21.1.-27.1.2006, Měřín, Czech Republic, Volume II, ICS AS CR, Prague, 2006, pp. 120-127. (ISBN 80-903298-4-5)
more...
See abstract
Řimnáč Martin
Transforming Current Web Sources for Semantic Web Usage
In: Proceedings of SOFSEM 2006: Theory and Practice of Computer Science, 21.1.-27.1.2006, Měřín, Czech Republic, Volume II, ICS AS CR, Prague, 2006, pp. 155-165. (ISBN 80-903298-4-5)
more...
See abstract
Špánek Roman
RollingBall: Energy and QoS Aware Protocol for Wireless Sensor Networks
In: Proceedings of SOFSEM 2006: Theory and Practice of Computer Science, 21.1.-27.1.2006, Měřín, Czech Republic, Volume II, ICS AS CR, Prague, 2006, pp. 166-173. (ISBN 80-903298-4-5)
more...
See abstract
Van Leeuwen Jan, Wiedermann Jiří
Lazy Autoconfiguration in Mobile Ad Hoc Networks and Dynamic Sets of Mobile Agents
Technical Report UU-CS-2006-018, Department of Information and Computing Sciences, Utrecht University, Utrecht, The Netherlands, April 2006.
more...
See abstract
Wiedermann Jiří
HUGO: A Cognitive Architecture with an Incorporated World Model
Technical Report, V-966, ICS AS CR, PRague, 2006, 15p.
more...
See abstract
Wiedermann Jiří
Chtěli byste být mozkem v baňce?
Technical Report V-967, ICS AS CR, Prague, 2006, 7p.
more...
See abstract
Linková Zdeňka
European Summer School in Information Retrieval ESSIR 2005
Technical Report V-949, ICS AS CR, Prague, 2006, 8p.
This page was last modified 20.01.2020 14:00.