Volker Sorge
机构: Professor in Document Analysis and Accessibility, University of Birmingham
每年引用次数
引用次数
引用: 2,273
H-指数: 26
I10-指数 : 64
出版物: 226
Agent-Oriented Integration of Distributed Mathematical Services.
Michael Kohlhase , Volker Sorge , Stephan M. Hess , Andreas Franke
Journal of Universal Computer Science 5 156 -187
41
1999
Classification results in quasigroup and loop theory via a combination of automated reasoning tools
Roy McCasland , Volker Sorge , Simon Colton , Andreas Meier
Commentationes Mathematicae Universitatis Carolinae 49 ( 2) 319 -339
14
2008
Exploring properties of residue classes
Volker Sorge , Andreas Meier
Symbolic computation and automated reasoning 175 -190
13
2001
Proof Planning: A Fresh Start?
Christoph Benzmüller , Andreas Meier , Erica Melis , Martin Pollet
Proceedings of the IJCAR 2001 Workshop: Future Directions in Automated Reasoning
6
2001
Integrating TPS and OMEGA
Christoph Benzmüller , Volker Sorge , Matthew Bishop
Journal of Universal Computer Science 5 188 -207
8
1999
An Integration of Mechanised Reasoning and Computer Algebra that Respects Explicit Proofs
Michael Kohlhase , Volker Sorge , Manfred Kerber
1
1999
An Interactive Proof Development Environment + Anticipation = A Mathematical Assistant?
Michael Kohlhase , Lassaad Cheikhrouhou , Jörg Siekmann , Christoph Benzmüller
International Journal of Computing 3
2
1999
Omega-ants: A blackboard architecture for the integration of reasoning techniques into proof planning
Volker Sorge
17
2001
A Term Rewriting System for Kuratowski's Closure-Complement Problem
Volker Sorge , Claudio Sacerdoti Coen , Osama Al-Hassani , Quratul-ain Mahesar
rewriting techniques and applications 15 38 -52
5
2012
Intelligent Computer Mathematics: 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012. Proceedings
Lionel Mamane , Jacques Carette , Volker Sorge , Jesse Alama
Springer-Verlag Berlin Heidelberg
2
2012
MolRec at CLEF 2012 - Overview and Analysis of Results.
Volker Sorge , Alan P. Sexton , Noureddin M. Sadawi
CLEF (Online Working Notes/Labs/Workshop)
5
2012
L UI : L ovely MEGA U ser I nterface.
Michael Kohlhase , Lassaad Cheikhrouhou , Jörg H. Siekmann , Christoph Benzmüller
Formal Aspects of Computing 11 326 -342
1999
Performance of MolRec at TREC 2011 Overview and Analysis of Results.
Volker Sorge , Alan P. Sexton , Noureddin M. Sadawi
text retrieval conference
6
2011
Agent-based Theorem Proving
Christoph Benzmüller , Volker Sorge
Proceedings of the 9th Workshop on Automated Reasoning: Bridging the Gap between Theory and Practice
2
2002
Towards Fine-Grained Proof Planning with Critical Agents
Christoph Benzmüller , Volker Sorge
Proceedings of the 6th Workshop on Automated Reasoning
3
1999
State of the Art of Accessibility Tools: Deliverable D10.1 ofproject EuDML
Volker Sorge , Petr Sojka , Alan P. Sexton , Mark Lee
EU CIP-ICT-PSP project 250503 EuDML: The European Digital#N#Mathematics Library
2011
Le projet EuDML : état des lieux et premiers résultats (invitedtalk 1.3.2012, Colloquium UJF, Grenoble, FR)
Volker Sorge , Petr Sojka , Thierry Bouche , Alexander Nowinski
2012
Combining Proofs of Higher-Order and First-Order Automated Theorem Provers
Christoph Benzmüller , Volker Sorge , Manfred Kerber , Mateja Jamnik
Proceedings of the LPAR-05 Workshop: Empirically Successfull Automated Reasoning in Higher-Order Logic (ESHOL)
2005
State of the Art of Augmenting Metadata Techniques andTechnology: Deliverable 7.1 of project EuDML
Volker Sorge , Josef Baker , Petr Sojka , Alan Sexton
EU CIP-ICT-PSP project 250503 EuDML: The European Digital#N#Mathematics Library
2010
Association Analyzer Implementation: State of the Art:Deliverable 8.1 of project EuDML
Volker Sorge , Josef Baker , Petr Sojka , Mark Lee
EU CIP-ICT-PSP project 250503 EuDML: The European Digital#N#Mathematics Library
2010