University of Manchester

Forschungsprojekte

• NeurOWL: An LLM-Based Neural-symbolic Framework for Incomplete OWL Ontology Reasoning OWL ontologies provide a formal knowledge representation framework that enables semantic reasoning, and have…
• Second-Order Quantifier Elimination and Uniform Interpolation for Bath Path Logic and the Ordered Fragment We consider and extend results on basic path logic and the ordered fragment of first-order logic, both of whi…
• Engineering Reliable Autonomous Systems: Challenges and Solutions Engineering reliable autonomous systems is an important and growing topic in computer science. As autonomous…