The International Conference on Formal Ontology in Information Systems (FOIS), organized by the International Association for Ontology and its Applications (IAOA), is a meeting point for all researchers with an interest in formal ontology. It aims to be a nexus of interdisciplinary research and communication for researchers from many domains engaging with formal ontology. Common
Istituto Trentino di Cultura (ITC)
Cape Town Knowledge Representation and Reasoning Symposium (Cape-KR)*
The International Conference on the Principles of Knowledge Representation and Reasoning (KR) is a leading forum for timely, in-depth presentation of progress in the theory and principles underlying the representation and computational management of knowledge. Until 2020 KR was a biennial conference. Since 2024 KR is “supplemented” by the