
views: 607
Frank Wolter
Professor
Sign in to view more

Ego Network
D-Core
Research Interests
Author Statistics
Experience
Sign in to view more
Education
Sign in to view more
Bio
Research
Knowledge Representation and Reasoning
Logic in Computer Science
Research Grants
Knowledge representation and reasoning about distances.
Symposium on Frontiers of Combining Systems and Workshop on First-Order Theorem Proving
Dynamic ontologies: a framework for service descriptions.
Composing and decomposing ontologies: a logic-based approach
Combination of modal and discriptional logics and their employment for the presentation of international and dynamic knowledge.
Logical difference for ontology versioning
Knowledge Representation and Reasoning
Logic in Computer Science
Research Grants
Knowledge representation and reasoning about distances.
Symposium on Frontiers of Combining Systems and Workshop on First-Order Theorem Proving
Dynamic ontologies: a framework for service descriptions.
Composing and decomposing ontologies: a logic-based approach
Combination of modal and discriptional logics and their employment for the presentation of international and dynamic knowledge.
Logical difference for ontology versioning
Papers304 papers
Sort
By YearBy Citation
national conference on artificial intelligence, (2020)
Description Logics, (2020)
Description Logics, (2020)
Description Logics, (2020)
Description Logics, (2020)
KR, no. 1 (2020): 582-591
Proceedings of the 36th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, no. 3 (2020): 1-47
Description Logics, (2020)
Description Logics, (2020)
IJCAI 2020, pp.1827-1833, (2020)
Description Logics, (2020)
ACM Trans. Comput. Log., no. 3 (2020)
Description Logics, (2020)
KR, no. 1 (2020): 517-528
(2020)
(2019)
View All