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

 
 
2005
3
2
0
5 / 1
21
14
5
36 / 12
1
1
0
1 / 0
5
0
0
5 / 4
celkem
30
17
5
47 / 17


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.
Paper in pdf format
See abstract
Abdelsalam Almarimi, Pokorný Jaroslav
A Mediation Layer for Heterogenous XML Schemas
Presented at: iiWAS2004 Information Integration and Web Based Applications & Services, 27-29.09.2004, Jakarta, Indonesia.
Paper in pdf format
See abstract
Bartoň Stanislav, Zezula Pavel
RhoIndex - An Index for Graph Structured Data
Presented at: 8th International DELOS Workshop on Future Digital Library Management Systems, 29.3.-1.4.2005, Schloss Dagstuhl, Germany.
Bednárek David
Statická typová kontrola XSLT programů
In: Proceedings of ITAT 2005, Information Technologies - Applications and Theory, (Ed. Vojtáš P.), Prírodovedecká fakulta Univerzity Pavla Jozefa Šafárika, Košice, 2005, pp. 393-401. ISBN: 80-7097-609-8
Presented at: ITAT 2005, 20.9. - 25.9.2005, Račkova dolina, Slovakia.
Paper in pdf format
See abstract
Bednárek David, Obdržálek David, Yaghob Jakub, Zavoral Filip
Data Integration Using DataPile Structure
In: Proceedings of the 9th East-European Conference on Advances in Databases and Information Systems, Tallin, 2005, pp. 178-188.
Presented at: 9th East-European Conference on Advances in Databases and Information Systems (ADBIS 2005), 12.9.-15.9.2005, Tallin, Estonia.
Dokulil Jiří, Yaghob Jakub, Zavoral Filip
Evoluce replikačních algoritmů v stohově orientovaných systémech
In: Proceedings of ITAT 2005, Information Technologies - Applications and Theory, (Ed. Vojtáš P.), Prírodovedecká fakulta Univerzity Pavla Jozefa Šafárika, Košice, 2005, pp. 393-401. ISBN: 80-7097-609-8
Presented at: ITAT 2005, 20.9. - 25.9.2005, Račkova dolina, Slovakia.
Paper in pdf format
See abstract
Farský Miroslav, Neruda Martin, Neruda Roman
Mass and energy flows in consequences of company environmental acconting
In: Proceeding of the Environmental Accounting - Sustainable Development Indicators, International Conference EA-SDI 2005, (Ed. Ritschelová I.), Jan Evangelista Purkyně University and Charles University, Ústí nad Labem and Prague, 2005, pp. 356-362. ISBN: 80-7044-676-5
Presented at: International Conference EA-SDI 2005, 26.9.-27.9.2005, Czech Republic.
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.
Paper in pdf format
See abstract
Holeňa Martin
Získávání logických tvrzení z dat jako významný směr dobývání znalostí z dat
In: Proceedings of ITAT 2005, Information Technologies - Applications and Theory, (Ed. Vojtáš P.), Prírodovedecká fakulta Univerzity Pavla Jozefa Šafárika, Košice, 2005, pp. 311-322. ISBN: 80-7097-609-8
Presented at: ITAT 2005, 20.9. - 25.9.2005, Račkova dolina, Slovakia.
Paper in html format
See abstract
Húsek Dušan, Snášel Václav, Owais Suhail S. J., Krömer Pavel
Using Genetic Algorithms for Boolean Queries Optimization
In: Proceedings of the Ninth IASTED International Conference INTERNET AND MULTIMETIA SYSTEMS AND APPLICATIONS, ACTA Press, 2005, pp. 178-184.
Presented at: Ninth IASTED International Conference INTERNET AND MULTIMETIA SYSTEMS AND APPLICATIONS, 15.8.-17.8.2005, Honolulu, Hawaii, USA.
Paper in pdf format
See abstract
Kudová Petra, Neruda Roman
Kernel Based Learning Methods: Regularization Networks and RBF Networks
In: Proceedings of the Sheffield Machine Learning Workshop, Springer Verlag, 2005, pp. 124-136. ISBN: 3-540-29073-7
Presented at: Sheffield Machine Learning Workshop, 7.9.-10.9.2004, Sheffield, Great Britain.
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.
Paper in pdf format
See abstract
Linková Zdeňka
Data Integration in VirGIS and in the Semantic Web
Technical Report: V-922, ICS AS CR, Prague, 2005, 11 p.
Paper in pdf format
See abstract
Linková Zdeňka
The Logic Summer School 2004
Technical Report: V-925, ICS AS CR, Prague, 2005, 10 p.
Paper in pdf format
See abstract
Linková Zdeňka, Nedbal Radim, Řimnáč Martin
Building Ontologies for GIS
Technical Report: V-932, ICS AS CR, 2005, 9 p.
Paper in pdf format
See abstract
Linková Zdeňka, Nedbal Radim
Building Ontologies for GIS - Part 2
Technical Report: V-938, ICS AS CR, 2005, 12 p.
Paper in pdf format
See abstract
Linková Zdeňka
Data Integration in VirGIS and in the Semantic Web
In: Doktorandský den 05, (Ed. Hakl F.), MATFYZPRESS, Prague, 2005, pp. 87-93. ISBN: 80-86732-56-8
Presented at: Institute of Computer Science Ph.D. Student`s Days 05, 5.10.-7.10.2005, Nový Dvůr, Czech Republic.
Paper in pdf format
See abstract
Linková Zdeňka, Nedbal Radim
Building Ontology for VirGIS System
In: Proceedings of ITAT 2005, Information Technologies - Applications and Theory, (Ed. Vojtáš P.), Prírodovedecká fakulta Univerzity Pavla Jozefa Šafárika, Košice, 2005, pp. 233-242. ISBN: 80-7097-609-8
Presented at: ITAT 2005, 20.9. - 25.9.2005, Račkova dolina, Slovakia.
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, Vaculín Roman
Concept nodes architecture within the Bang3 system
Technical Report: V-947, ICS AS CR, 2005
Paper in pdf format
See abstract
Neruda Roman, Farský Miroslav, Neruda Martin
Mass and energy flows in consequences of company environmental acconting (abstract)
In: Environmental Accounting - Sustainable Development Indicators, International Conference EA-SDI 2005, Collection of Abstracts, (Ed. Ritschelová I.), Jan Evangelista Purkyně University and Charles University, Ústí nad Labem and Prague, 2005, pp. 51. ISBN: 80-7044-674-9
Presented at: International Conference EA-SDI 2005, 26.9.-27.9.2005, Czech Republic.
Paper in pdf format
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, IEEE Computer Society Press, 2005, pp. 615-618. ISBN: 0-7695-2416-8
Presented at: 2005 IEEE/WIC/ACM International Conference on Intelligent Agent technology IAT 2005, 19.9.-22.9.2005, France.
Paper in pdf format
See abstract
Nováček Vít, Smrž Pavel
BOLE - A New Bio-Ontology Learning Platform
In: Proceedings of ECCB`05 Workshop, Workshop on Biomedical Ontologies and Text Processing, 2005.
Presented at: ECCB`05 Workshop, Workshop on Biomedical Ontologies and Text Processing, 28.9.2005, Madrid, Spain.
Paper in pdf format
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, Incoma Ltd., 2005, pp. 12-16. ISBN: 954-91743-1-X
Presented at: International Workshop on Text Mining Research, Practice and Opportunities, 24.9.2005, Borovets, Bulgaria.
Paper in pdf format
See abstract
Novák David, Zezula Pavel
Indexing the Distance Using Chord: A Distributed Similarity Search Structure
Presented at: 8th International DELOS Workshop on Future Digital Library Management Systems, 29.3.-1.4.2005, Schloss Dagstuhl, Germany.
Obdržálek David, Kulhánek Jiří
Statická typová kontrola XSLT programů
In: Proceedings of ITAT 2005, Information Technologies - Applications and Theory, (Ed. Vojtáš P.), Prírodovedecká fakulta Univerzity Pavla Jozefa Šafárika, Košice, 2005, pp. 393-401. ISBN: 80-7097-609-8
Presented at: ITAT 2005, 20.9. - 25.9.2005, Račkova dolina, Slovakia.
Paper in doc format
See abstract
Pala Karel
The Balkanet Experience
In: Proceedings of the GLDV (German Linguistische Daten Vorarbeitung) Conference, Bonn, 2005.
Presented at: GLDV (German Linguistische Daten Vorarbeitung) Conference, 30.3.-1.4.2005, Bonn, Germany.
Paper in pdf format
See abstract
Pokorný Jaroslav
Digitální knihovny v prostředí Sémantického webu
In: Sborník z 10. ročníku semináře AKP 2005 (automatizace knihovnických procesů - 10.), (Ed. D. Tkačíková, B. Ramajzlová), VIC ČVUT, 2005, pp. 64-73.
Presented at: AKP 2005 (Automatizace knihovnických procesů) 10. ročník semináře, 3.5.-4.5.2005, Liberec, Czech Republic.
Paper in pdf format
See abstract
Pokorný Jaroslav
Směrem k Sémantickému Webu
In: Sborník příspěvků 20. ročníku konference Moderní databáze, KOMIX, Roudnice nad Labem, 2005, pp. 15-24.
Presented at: 20. ročník konference Moderní databáze, 26.5.-27.5.2005, Hotel Amber, Roudnice nad Labem, Czech Republic.
Paper in pdf format
See abstract
Pokorný Jaroslav, Smižanský J.
Page Content Rank: an Approach to the Web Content Mining
In: Proceedings of IADIS International Conference Applied Computing, Volume: 1, IADIS Press, 2005, pp. 289-296. ISBN: 3-540-31198-X
Presented at: IADIS International Conference Applied Computing, 22.2.-25.2. 2005, Algavre, Portugal.
Paper in pdf format
See abstract
Pokorný Jaroslav
Database architectures: current trends and their relationships to environmental data management
In: Proceedings of the 19th Conference EnviroInfo, Masaryk University, Brno, 2005, pp. 24-28.
Presented at: 19th Conference EnviroInfo (Informatics for Environmental Protection, Networking Environmental Information), 7.9.-9.9.2005, Brno, Czech Republic.
Paper in pdf format
Pokorný Jaroslav, Reschke J.
Exporting relational data into a native XML store
Presented at: ISD 2005 - International Conference on Information Systems Development, 14.8.-17.8.2005, Karlstad, Sweden.
Paper in pdf format
See abstract
Řimnáč Martin
Web Integration Tool: Data Structure Modelling
In: Proceedings of the 2005 International Conference on Data Mining, CSREA Press, 2005. ISBN: 1-932415-79-3
Presented at: DMIN`05 -International Conference on Data Mining, 20.-23.06.2005, Las Vegas, USA.
Paper in pdf format
See abstract
Řimnáč Martin
Odhadování struktury dat pomocí pravidlových systémů
In: Doktorandský den 05, (Ed. Hakl F.), MATFYZPRESS, Prague, 2005, pp. 124-133. ISBN: 80-86732-56-8
Presented at: Institute of Computer Science Ph.D. Student`s Days 05, 5.10.-7.10.2005, Nový Dvůr, Czech Republic.
Paper in pdf format
See abstract
Řimnáč Martin
Odhad struktury dat a induktivní logické programování
In: Proceedings of ITAT 2005, Information Technologies - Applications and Theory, (Ed. Vojtáš P.), Prírodovedecká fakulta Univerzity Pavla Jozefa Šafárika, Košice, 2005, pp. 124-133. ISBN: 80-7097-609-8
Presented at: ITAT 2005, 20.9. - 25.9.2005, Račkova dolina, Slovakia.
Paper in html format
Skopal Tomáš, Pokorný Jaroslav, Snášel Václav
Nearest Neighbours Search using the PM-tree
In: Procedings of The 10th International Conference on Database Systems for Advanced Applications, LNCS 3453, Springer-Verlag, 2005, pp. 803-815.
Presented at: DASFAA 2005, 17.4.-20.4.2005, Beijing, China.
Paper in pdf format
See abstract
Snášel Václav, Moravec Pavel, Pokorný Jaroslav
WordNet Ontology Based Model for Web Retrieval
In: Proceedings of International Workshop on Challenges in Web Information Retrieval and Integration (WIRI) 2005, IEEE Computer Society Press, 2005, pp. 231-236.
Presented at: International Workshop on Challenges in Web Information Retrieval and Integration, 8.4.-9.4. 2005, Tokyo, Japan.
Paper in pdf format
See abstract
Snášel Václav, Moravec Pavel, Pokorný Jaroslav
Using BFA with wordnet ontology based model for web retrieval
In: Proceedings of the First IEEE International Conference on Signal-Image Technology & Internet-Based Systems (SITIS`05), 2005, pp. 254-259.
Presented at: First IEEE International Conference on Signal-Image Technology & Internet-Based Systems (SITIS`05), 27.11.-1.12.2005, Yaoundé, Cameroon.
Paper in pdf format
See abstract
Špánek Roman
Sharing information in a Large Network of Users
In: Doktorandský den 05, (Ed. Hakl F.), MATFYZPRESS, Prague, 2005, pp. 134-140. ISBN: 80-86732-56-8
Presented at: Institute of Computer Science Ph.D. Student`s Days 05, 5.10.-7.10.2005, Nový Dvůr, Czech Republic.
Paper in pdf format
See abstract
Špánek Roman
Data pozičně závislá a jejich dopad v mobilních databázích
In: Proceedings of ITAT 2005, Information Technologies - Applications and Theory, (Ed. Vojtáš P.), Prírodovedecká fakulta Univerzity Pavla Jozefa Šafárika, Košice, 2005, pp. 273-278. ISBN: 80-7097-609-8
Presented at: ITAT 2005, 20.9. - 25.9.2005, Račkova dolina, Slovakia.
Paper in pdf format
See abstract
Vaculín Roman, Neruda Roman
Autonomous behavior of computational agents
In: Adaptive and Natural Computing Algorithms, Springer, Wien, 2005, pp. 514-517.
Presented at: ICANNGA 2005, 21.-23.03.2005, Coimbra, Portugal.
Vojtáš Peter
Proceedings of ITAT 2005, Information Technologies - Applications and Theory
In: Proceedings of ITAT 2005, Information Technologies - Applications and Theory, (Ed. Vojtáš P.), Prírodovedecká fakulta Univerzity Pavla Jozefa Šafárika, Košice, 2005. ISBN: 80-7097-609-8
Vojtáš Peter
Fuzzy Logic as an Optimization Task
In: Fuzzy Logic and Technology, (Ed. Sobrevilla P., Montseny E.), Barcelona, 2005, pp. 781-786. ISBN: 84-7683-872-3
Presented at: EUSFLAT - LFA 2005. Conference of the European Society for Fuzzy Logic and Technology /13./, Recontres Francophones sur la Logique Floue et ses Applications /11./, 7.9.-9.9.2005, Barcelona, Spain.
Paper in pdf format
See abstract
Wiedermann Jiří
Globural Universe and Autopoietic Automata: A Framework for Artificial Life
In: Advances in Artificial Life, (Ed. Bentley P. J., Capcarrere M., Freitas A. A., Johnson C. G.), Springer Verlag, Berlin, 2005, pp. 21-30.
Presented at: ECAL 2005, European Conference on Artificial Life, 5.9.-9.9.2005, Cantebury, UK.
Paper in pdf format
See abstract
Wiedermann Jiří
Can Cognitive and Intelligent Systems Outperform Turing Machines?
In: Proceedings of Czech-Argentinian Workshop `e-Golems` (Interdisciplinary Aspects of Human-Machine Co-existence and Co-operation), (Ed. Marik et al.), CTU, Prague, 2005, pp. 82-86.
Presented at: Czech-Argentinian Workshop `e-Golems` (Interdisciplinary Aspects of Human-Machine Co-existence and Co-operation), 2.7.-5.7.2005, Prague, Czech Republic.
Paper in pdf format
See abstract
Wiedermann Jiří
Neomezený evoluční růst výpočetní síly sebereprodukčních automatů v globulárním vesmíru a jiné výsledky
In: Kognice a umělý život, (Ed. Kelemen J., Kvasnička V., Pospíchal J.), Sleská univerzita, Ostrava, 2005, pp. 613-623. ISBN: 80-7248-310-2
Presented at: Kognícia a umelý život V, 30.5.-2.6.2005, Smolenice, Slovakia.
This page was last modified 08.11.2005 19:54. For any comments, please, contact webmaster.