Warren Del-Pinto is an author at University of Manchester specializing in formal methods, automated reasoning, and knowledge representation.
Top concepts
AbductionSemanticsEngineeringFormal MethodsComputer ScienceDescription LogicsAutomated ReasoningComputational ComplexityKnowledge Representation
Publications per year
2019–2020
2
2
Signature-Based Abduction for Expressive Description Logics
Patrick Koopmann, Warren Del-Pinto, Sophie Tourret et al. · 2020 · 16 citations · Full text
Rows per page
1–2 of 2