Concepedia

Volker Sorge

VS

24

Publications

557

Citations

15

H-Index

1998

Active since

Affiliations

University of Birmingham(Current)

Saarland University

Peking University

University of Edinburgh

German Research Centre for Artificial Intelligence

Volker Sorge is an author at University of Birmingham specializing in engineering, computer science, and automated reasoning.

Top concepts

EngineeringComputer ScienceAutomated ReasoningStatisticsLinguisticsData ScienceCorpus LinguisticsArtificial IntelligenceComputational LinguisticsNatural Language Processing

Publications per year

1998–2023

24

Publications

24

Integrating Computer Algebra into Proof Planning

Manfred Kerber, Michael Kohlhase, Volker Sorge · Journal of Automated Reasoning · 1998 · 59 citations

Chemical structure recognition: a rule-based approach

Noureddin Sadawi, Alan P. Sexton, Volker Sorge · Proceedings of SPIE, the International Society for Optical Engineering/Proceedings of SPIE · 2011 · 43 citations

Engineering, Structural Pattern Recognition, Molecular Biology +19

Agent-Oriented Integration of Distributed Mathematical Services

Andreas Franke, Volker Sorge · JUCS - Journal of Universal Computer Science · 2020 · 42 citations · Full text

-Ants { An open approach at combining Interactive and Automated Theorem Proving

Christoph Benzm, Volker Sorge · 2002 · 40 citations

Artificial Intelligence, Engineering, Model-based Reasoning +18

Towards making mathematics a first class citizen in general screen readers

Volker Sorge, Charles Chen, T. V. Raman et al. · 2014 · 34 citations · Full text

Engineering, Education, Corpus Linguistics +20

Rows per page

1–5 of 24