]> BibSonomy publications for /author/Wolter http://www.bibsonomy.org/burst/author/Wolter BibSonomy BuRST Feed for /author/Wolter 2008-07-27T02:57:10+02:00 All finitely axiomatizable subframe logics containing the provability logic CSM 0_0 are decidable. dblphttp://www.bibsonomy.org/bibtex/28efa9ef68f5cbbb6cb40b847e91701d1/dblp dblp 2008-07-15T00:00:00+02:00 dblp
All finitely axiomatizable subframe logics containing the provability logic CSM 0_0 are decidable.
Frank Wolter Arch. Math. Log. 37 167-182 (1998)
to dblp by dblp on 2008-07-15 00:00:00 ]]> Arch. Math. Log.3167-182All finitely axiomatizable subframe logics containing the provability logic CSM 0_{0} are decidable.371998dblp 2008-07-15 00:00:00.0 Temporalising Tractable Description Logics Temporalising Tractable Description Logicshttp://www.bibsonomy.org/bibtex/2ce2458eaa642389c7772fc23d789ec06/utahell utahell 2008-07-14T16:33:34+02:00 imported
Temporalising Tractable Description Logics
A. Artale and R. Kontchakov and C. Lutz and F. Wolter and M. Zakharyaschev Proceedings of the Fourteenth International Symposium on Temporal Representation and Reasoning (2007)
to imported by utahell on 2008-07-14 16:33:34 ]]> Proceedings of the Fourteenth International Symposium on Temporal Representation and ReasoningTemporalising Tractable Description Logics2007imported 2008-07-14 16:33:34.0 Checking DL-Lite Modularity with QBF Solvers. dblphttp://www.bibsonomy.org/bibtex/210b164c487361828a36c06c06702170c/dblp dblp 2008-06-26T00:00:00+02:00 dblp
Checking DL-Lite Modularity with QBF Solvers.
Roman Kontchakov and V. Ryzhikov and Frank Wolter and Michael Zakharyaschev Description Logics (2008)
to dblp by dblp on 2008-06-26 00:00:00 ]]> Description Logicsconf/dlog/2008CEUR Workshop ProceedingsChecking DL-Lite Modularity with QBF Solvers.3532008dblp 2008-06-26 00:00:00.0 Logical Difference and Module Extraction with CEX and MEX. dblphttp://www.bibsonomy.org/bibtex/2c90287047dde53a06cfe80a9ccee5441/dblp dblp 2008-06-26T00:00:00+02:00 dblp
Logical Difference and Module Extraction with CEX and MEX.
Boris Konev and Carsten Lutz and Dirk Walther and Frank Wolter Description Logics (2008)
to dblp by dblp on 2008-06-26 00:00:00 ]]> Description Logicsconf/dlog/2008CEUR Workshop ProceedingsLogical Difference and Module Extraction with CEX and MEX.3532008dblp 2008-06-26 00:00:00.0 Increasing Performance of the 802.11e Protocol through Access Category Shifting. dblphttp://www.bibsonomy.org/bibtex/2fafb2d99c18633ae22d6d83ca71ceaba/dblp dblp 2008-06-25T00:00:00+02:00 dblp
Increasing Performance of the 802.11e Protocol through Access Category Shifting.
Johannes Zapotoczky and Katinka Wolter MMB 61-76 (2008)
to dblp by dblp on 2008-06-25 00:00:00 ]]> MMBconf/mmb/200861-76Increasing Performance of the 802.11e Protocol through Access Category Shifting.2008dblp 2008-06-25 00:00:00.0 Task-based entailment constraints for basic workflow patterns. dblphttp://www.bibsonomy.org/bibtex/2d835b9e8ea4b38b614ae0591caa77fd4/dblp dblp 2008-06-16T00:00:00+02:00 dblp
Task-based entailment constraints for basic workflow patterns.
Christian Wolter and Andreas Schaad and Christoph Meinel SACMAT 51-60 (2008)
to dblp by dblp on 2008-06-16 00:00:00 ]]> SACMATconf/sacmat/200851-60Task-based entailment constraints for basic workflow patterns.2008dblp 2008-06-16 00:00:00.0 Importing from Functional Knowledge Bases - A Preview. dblphttp://www.bibsonomy.org/bibtex/263127efe496fe25dddd60494197acd84/dblp dblp 2008-06-09T00:00:00+02:00 dblp
Importing from Functional Knowledge Bases - A Preview.
Alexander Borgida and Fausto Giunchiglia WoMO (2007)
to dblp by dblp on 2008-06-09 00:00:00 ]]> WoMOconf/kcap/2007womoCEUR Workshop ProceedingsImporting from Functional Knowledge Bases - A Preview.3152007dblp 2008-06-09 00:00:00.0 Knowledge Representation for the Distributed, Social SemanticWeb - Named Graphs, Graph Roles and Views in NRL. dblphttp://www.bibsonomy.org/bibtex/292200fa05960c556efb5f6ccc30d1690/dblp dblp 2008-06-09T00:00:00+02:00 dblp
Knowledge Representation for the Distributed, Social SemanticWeb - Named Graphs, Graph Roles and Views in NRL.
Michael Sintek and Ludger van Elst and Gunnar Aastrand Grimnes and Simon Scerri and Siegfried Handschuh WoMO (2007)
to dblp by dblp on 2008-06-09 00:00:00 ]]> WoMOconf/kcap/2007womoCEUR Workshop ProceedingsKnowledge Representation for the Distributed, Social SemanticWeb - Named Graphs, Graph Roles and Views in NRL.3152007dblp 2008-06-09 00:00:00.0 Three-Layer OWL Ontology Design. dblphttp://www.bibsonomy.org/bibtex/268c1f7fb3e1f11c8e8b9a099820a4543/dblp dblp 2008-06-09T00:00:00+02:00 dblp
Three-Layer OWL Ontology Design.
Michel Dumontier and Natalia Villanueva-Rosales WoMO (2007)
to dblp by dblp on 2008-06-09 00:00:00 ]]> WoMOconf/kcap/2007womoCEUR Workshop ProceedingsThree-Layer OWL Ontology Design.3152007dblp 2008-06-09 00:00:00.0 Computing OWL Ontology Decompositions Using Resolution. dblphttp://www.bibsonomy.org/bibtex/2049f1744686112d23661f10785b592fe/dblp dblp 2008-06-09T00:00:00+02:00 dblp
Computing OWL Ontology Decompositions Using Resolution.
Robert Schiaffino and Achille Fokoue and Aditya Kalyanpur and Aaron Kershenbaum and Li Ma and Chintan Patel and Edith Schonberg and Kavitha Srinivas WoMO (2007)
to dblp by dblp on 2008-06-09 00:00:00 ]]> WoMOconf/kcap/2007womoCEUR Workshop ProceedingsComputing OWL Ontology Decompositions Using Resolution.3152007dblp 2008-06-09 00:00:00.0