Sattler, Uli
Sattler, Uli, 1966-....
Sattler, Ulrike, 1966-
Ulrike Sattler
Sattler, Ulrike
VIAF ID: 197806482 ( Personal )
Permalink: http://viaf.org/viaf/197806482
Preferred Forms
-
- 100 1 _ ‡a Sattler, Uli
-
-
-
- 100 1 _ ‡a Sattler, Uli ‡d 1966-
- 100 1 _ ‡a Sattler, Uli, ‡d 1966-....
- 100 1 _ ‡a Sattler, Ulrike
- 100 1 _ ‡a Sattler, Ulrike ‡d 1966-
-
- 100 0 _ ‡a Ulrike Sattler
4xx's: Alternate Name Forms (15)
5xx's: Related Names (1)
Works
Title | Sources |
---|---|
Automated reasoning, c2012: | |
Completing Description Logic Knowledge Bases using Formal Concept Analysis | |
Complexity of Reasoning with Boolean Modal Logics Extended Version | |
Complexity of the Product Logics K4xS5 and S4xS5 and of the Logic SSL of Subset Spaces | |
Decidability of SHIQ with Complex Role Inclusion Axioms | |
A Description Logic with Transitive and Converse Roles, Role Hierarchies and Qualifying Number Restrictions | |
IJCAR 2012 | |
Integrating Description Logics and Action Formalisms for Reasoning about Web Services | |
Intelligent Information Processing VII : 8th IFIP TC 12 International Conference, IIP 2014, Hangzhou, China, October 17-20, 2014, Proceedings | |
An introduction to description logic | |
Keys, Nominals, and Concrete Domains | |
Knowledge Engineering and Knowledge Management : EKAW 2014 Satellite Events, VISUAL, EKM1, and ARCOE-Logic, Linköping, Sweden, November 24-28, 2014. Revised Selected Papers. | |
KR 2010 Proceedings | |
KR proceedings, Twelfth International Conference on Principles of Knowledge Representation and Reasoning | |
Modal Logic and the two-variable fragment Revised Version | |
Optimised Reasoning for SHIQ | |
A PSPACE-algorithm for deciding ALCNIR+-satisfiability | |
Query Containment Using a DLR ABox | |
The Semantic Web - ISWC 2022 : 21st International Semantic Web Conference, Virtual Event, October 23-27, 2022, Proceedings | |
Terminological knowledge representation systems in a process engineering application |