Veröffentlichungen in 2009

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche
Toggle side column

Veröffentlichungen in 2009


Artikel in Fachzeitschriften

Tomáš Masopust, Alexander Meduna
On Pure Multi-Pushdown Automata that Perform Complete Pushdown Pops
Acta Cybernetica, 19(2):537-552, 2009
Details Download

Tomáš Masopust
On the Terminating Derivation Mode in Cooperating Distributed Grammar Systems with Forbidding Components
International Journal of Foundations of Computer Science, 20(2):331-340, 2009
Details Download

Tomáš Masopust, Alexander Meduna
On context-free rewriting with a simple restriction and its computational completeness
RAIRO - Theoretical Informatics and Applications, 43(2):365-378, 2009
Details Download

Tomáš Masopust
On the descriptional complexity of scattered context grammars
Theoretical Computer Science, 410(1):108-112, 2009
Details Download

Jörg Meier, Sebastian Rudolph, Tom Schanz
Effective algorithm for parameter back calculation - Geotechnical applications
Bautechnik, 86(S1):86-97, August 2009
Details

Stefan Schulz, Boontawee Suntisrivaraporn, Franz Baader, Martin Boeker
SNOMED reaching its adolescence: Ontologists' and logicians' health check
International Journal of Medical Informatics, 78(Supplement 1):S86-S94, 2009
Details Download

Thomas Springer, Anni-Yasmin Turhan
Employing Description Logics in Ambient Intelligence for Modeling and Reasoning about Complex Situations
Journal of Ambient Intelligence and Smart Environments, 1(3):235-259, 2009
Details


Artikel in Tagungsbänden

Franz Baader, Felix Distel
Exploring Finite Models in the Description Logic ELgfp
In Sébastien Ferré and Sebastian Rudolph, eds., Proceedings of the 7th International Conference on Formal Concept Analysis, (ICFCA 2009), volume 5548 of Lecture Notes in Artificial Intelligence, 146-161, 2009. Springer
Details Download

Franz Baader, Andreas Bauer, Alwen Tiu
Matching Trace Patterns with Regular Policies
In A.H. Dediu and A.M. Ionescu and C. Martin-Vide, eds., Proceedings of the Third International Conference on Language, and Automata Theory, and Applications (LATA 2009), volume 5457 of Lecture Notes in Artificial Intelligence, 105-116, 2009. Springer
Details Download

Franz Baader, Stefan Schulz, Kent Spackmann, Bontawee Suntisrivaraporn
How Should Parthood Relations be Expressed in SNOMED CT?
Proceedings of 1. Workshop des GI-Arbeitskreises Ontologien in Biomedizin und Lebenswissenschaften (OBML 2009), 2009
Details Download

Franz Baader, Andreas Bauer, Marcel Lippmann
Runtime Verification Using a Temporal Description Logic
In Silvio Ghilardi and Roberto Sebastiani, eds., Proceedings of the 7th International Symposium on Frontiers of Combining Systems (FroCoS 2009), volume 5749 of Lecture Notes in Computer Science, 149-164, 2009. Springer
Details Download

Franz Baader, Barış Sertkaya
Usability Issues in Description Logic Knowledge Base Completion
In Sébastien Ferré and Sebastian Rudolph, eds., Proceedings of the 7th International Conference on Formal Concept Analysis, (ICFCA 2009), volume 5548 of Lecture Notes in Artificial Ingelligence, 1-21, 2009. Springer
Details Download

Franz Baader, Andreas Bauer, Peter Baumgartner, Anne Cregan, Alfredo Gabaldon, Krystian Ji, Kevin Lee, David Rajaratnam, Rolf Schwitter
A Novel Architecture for Situation Awareness Systems
In Martin Giese and Arild Waaler, eds., Proceedings of the 18th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (Tableaux 2009), volume 5607 of Lecture Notes in Computer Science, 77-92, 2009. Springer
Details Download

Franz Baader, Barbara Morawska
Unification in the Description Logic EL
In Ralf Treinen, eds., Proceedings of the 20th International Conference on Rewriting Techniques and Applications (RTA 2009), volume 5595 of Lecture Notes in Computer Science, 350-364, 2009. Springer
Details Download

Franz Baader, Martin Knechtel, Rafael Peñaloza
A Generic Approach for Large-Scale Ontological Reasoning in the Presence of Access Restrictions to the Ontology's Axioms
In Abraham Bernstein et al., eds., Proceedings of the 8th International Semantic Web Conference (ISWC 2009), volume 5823 of Lecture Notes in Computer Science, 49-64, 2009
Details Download

Frithjof Dau, Martin Knechtel
Access Policy Design Supported by FCA Methods
In Frithjof Dau and Sebastian Rudolph, eds., Proceedings of the 17th International Conference on Conceptual Structures, (ICCS 2009), volume 5662 of Lecture Notes in Computer Science, 141-154, 2009
Details Download

Conrad Drescher, Hongkai Liu, Franz Baader, Steffen Guhlemann, Uwe Petersohn, Peter Steinke, Michael Thielscher
Putting ABox Updates into Action
In Silvio Ghilardi and Roberto Sebastiani, eds., The Seventh International Symposium on Frontiers of Combining Systems (FroCoS-2009), volume 5749 of Lecture Notes in Computer Science, 149-164, 2009. Springer
Details Download

Conrad Drescher, Hongkai Liu, Franz Baader, Peter Steinke, Michael Thielscher
Putting ABox Updates into Action
Proceedings of the 8th IJCAI International Workshop on Nonmontonic Reasoning, Action and Change (NRAC-09), 2009
Details Download

Jan Funke, Tobias Pietzsch
A Framework For Evaluating Visual SLAM
Proc. BMVC'09, 2009
Details Download

Bernhard Ganter, Daniel Borchmann
Concept Lattice Orbifolds -- First Steps
In Sèbastien Ferré and Sebastian Rudolph, eds., Proceedings of the 7th International Conference on Formal Concept Analysis (ICFCA 2009), volume 5548 of Lecture Notes in Computer Science, 22-37, 2009. Springer
Details Download

Birte Glimm, Sebastian Rudolph
Conjunctive Query Entailment: Decidable in Spite of O, I, and Q
In Bernardo Cuenca-Grau, Ian Horrocks, Boris Motik, Ulrike Sattler, eds., Proceedings of the DL Workshop 2009, Oxford, UK, volume 477, July 2009. CEUR Workshop Proceedings
Details Download

Matthias Heinrich, Antje Boehm-Peters, Martin Knechtel
A Platform to Automatically Generate and Incorporate Documents into an Ontology-Based Content Repository
In Uwe M. Borghoff and Boris Chidlovskii, eds., Proceedings of the 2009 ACM Symposium on Document Engineering (DocEng 2009), 43-46, 2009
Details Download

S. Hölldobler, C.\,D.\,P. Kencana Ramli
Contraction Properties of a Semantic Operator for Human Reasoning
In Lei Li and K. K. Yen, eds., Proceedings of the Fifth International Conference on Information, 228-231, 2009. International Information Institute
Details

S. Hölldobler, C.\,D.\,P. Kencana Ramli
Logic Programs under Three-Valued Łukasiewicz's Semantics
In P.,M. Hill and D.,S. Warren, eds., Logic Programming, volume 5649 of LNCS, 464-478, 2009. Springer
Details

S. Hölldobler
Cognitive Science, Computational Logic and Connectionism
In M. Adriani et.al., eds., Proceedings International Conference on Advanced Computer Science and Information Systems (ICACSIS), 1-6, 2009
Details

S. Hölldobler, C.\,D.\,P. Kencana Ramli
Logics and Networks for Human Reasoning
In C. Alippi et. al., eds., ICANN, volume 5769 of LNCS, 85-94, 2009. Springer
Details

Markus Krötzsch, Sebastian Rudolph
A Matter of Principles: Towards the Largest DLP Possible
Proceedings of the 22nd International Workshop on Description Logics (DL2009), volume 477 of CEUR Workshop Proceedings, July 2009. CEUR-WS.org
Details

Zbyněk Křivka, Tomáš Masopust
A Note on the Cooperation in Rewriting Systems with Context-Dependency Checking
Proc. of 11th Italian Conference on Theoretical Computer Science (ICTCS), 129-135, 2009
Details Download

Uta Lösch, Sebastian Rudolph, Denny Vrandečić, Rudi Studer
Tempus Fugit - Towards an Ontology Update Language
In Lora Aroyo et al., eds., 6th European Semantic Web Conference (ESWC 09), volume 5554 of Lecture Notes on Computer Science, 278--292, June 2009. Springer-Verlag
Details Download

Tomáš Masopust
A Note on the Generative Power of Some Simple Variants of Context-Free Grammars Regulated by Context Conditions
In A. H. Dediu, A. M. Ionescu, C. Martín-Vide, eds., Proc. of 3rd International Conference Language and Automata Theory and Applications (LATA), volume 5457 of LNCS, 554-565, 2009. Springer
Details Download

Tomáš Masopust
Regulated Nondeterminism in PDAs: The Non-Regular Case
Proc. of Workshop on Non-Classical Models of Automata and Applications (NCMA), 181-194, 2009
Details Download

Tomáš Masopust, Alexander Meduna
Descriptional Complexity of Three-Nonterminal Scattered Context Grammars: An Improvemen
Proc. of 11th International Workshop on Descriptional Complexity of Formal Systems (DCFS), 183-192, 2009
Details Download

Julian Mendez, Boontawee Suntisrivaraporn
Reintroducing CEL as an OWL 2 EL Reasoner
In Bernardo Cuenca Grau and Ian Horrocks and Boris Motik and Ulrike Sattler, eds., Proceedings of the 2009 International Workshop on Description Logics (DL2009), volume 477 of CEUR-WS, 2009
Details Download

Nadejda Nikitina, Sebastian Rudolph, Sebastian Blohm
Refining Ontologies by Pattern-Based Completion
In Eva Blomqvist, Kurt Sandkuhl, Francois Scharffe, Vojtech Svatek, eds., Proceedings of the Workshop on Ontology Patterns (WOP 2009), volume 516, October 2009. CEUR
Details Download

Rafael Peñaloza
Using Tableaux and Automata for Pinpointing in EL
In Valentin Goranko, eds., TABLEAUX 2009 Wokshop on Tableaux versus Automata as Logical Decision Methods (AutoTab'09), 2009
Details Download

Rafael Peñaloza, Barış Sertkaya
Axiom Pinpointing is Hard
In Bernardo Cuenca Grau and Ian Horrocks and Boris Motik and Ulrike Sattler, eds., Proceedings of the 2009 International Workshop on Description Logics (DL2009), volume 477 of CEUR-WS, 2009
Details Download

Rafael Peñaloza
Reasoning With Weighted Ontologies
In Bernardo Cuenca Grau and Ian Horrocks and Boris Motik and Ulrike Sattler, eds., Proceedings of the 2009 International Workshop on Description Logics (DL2009), volume 477 of CEUR-WS, 2009
Details Download

Barış Sertkaya
Towards the Complexity of Recognizing Pseudo-intents
In Frithjof Dau and Sebastian Rudolph, eds., Proceedings of the 17th International Conference on Conceptual Structures, (ICCS 2009), volume 5662, 284-292, 2009
Details Download

Barış Sertkaya
OntoComP: A Protege Plugin for Completing OWL Ontologies
Proceedings of the 6th European Semantic Web Conference, (ESWC 2009), volume 5554 of Lecture Notes in Computer Science, 898-902, 2009. Springer
Details Download

Barış Sertkaya
Some Computational Problems Related to Pseudo-intents
In Sébastien Ferré and Sebastian Rudolph, eds., Proceedings of the 7th International Conference on Formal Concept Analysis, (ICFCA 2009), volume 5548 of Lecture Notes in Artificial Intelligence, 130-145, 2009. Springer
Details Download

Barış Sertkaya
OntoComP System Description
In Bernardo Cuenca Grau and Ian Horrocks and Boris Motik and Ulrike Sattler, eds., Proceedings of the 2009 International Workshop on Description Logics (DL2009), volume 477 of CEUR-WS, 2009
Details Download

Duc Thanh Tran, Haofen Wang, Sebastian Rudolph, Philipp Cimiano
Top-k Exploration of Query Candidates for Efficient Keyword Search on Graph-Shaped (RDF) Data
Proceedings of the 25th International Conference on Data Engineering (ICDE'09), March 2009
Details

Denny Vrandečić, Frank Dengler, Sebastian Rudolph, Michael Erdmann
RDF syntax normalization using XML validation
In Lalana Kagal, Ora Lassila, Tim Finin, eds., Proceedings of the Workshop Semantics for the Rest of Us at ISWC2009, October 2009. CEUR-WS
Details Download

Christoph Wernhard
Tableaux for Projection Computation and Knowledge Compilation
In Martin Giese and Arild Waaler, eds., Automated Reasoning with Analytic Tableaux and Related Methods, 18th International Conference, TABLEAUX 2009, volume 5607 of Lecture Notes in Computer Science, 325-340, 2009. Springer
Details

Christoph Wernhard
Literal Projection and Circumscription
In Nicolas Peltier and Viorica Sofronie-Stokkermans, eds., International Workshop on First-Order Theorem Proving, FTP'09, 2009. University of Oslo
Details


Bücher

A. Bernstein, T. Dreier, S. Hölldobler, G. Hotz, K.-P. Löhr, P. Molitor, G. Neumann, R. Reischuk, D. Saupe, M. Spiliopoulou, H. Störrle, D. Wagner
Ausgezeichnete Informatikdissertationen 2008
Volume D-9. German Informatics Society, 2009
Details

Pascal Hitzler, Markus Krötzsch, Sebastian Rudolph
Foundations of Semantic Web Technologies
Chapman & Hall/CRC, August 2009
Details

Steffen Hölldobler
Logik und Logikprogrammierung. Band 1: Grundlagen.
Synchron Wissenschaftsverlag der Autoren, 2009
Details


Buchkapitel

Franz Baader
Description Logics
In Reasoning Web: Semantic Technologies for Information Systems, 5th International Summer School 2009, volume 5689 of Lecture Notes in Computer Science, 1-39. Springer, 2009
Details Download

Kay Kadner, Gerald Huebsch, Martin Knechtel, Thomas Springer, Christoph Pohl
Multimodality in Mobile Computing and Mobile Devices: Methods for Adaptable Usability
In , chapter Platform Support for Multimodality on Mobile Devices, 75-105. IGI Global, 2009
Details

Markus Krötzsch, Bernhard Ganter
A Brief Introduction to Formal Concept Analysis
In Pascal Hitzler and Hendrik Schärfe, eds., Conceptual Structures in Practice, CRC Studies in Informatics, 3--16. Chapman & Hall, May 2009
Details

Sebastian Rudolph, Johanna Völker
A Lexico-Logical Approach to Ontology Engineering
In Pascal Hitzler, Henrik Schärfe, eds., Conceptual Structures in Practice, Studies in Informatics, 225--244. Chapman & Hall/CRC, May 2009
Details


Herausgegebene Tagungsbände

Sébastien Ferré, Sebastian Rudolph
Formal Concept Analysis: 7th International Conference, ICFCA 2009, Proceedings
Volume 5548 of LNAI, May 2009. Springer
Details

Sebastian Rudolph, Frithjof Dau, Sergei O. Kuznetsov
Conceptual Structures: Leveraging Semantic Technologies
Volume 5662 of LNCS, July 2009. Springer
Details

Sebastian Rudolph, Frithjof Dau, Sergei O. Kuznetsov
Supplementary Proceedings of ICCS'09
Volume 483 of CEUR Workshop Proceedings, July 2009. CEUR
Details

Karl Erich Wolff, Sebastian Rudolph, Sébastien Ferré
Contributions to ICFCA 2009
, May 2009. Verlag Allgemeine Wissenschaft
Details


Dissertationen

Sebastian Bader
Neural-Symbolic Integration
Phd thesis, Technische Universität Dresden, 2009
Details


Technische Berichte

Franz Baader, Hongkai Liu, Anees ul Mehdi
Integrate Action Formalisms into Linear Temporal Description Logics
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology, volume LTCS-09-03, 2009. LTCS-Report
Details Download

Franz Baader, Martin Knechtel, Rafael Peñaloza
Computing Boundaries for Reasoning in Sub-Ontologies
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology, volume 09-02, 2009. LTCS-Report
Details Download

Conrad Drescher, Hongkai Liu, Franz Baader, Steffen Guhlemann, Uwe Petersohn, Peter Steinke, Michael Thielscher
Putting ABox Updates into Action
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology, volume 09-01, 2009. LTCS-Report
Details Download

Birte Glimm, Sebastian Rudolph
Nominals, Inverses, Counting, and Conjunctive Queries or Why Infinity is your Friend!
Technical Report, Oxford University, volume 2000, March 2009
Details Download

Steffen Hölldobler, Carroline Dewi Puspa Kencana Ramli
Logics and Networks for Human Reasoning
Technical Report, Knowledge Representation and Reasoning Group, Institute for Artificial Intelligence, Department of Computer Science, TU Dresden, volume WV-09-01, 2009
Details Download

Steffen Hölldobler, Carroline Dewi Puspa Kencana Ramli
Logic Programs under Three-Valued Lukasiewicz Semantics
Technical Report, Knowledge Representation and Reasoning Group, Institute for Artificial Intelligence, Department of Computer Science, TU Dresden, volume WV-09-02, 2009
Details Download

Markus Krötzsch, Sebastian Rudolph
Finding the Largest Datalog Fragment of Description Logic
Technical Report 3002, Institute AIFB, KIT, November 2009
Details

Rafael Peñaloza, Barış Sertkaya
On the Complexity of Axiom Pinpointing in Description Logics
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology, volume 09-04, 2009. LTCS-Report
Details Download


Projektberichte

Frank Dengler, Markus Krötzsch, Denny Vrandečić, Elena Simperl, Katharina Siorpaes
D1.1.1 Conceptual models for enterprise knowledge (Initial Models)
Institut AIFB, KIT, (D1.1.1), ACTIVE Deliverable, March 2009
Details

Zhisheng Huang, Annette ten Teije, Frank van Harmelen, Gaston Tagni, Hansjorg Neth, Lael Schooler, Sebastian Rudolph, Pascal Hitzler, Tuvshintur Tserendorj, Yi Huang, Danica Damljanovic, Angus Roberts
D1.4.1 Initial Framework for Measuring and Evaluating Heuristic Problem Solving
Vrije Universiteit AmsterdamLarKC Project Deliverable, September 2009
Details

Markus Krötzsch, Frank Dengler, Katharina Siorpaes, Denny Vrandečić
D1.3.1: Collaborative Articulation of Enterprise Knowledge (Early prototypes)
Institut AIFB, KIT, (D1.3.1), ACTIVE Deliverable, March 2009
Details


Vorträge und Sonstiges

Daniel Borchmann
Context Orbifolds
Diplomarbeit, September 2009
Details Download

Sarah Alice Gaggl
ASPARTIX: A System for Computing Different Argumentation Semantics in Answer-Set Programming
Poster at Advanced Course on Artificial Intelligence Summer School (ACAI 2009), 2009
Details Download