Publications

2012

• A Generic Querying Algorithm for Greedy Sets of Existential RulesThomazo, M., Baget, J., Mugnier, M. & Rudolph, S., 2012, Proceedings of the 13th International Conference on the Principles of Knowledge Representation and Reasoning (KR'12). AAAI PressResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• A Goal-Oriented Algorithm for Unification in ELHR+ w.r.t. Cycle-Restricted OntologiesBaader, F., Borgwardt, S. & Morawska, B., 2012, Proceedings of the 25th Australasian Joint Conference on Artificial Intelligence (AI'12). p. 493-504, 12 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• A Goal-Oriented Algorithm for Unification in EL w.r.t. Cycle-Restricted TBoxesBaader, F., Borgwardt, S. & Morawska, B., 2012, Proceedings of the 25th International Workshop on Description Logics (DL'12). p. 37-47, 11 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Aktueller Stand des ESF-Projektes der Nachwuchsforschergruppe Cognitive Interface Technologies (CogITo)Franke, I. S., Gründer, T., Knöfel, A., Müller, M. & Walther, S., 2012Research output: Contribution to conferences > Paper
• An adaptive PI controller for room temperature control with level-crossing samplingHensel, B., Vasyutynskyy, V., Ploennigs, J. & Kabitzsch, K., 2012, Proceedings of the 2012 UKACC International Conference on Control, CONTROL 2012Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Approximating Quality Contracts for Energy Auto-Tuning SoftwareGötz, S., Wilke, C., Richly, S. & Aßmann, U., 2012Research output: Contribution to conferences > Paper
• A quantitative evaluation approach for cognitive maps of blind peopleMiao, M. & Weber, G., 2012, SKALID 2012 Spatial Knowledge Acquisition with Limited Information Displays 2012: Proceedings of the Workshop on Spatial Knowledge Acquisition with Limited Information Displays 2012. p. 37-42Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• A simple PI controller tuning rule for sensor energy efficiency with level-crossing samplingHensel, B., Ploennigs, J., Vasyutynskyy, V. & Kabitzsch, K., 2012, International Multi-Conference on Systems, Signals and Devices, SSD 2012 - Summary ProceedingsElectronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• A Sound and Complete Backward Chaining Algorithm for Existential RulesKönig, M., Leclère, M., Mugnier, M. & Thomazo, M., 2012, Proceedings of the 6th International Conference on Web Reasoning and Rule Systems (RR 2012). Springer Open, p. 122-138, 17 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Assessing the impact of the social network on marking photos as favorites in flickr.Alves, L. O., Maciel, M., Ponciano, L. & Brito, A., 2012, WebMedia '12: Proceedings of the 18th Brazilian symposium on Multimedia and the web. p. 79-82, 4 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• A Survey of Variation Techniques for Repetitive Games MusicBerndt, A., Dachselt, R. & Groh, R., 2012Research output: Contribution to conferences > Paper
• A Tableau Algorithm for Fuzzy Description Logics over Residuated De Morgan LatticesBorgwardt, S. & Peñaloza, R., 2012, Proceedings of the 6th International Conference on Web Reasoning and Rule Systems (RR 2012). p. 9-24, 16 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Audio-haptic you-are-here maps on a mobile touch-enabled pin-matrix displayZeng, L., Weber, G. & Baumann, U., 2012, Proceedings - 2012 IEEE Symposium on Haptic Audio-Visual Environments and Games, HAVE 2012Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Barrierefreiheit durch Personalisierung und KollaborationLoitsch, C. & Weber, G., 2012, p. 135-143Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• BASont - A modular, adaptive building automation system ontologyPloennigs, J., Hensel, B., Dibowski, H. & Kabitzsch, K., 2012, IECON Proceedings (Industrial Electronics Conference)Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Beyond Forms and Tables - A Visual and Task-oriented Approach to ERP SystemsLambeck, C., Kirchner, B. & Leyh, C., 2012Research output: Contribution to conferences > Paper
• BILD – RAUM – LEIB. Definitionsversuche eines subjektbezogenen InteraktionsraumsGroh, R., Lapczyna, E. & Hannß, F., 2012, p. 2-6, 5 p.Research output: Contribution to conferences > Paper
• Bridging the gap: advances in interaction design for enterprise applications in production scenariosLambeck, C., Kammer, D., Weyprecht, P. & Groh, R., 2012Research output: Contribution to conferences > Paper
• Brief Announcement: Fast Travellers: Infrastructure-Independent Deadlock Resolution in Resource-restricted Distributed SystemsErtel, S., Fetzer, C. & Beckerle, M., 2012, Distributed Computing. Vol. 7611. p. 433-434, 2 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
• Building information modeling supporting facilities managementForns-Samso, F., Laine, T. & Hensel, B., 2012, eWork and eBusiness in Architecture, Engineering and Construction - Proceedings of the European Conference on Product and Process Modelling 2012, ECPPM 2012Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Business Oriented Design of Collaborative ApplicationsMüller, M., Franke, I. S., Kammer, D. & Groh, R., 2012Research output: Contribution to conferences > Paper
• Changing Concepts In Human-Computer Interaction In Real-Time Enterprise SystemsLambeck, C., Schmalzried, D., Alt, R. & Groh, R., 2012Research output: Contribution to conferences > Paper
• Chiefly Symmetric: Results on the Scalability of Probabilistic Model Checking for Operating-System CodeBaier, C., Daum, M., Engel, B., Härtig, H., Klein, J., Klüppelholz, S., Märcker, S. & 2 others, 2012, Proceedings Seventh Conference on Systems Software Verification. Cassez, F., Huuck, R., Klein, G. & Schlich, B. (eds.).p. 156-166, 11 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Combining three ways of conveying knowledge: Modularization of domain, terminological, and linguistic knowledge in ontologiesDeclerck, T. & Gromann, D., 2012, Proceedings of the 6th International Workshop on Modular Ontologies, Graz, Austria. Schneider, T. & Walther, D. (eds.). CEUR Workshop Proceedings, Vol. 875. p. 28-40, 13 p.Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Communication and information engineering of FDI equipment packagesTheurich, S., Stöss, M., Wollschlaeger, M. & Urbas, L., 2012, p. 1-8, 8 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper