Explore efficient methods for fitting Horn DL ontologies to ABox and queries, addressing complexity and decision procedures in AI knowledge representation.
Explore neuro-symbolic AI robots using closed knowledge assumptions for enhanced learning, reasoning, and handling inconsistencies in strong AI systems.