The project studies the logical foundations and the engineering of software and knowledge-based systems. Topics of interest are Formal Models and Semantics, Knowledge Representation, Automated Reasoning, NLP, Information Retrieval, Software Engineering, and Information Systems. Main applications cover but are not limited to Geomatics, Remote Sensing, IoT, Software Verification and Validation, Semantic Web, X-AI, Neuro-symbolic AI, […]
Read More