- Understanding Interlinked Data Visualising, Exploring, and Analysing Ontologies
- Ontology Patterns and Beyond Towards a Universal Pattern Language
- A Mechanically Veri ed Compiling Speci cation for a Lisp Compiler ?
- USING CONSTRAINT PROGRAMMING AND SIMULATION FOR EXECUTION
- Explanation Support for OWL Authoring Thorsten Liebig and Friedrich von Henke and Olaf Noppens
- Planning Agents in James Bernd Schattenberg Adelinde M. Uhrmacher
- Presented at the 7th IFIP International Working Conference on Dependable Computing for Critical Applications (DCCA7), San Jose, CA, January 1999. Published in Dependable Computing and
- Organizing Knowledge as an Ontology of the Domain of Resilient Computing by Means of Natural Language Processing
- Slightly expanded version of a paper presented at the 12th International Conference on Theorem Proving in Higher Order Logics (TPHOLs'99).
- Construction and Deduction Methods for the Formal Development of Software
- A Mechanically Verified Compiling Specification for a Realistic Compiler #
- AGENTS IN DISCRETE EVENT SIMULATION A.M. Uhrmacher B. Schattenberg
- A guided tour through TYPELAB \Lambda Marko Luther and Martin Strecker
- The Treatment of Time in a CaseBased Analysis of
- Explaining Subsumption and Patching Non-Subsumption with Tableaux Methods
- Explaining Subsumption in ALEHFR+ TBoxes Thorsten Liebig and Michael Halfmann
- Towards LightWeight Verification and HeavyWeight Testing ?
- Fuzzy basiertes Induktives Schlieen Eine Analyse der Kohlendioxiddynamik in
- A Tableaux-based Mobile DL Reasoner F. Muller and M. Hanselmann and T. Liebig and O. Noppens
- Interactive Visualization of Large OWL Instance Sets Olaf Noppens and Thorsten Liebig
- Towards Semantic-based Service Discovery on Tiny Mobile Devices
- Structuring and Using a Knowledge Base of Mathematical Concepts: A TypeTheoretic
- Universitat Ulm Abteilung Kunstliche Intelligenz
- VIScover: Visualizing, Exploring, and Analysing Structured Data VAST 2009 Flitter Mini Challenge Award: Novel visualization of effect of rule application
- Building Applications and Tools for OWL Experiences and Suggestions
- Software Development in PVS using Generic Development Steps ?
- A CaseBased Methodology for Planning Individualized Case Oriented Tutoring
- Real-World Reasoning with OWL Timo Weithoner1
- An Efficient Decision Procedure for the Theory of FixedSized BitVectors
- A Tool for Graphical Manipulation and Visualization of Domain Models #
- Lazy Approximation for Dense RealTime Systems # (Extended Abstract)
- Modeling and Verification of a FaultTolerant Realtime Startup Protocol using Calendar Automata
- ModelChecking zur Analyse von Message Sequence Charts uber Statecharts 1
- Storing and Querying Ontologies in Logic Databases
- On the Identification and Use of Hierarchical Resources in Planning and Bernd Schattenberg and Susanne Biundo
- Formal Verification of a Coordinated Atomic Action Based Design 1
- In: AI Applications, Vol. 11, No. 2, 1997: 110 Applying Fuzzy based Inductive Reasoning to Analyze Qualitatively
- OntoTrack: Fast Browsing and Easy Editing of Large Ontologies
- Formal Verification of Transformations for Peephole Optimization ?
- Modular Formal Analysis of the Central Guardian in the TimeTriggered Architecture #
- Modular Verification of SRT Division \Lambda H. Rue, N. Shankar, M.K. Srivas
- Formal Analysis for Dependability Properties: the TimeTriggered Architecture Example
- Modular Formal Analysis of the Central Guardian in the Time-Triggered Architecture
- Planning Agents in James Bernd Schattenberg Adelinde M. Uhrmacher
- Concept Partition Pattern http:// ontologydesignpatterns.org/wiki/Submission:Partition
- Who the Heck is the Father of Bob? A Survey of the OWL Reasoning Infrastructure for
- Realizing the Hidden Interactive Visualization and Analysis of Large Volumes of Structured Data
- Understanding Large Volumes of Interconnected Individuals by Visual Exploration
- An Authoring System for Instructionally Designed Tutoring Processes Alexander Seitz*, Matthias Dannenberg*
- An Execution System For Variable Tutoring Processes Edwin Volz
- Universitat Ulm Fakultat fur Informatik
- Knowledge-based Middleware as an Architecture for Planning and Scheduling Bernd Schattenberg and Steffen Balzer and Susanne Biundo
- Semantic Web Technology as a Basis for Planning and Scheduling Systems Bernd Schattenberg and Steffen Balzer and Susanne Biundo
- Project Planning Under Temporal Uncertainty
- FORMAL MODELLING AND ANALYSIS OF FAULT TOLERANCE PROPER-TIES IN THE TIME-TRIGGERED ARCHITECTURE
- Pitfalls of OWL-S A Practical Semantic Web Use Case
- Efficient Processing of Huge Ontologies in Logic and Relational Databases
- A Framework for Modeling the Semantics of Expression Evaluation with Abstract State
- From Abstract Crisis to Concrete Relief A Preliminary Report on Combining State Abstraction
- What's Wrong with OWL Benchmarks? Timo Weithoner1
- Universitt Ulm Fakultt fr Informatik
- Construction and Deduction Methods for the Formal Development of Software
- Guided Tour Through A Mechanized Semantics of Simple
- FORMAL MODELLING AND ANALYSIS OF FAULT TOLERANCE PROPER TIES IN THE TIMETRIGGERED ARCHITECTURE
- Dealing with Continuous Resources in AI Planning Susanne Biundo and Roland Holzer and Bernd Schattenberg
- Universitt Ulm Fakultt fr Informatik
- Typelab: An environment for modular program development ?
- OntoTrack: Combining Browsing and Editing with Reasoning and Explaining for OWL Lite
- CaseBased Prediction in Experimental Medical Studies
- Reasoning Services for an OWL Authoring Tool: An Experience Report
- Universitat Ulm Abteilung Kunstliche Intelligenz
- Igniting the OWL 1.1 Touch Paper: The OWL API
- Compiler Correctness and Implementation Verification: The Verifix Approach
- Verification Support Environment (VSE) R. Forster, P. Kejwal (Dornier)
- Proc. Intl. Conf. on Theorem Proving in Higher Order Logics (TPHOLs'98). Springer LNCS, Vol 1479, pp. 461--478, Sept. 1998. c
- More On Implicit Syntax Marko Luther
- Grounding Web Services Semantically: Why and How?
- Representing, Verifying and Applying Software Development Steps using the PVS System ?
- Origo -A Client for a Distributed Semantic Social Network
- Hierarchical Verification of TwoDimensional HighSpeed Multiplication in PVS
- Mechanizing Domain Theory \Lambda F. Bartels, H. Pfeifer, F. von Henke and H. Rue
- Negative Property Assertion Pattern (NPAs) ontologydesignpatterns.org/wiki/Submissions:NegativePropertyAssertions
- U2R2 The Ulm University Relational Reasoner: System Description
- Semantic-based Service Discovery on mobile Devices Matthias Wagner1
- Interactive Exploration of the Movie DB on a Semantical Level Thorsten Liebig
- Formal Verification of a Compiler Backend Generic Checker Program ?
- AGENTS IN DISCRETE EVENT SIMULATION A.M. Uhrmacher B. Schattenberg
- "Docs 'n Drugs" -A System for Case-Oriented and Web-based Training in A. Martens, J. Bernauer, A. Seitz, T. Illmann, C. Scheuerer
- Mechanical Verification of Clock Synchronization Algorithms ?
- An Efficient Decision Procedure for a Theory of FixedSized Bitvectors
- Integrating an Equality Prover into a Software Development System based on Type Theory ?
- The Typelab Specification and Verification Environment ?
- Ontology-supported Preference Handling for Mobile Music Selection
- FORMAL DEVELOPMENT OF OBJECTBASED SYSTEMS IN
- Cases versus Model Based Knowledge An Application in the Area of Bone Healing
- Formalization and Reasoning in a Reflective Architecture H. Rue, H. Pfeifer, F.W. von Henke
- Combining FIPA ACL With DAML+OIL A Case Study Agent Communication with CIA, FIPA ACL and Techniques of the Semantic Web
