Naposledy ...

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!

Výsledky - Publikace

Rok 2008 Rok 2007 Rok 2006 Rok 2005 Rok 2004 Roky 2004-2008
 
The list of publications in RDF format

 
 
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
celkem
45
38
23
98 / 33


Daniel Milan
Classical Belief Conditioning and its Generalization to DSm Theory
In: Proceedings of The 6th International Conference on Information and Management Sciences, California Polytechnic State University, Berlin, 2007, pp. 596-603.
Presented at: The Sixth International Conference on Information and Management Sciences (IMS2007), 1.-6.7.2007, Lhasa, Tibet, China.
Daniel Milan
Several Comments and Questions to Josang`s Smooth Coarsening
In: Proceedings of Czech-Japan Seminar on Data Analysis and Decision Making under Uncertainty, (Ed. Kroupa T., Vejnarová J.), UTIA AV ČR, Praha, 2007, pp. 27-40.
Presented at: Czech-Japan Seminar on Data Analysis and Decision Making under Uncertainty, 15.-18.09.2007, Liblice, Czech Republic.
See abstract
Daniel Milan
The DSm Approach as a Special Case of the Dempster-Shafer Theory
In: ECSQARU 2007, (Ed. Mellouli K.), LNAI 4724, Springer-Verlag, 2007, pp. 381-392.
Presented at: ECSQARU 2007, 31.10.-2.11.2007, Hammamet, Tunisia.
Duží Marie, Vojtáš Peter
Multi-Criterion Search from the Semantic Point of View
In: EJC`07, (Ed. Jaakkola H. et al.), Juvenes Print-TTY, Tampere, 2007, pp. 21-39.
Presented at: THE 17th EUROPEAN - JAPANESE CONFERENCE ON INFORMATION MODELLING AND KNOWLEDGE BASES , 4.-8.6.2007, Pori, Finland.
See abstract
Eckhardt Alan, Horváth T., Vojtáš Peter
Learning different user profile annotated rules for fuzzy preference top-k quering
In: Scalable Uncertainty Management, Springer, LNAI 4772, Berlin, 2007, pp. 116-130.
Presented at: SUM 2007 International Conference, 10.10.-12.10.2007, Washington, US.
Eckhardt Alan, Vojtáš Peter
Uživatelské preference při hledání ve webovských zdrojích
In: Znalosti 2007, Fakulta elektrotechniky a informatiky, VŠB - Technická univerzita Ostrava, 2007, pp. 179-190.
Presented at: Znalosti 2007, 21.2.-23.2.2007, Ostrava, Czech Republic.
See abstract
Eckhardt Alan, Pokorný Jaroslav, Vojtáš Peter
Integrating user and group preferences for top-k search from distributed web resources
In: Proc. of DEXA Workshop Decision Support for Structural Health Monitoring and Flexible Query Processing, (Ed. Tjoa A.M., Wagner R.R..), IEEE, 2007, pp. 317-322.
Presented at: DEXA Workshop, 3.-7.9.2007, Regensburg, Germany.
See abstract
Eckhardt Alan, Pokorný Jaroslav, Vojtáš Peter
A system recommending top-k objects for multiple users preference
In: Proc. of FUZZ-IEEE 2007 International Conference on Fuzzy Systems, IEEE, 2007, pp. 1101-1106.
Presented at: FUZZ-IEEE 2007, 23.-26.7.2007, London, UK.
Paper in pdf format
See abstract
Eckhardt Alan, Horváth T., Vojtáš Peter
PHASES: A User Profile Learning Approach for Web Search
In: Web Intelligence, IEEE Computer SocietyScalable Uncertainty Management, Los Alamitos, 2007, pp. 780-783.
Presented at: WI 2007. IEEE/WIC/ACM International Conference on Web Intelligence, 2.11.-5.11.2007, Silicon Valley, US.
Eckhardt Alan, Horváth T., Maruščák D., Novotný R., Vojtáš Peter
Uncertainty Issues in Automating Process Connecting Web and User
In: Proc. of Uncertainty Reasoning for the Semantic Web (URSW 2007), Workshop at ISWC+ASWC 2007, (Ed. deCosta P. et al.), 2007, pp. 97-108.
Presented at: ISWC 2007, 12.11.2007, Busan, Korea.
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.
Gurský Peter, Vojtáš Peter
Multikriteriálne vyhľadávanie najlepších objektov s podporou viacerých užívateľov
In: Znalosti 2007, Fakulta elektrotechniky a informatiky, VŠB - Technická univerzita Ostrava, 2007, pp. 52-62.
Presented at: Znalosti 2007, 21.2.-23.2.2007, Ostrava, Czech Republic.
Gurský Peter, Horváth T., Jirásek J., Krajči S., Novotný R., Vaneková Veronika, Vojtáš Peter
Web Search with Variable User Model
In: DATAKON 2007, (Ed. Popelínský L., Výborný O.), Masaryk university, 2007, pp. 111-121.
Presented at: DATAKON 2007, 20.10.-23.10.2007, Brno, Czech Republic.
Paper in pdf format
See abstract
Gurský Peter, Horváth T., Jirásek J., Krajči S., Novotný R., Vaneková Veronika, Vojtáš Peter
Knowledge Processing for Web Search - An integrated Model
In: Proc. of the 1st International Symposium on Intelligent and Distributed Computing (IDC 2007), STUDIES IN COMPUTATIONAL INTELLIGENCE, (Ed. Badica C., Paprzycki M.), Volume: 78, Springer, 2007, pp. 95-104.
Presented at: IDC 2007: 1st International Symposium on Intelligent and Distributed Computing, 18.-20.10.2007, Craiova, Romania.
Paper in html format
See abstract
Húsek Dušan, Pokorný Jaroslav, Řezanková Hana, Snášel Václav
Data clustering: From documents to the Web
In: Web Data Management Practices: Emerging Techniques and Technologies, (Ed. Vakali A., Pallis G.), Idea Group Inc., 2007, pp. 1-33.
Paper in html format
See abstract
Húsek Dušan, Moravec Pavel, Snášel Václav, Frolov A., Polyakov P. Y.
Comparison of Neural Network Boolean Factor Analysis Method with Some Other Dimension Reduction Methods on Bars Problem
In: Pattern Recognition and Machine Intelligence, (Ed. Ghosh A., De R.), LNCS 4815, Springer, Berlin, 2007. ISBN: 978-3-540-77045-9
Presented at: PReMI 2007. International Conference (2.), 18.-22.12.2007, Kolkata, India.
Paper in pdf format
See abstract
Jiroušek Radim, Vejnarová Jiřina, Daniel Milan
Compositional Models of Belief Functions
In: ISIPTA'07, Charles University, Faculty of Mathematics and Physics, Prague, 2007, pp. 243-252.
Presented at: ISIPTA'07 - FIFTH INTERNATIONAL SYMPOSIUM ON IMPRECISE PROBABILITY: THEORIES AND APPLICATIONS, 16.-19.7.2007, Prague, Czech Republic.
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
Linková Zdeňka, Nedbal Radim
Ontology approach to integration of geographical data
In: WETDAP 2007, Proceedings of the 1st Workshop Evolutionary Techniques in Data-processing, In Conjunction with Znalosti (Knowledge) 2007, Faculty of Electrical Engineering and Computer Science, VŠB - Technical University of Ostrava, Ostrava, 2007, pp. 35-41.
Presented at: Workshop Evolutionary Techniques in Data-processing, Associated with ZNALOSTI 2007 conference , 21.-23.2.2007, Ostrava, Czech Republic.
Paper in pdf format
See abstract
Linková Zdeňka
Ontology-Based Schema Integration
In: Proceedings of SOFSEM 2007, ICS AS CR, Prague, 2007, pp. 71-80.
Presented at: SOFSEM 2007, 20.2.-26.2.2007, Harrachov, Czech Republic.
Paper in pdf format
See abstract
Linková Zdeňka
Schema Matching in the SemanticWeb Environment
In: Doktorandský den 07, (Ed. F. Hakl), MATFYZPRESS, 2007, pp. 36-42.
Presented at: Doktorandské dny 2007, 17.-19.9.2007, Malá Úpa, Czech Republic.
Paper in pdf format
See abstract
Linková Zdeňka
Mapování schémat v prostředí Sémantického webu
In: Doktorandské dny na KM FJFI 07, 2007, pp. 117-126. ISBN: 978-80-01-03913-7
Paper in pdf format
See abstract
Nedbal Radim
Various Kinds of Preferences in Database Queries
In: Doktorandský den 07, (Ed. F. Hakl), MATFYZPRESS, 2007, pp. 49-59.
Presented at: Doktorandské dny 2007, 17.-19.9.2007, Malá Úpa, Czech Republic.
Paper in pdf format
See abstract
Nedbal Radim
Algebraic Optimization of Database Queries with Preferences
In: Doktorandské dny na KM FJFI 07, 2007, pp. 157-167. ISBN: 978-80-01-03913-7
Paper in pdf format
See abstract
Nedbal Radim
Non-monotonic reasoning with Various Kinds of Preferences in the Relational data Model Framework
In: Proceedings of ITAT 2007, Information Technologies - Applications and Theory, (Ed. Vojtáš P.), PONT s.r.o., Seňa, 2007, pp. 15-20.
Presented at: Konferencia o informačných (inteligentných) technológiách - aplikácie a teória 2007, 21.-27.9.2007, Polana, Slovakia.
Neruda Roman, Beuster Gerd
Towards Dynamic Generation of Computational Agents by Means of Logical Descriptions
In: International Workshop on Multi-Agent System Challenges for Ubiquitous and Pervasive Computing, UTBM/LST, Paris, 2007, pp. 17-28.
Presented at: MASUPC`07 International Workshop on Multi-Agent System Challenges for Ubiquitous and Pervasive Computing, 02.-04.05.2007, Paris, France.
Neruda Roman
Hybrid Evolutionary Algorithm for Multilayer Perceptron Networks with Competetive Performance
In: Evolutionary Computation, IEEE, Los Alamitos, 2007, pp. 1620-1627.
Presented at: CEC 2007, Congress on Evolutionary Computation, 25.-28.09.2007, Singapore, SG.
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
Řimnáč Martin
Advanced Features of Attribute Annotated Data Sets
In: WETDAP 2007, Proceedings of the 1st Workshop Evolutionary Techniques in Data-processing, In Conjunction with Znalosti (Knowledge) 2007, Faculty of Electrical Engineering and Computer Science, VŠB - Technical University of Ostrava, Ostrava, 2007, pp. 54-59.
Presented at: Workshop Evolutionary Techniques in Data-processing, Associated with ZNALOSTI 2007 conference , 21.-23.2.2007, Ostrava, Czech Republic.
See abstract
Řimnáč Martin
Minimalising Binary Predicate Knowledge Base using Transitivity Rule in Incremental Algorithm
Presented as an invited talk: 22nd European Conference on Operational Research EURO 2007 , 8.-11.7.2007, Prague, Czech Republic.
Paper in pdf format
See abstract
Řimnáč Martin
Redukce datových modelů
In: Doktorandský den 07, (Ed. F. Hakl), MATFYZPRESS, 2007, pp. 80-86.
Presented at: Doktorandské dny 2007, 17.-19.9.2007, Malá Úpa, Czech Republic.
Paper in pdf format
Řimnáč Martin, Linková Zdeňka
Automatizovaný návrh pravidel pro integraci dat
Paper in doc format
See abstract
Řimnáč Martin, Špánek Roman, Linková Zdeňka
Sémantický web: vize globálního úložiště dat?
In: DATAKON 2007, (Ed. Popelínský L., Výborný O.), Masaryk university, 2007, pp. 176-186.
Presented at: DATAKON 2007, 20.10.-23.10.2007, Brno, Czech Republic.
Paper in pdf format
See abstract
Řimnáč Martin, Špánek Roman, Linková Zdeňka
SemanticWeb: Vision of Distributed and Trusted Data Environment?
In: WWM 2007, 2007, pp. 627-634.
Presented at: WWM 2007, 1st International Web X.0 and Web Mining Workshop, held in collocation with ICDIM 2007, 28.10.-31.10.2007, Lyon, France.
Paper in pdf format
Řimnáč Martin
Data Structure Estimation for RDF Oriented Repository Building
In: Complex, Intelligent and Software Intensive Systems, (Ed. Barolli L., Tjoa A.), IEEE Computer Society, Los Alamitos, 2007, pp. 147-154.
Presented at: CISIS`07 International Conference on Complex, Intelligent and Software Intensive Systems, 10.-13.04.2007, Vienna, Austria.
Slušný Stanislav, Vidnerová Petra, Neruda Roman
Behavior Emergence in Autonomous Robot control by Means of Feedforward and Recurrent Neural Networks
In: WCECS 2007, (Ed. Ao S., Douglas C., Grundfest W., Schruben L., Wu X.), IA ENG, LNCS, Hong Kong, 2007, pp. 518-523.
Presented at: WCECS 2007. World Congress on Engineering and Computer Science, 24.-26.10.2007, San Francisco, USA.
Paper in html format
See abstract
Snášel Václav, Řezanková Hana, Húsek Dušan, Kudělka Miloš, Lehečka Ondřej
Semantic Analysis of Web Pages using Cluster Analysis and Nonnegative matrix Factorization
In: Advances in Intelligent Web Mastering, (Ed. Wegrzyn-Wolska K., Szczepaniak P.), Volume: 43, Springer, Berlin, 2007, pp. 328-336. ISBN: 978-3-540-72574-9
Presented at: AWIC 2007. Atlantic Web Intelligence Conference (5.), 25.6.-27.6.2007, Fontainbleau, France.
Špánek Roman
Maintaining Trust in Large Scale Environments
In: Doktorandský den 07, (Ed. F. Hakl), MATFYZPRESS, 2007, pp. 94-102.
Presented at: Doktorandské dny 2007, 17.-19.9.2007, Malá Úpa, Czech Republic.
Paper in pdf format
Špánek Roman
Supporting Secure Communication in Distributed Environments
Paper in pdf format
See abstract
Špánek Roman
Reputation System for Large Scale Environments
In: WWM 2007, 2007, pp. 621-626.
Presented at: WWM 2007, 1st International Web X.0 and Web Mining Workshop, held in collocation with ICDIM 2007, 28.10.-31.10.2007, Lyon, France.
Paper in pdf format
See abstract
Špánek Roman, Pirkl Pavel, Kovář P.
The Blue Game Project: Ad-hoc Multiplayer Mobole Game with Social Dimension
In: CoNEXT 2007, New York, 2007.
Presented at: 3rd Annual CoNEXT Conference, 10.-13.12.2007, New York, USA.
Paper in pdf format
See abstract
Tyl Pavel
Problematika integrace ontologií
In: Doktorandský den 07, (Ed. F. Hakl), MATFYZPRESS, 2007, pp. 110-115.
Presented at: Doktorandské dny 2007, 17.-19.9.2007, Malá Úpa, Czech Republic.
Vojtáš Peter
EL description logic with aggregation of user preference concepts
In: Frontiers in Artificial Intelligence and applications 154, Information modelling and Knowledge Bases XVIII, IOS Press, Amsterdam, 2007, pp. 154-165.
Paper in pdf format
Wiedermann Jiří
Lesk a bída nestandardních výpočetních systémů
In: SOFTECON 2007, Softec, Bratislava, 2007, pp. 1-32.
Presented at: SOFTECON 2007. Odborná konferencia o víziách a trendoch v moderných informačných technologiách, 1.3.2007, Bratislava, Slovakia.
Paper in pdf format
See abstract
Wiedermann Jiří
Nástin architektury vědomého kognitivního agenta se dvěma vnitřními modely světa
In: Kognice a umělý život, (Ed. Kelemen J., Kvasnička V., Pospíchal J.), Sleská univerzita, Opava, 2007, pp. 377-383.
Presented at: Kognice a umělý život VII, 28.5.-31.5.2007, Smolenice, Slovakia.
Paper in pdf format
See abstract
Wiedermann Jiří
Spojení samoorganizace s výpočty: minimální život v moři umělých molekul
In: Myseľ, inteligencia a život, (Ed. Kvasnička V., Trebanický P., Pospíchal J., Kelemen J.), Slovenská technická univerzita, Bratislava, 2007, pp. 497-512.
Paper in pdf format
See abstract
Wiedermann Jiří
Výpočetní meze kognitivních a inteligentních systémů
In: Umělá inteligence, (Ed. Mařík V., Štěpánková O., Lažanský J.), Academia, 2007, pp. 75-90. ISBN: 978-80-200-1470-2
Paper in pdf format
See abstract
Wiedermann Jiří, Petrů Lukáš
On the Universal Computing Power of Amorphous Computing Systems
Technical Report: V-1009, ICS AS CR, Prague, 2007, 11 p.
This page was last modified 08.11.2005 19:54. For any comments, please, contact webmaster.