K. Broda - Concepedia

Author

K. Broda

Also Known As

K Broda, K. Broda

Publications

273

Citations

H-Index

Concepts

All Affiliations

K. Broda is an author at Imperial College London specializing in automated reasoning, engineering, and computer science.

#	Concept	H-Index	Publications	Citations
1	Engineering	3	3	252
2	Law	1	1	13
3	Natural Sciences	1	1	19
4	Social Sciences	1	1	19
5	Cognitive Science	1	1	19

K. Broda

Publications

252

Citations

H-Index

Page 1

	Year	Citations
Symbolic knowledge extraction from trained neural networks: A sound approach Artur d’Avila Garcez, K. Broda, Michael Gabbay Artificial Intelligence Artificial IntelligenceSymbolic LearningEngineeringMachine LearningData Science	2001	220
Pandora: A Reasoning Toolbox using Natural Deduction Style K. Broda, Jian Ma, Gabrielle Sinnadurai, Logic Journal of IGPL EngineeringModel-based ReasoningSemanticsSocial SciencesImperial College London	2007	19
Labelled Natural Deduction for Conditional Logics of Normality K. Broda Logic Journal of IGPL Non-classical LogicConditional LogicsEngineeringSubstructural LogicRelevance Logic	2002	13

Page 1