Citations per year, relative to Geoff Sutcliffe Geoff Sutcliffe (= 1×)
peers
Dale Miller
Countries citing papers authored by Geoff Sutcliffe
Since
Specialization
Citations
This map shows the geographic impact of Geoff Sutcliffe's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Geoff Sutcliffe with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Geoff Sutcliffe more than expected).
This network shows the impact of papers produced by Geoff Sutcliffe. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Geoff Sutcliffe. The network helps show where Geoff Sutcliffe may publish in the future.
Co-authorship network of co-authors of Geoff Sutcliffe
This figure shows the co-authorship network connecting the top 25 collaborators of Geoff Sutcliffe.
A scholar is included among the top collaborators of Geoff Sutcliffe based on the total number of
citations received by their joint publications. Widths of edges
represent the number of papers authors have co-authored together.
Node borders
signify the number of papers an author published with Geoff Sutcliffe. Geoff Sutcliffe is excluded from
the visualization to improve readability, since they are connected to all nodes in the network.
Sutcliffe, Geoff, et al.. (2018). TFX: The TPTP Extended Typed First-Order Form. Chalmers Research (Chalmers University of Technology). 2162. 72–87.1 indexed citations
3.
Sutcliffe, Geoff, Francis Jeffry Pelletier, & Allen Hazen. (2018). Making Belnap's "Useful 4-Valued Logic" Useful.. The Florida AI Research Society. 116–121.1 indexed citations
4.
Pelletier, Francis Jeffry, Geoff Sutcliffe, & Allen Hazen. (2017). Automated Reasoning for the Dialetheic Logic RM3.. The Florida AI Research Society. 110–115.1 indexed citations
5.
Kaliszyk, Cezary, Geoff Sutcliffe, & Florian Rabe. (2016). TH1: The TPTP typed higher-order form with rank-1 polymorphism. 1635. 41–55.7 indexed citations
6.
Sutcliffe, Geoff & Francis Jeffry Pelletier. (2016). Hoping for the Truth - A Survey of the TPTP Logics.. The Florida AI Research Society. 110–115.2 indexed citations
7.
Stump, Aaron, Geoff Sutcliffe, & Cesare Tinelli. (2012). Introducing StarExec: a Cross-Community Infrastructure for Logic Solving.. Compare A Journal of Comparative and International Education. 2.1 indexed citations
8.
Urban, Josef, et al.. (2009). COMBINING MIZAR AND TPTP SEMANTIC PRESENTATION AND VERIFICATION TOOLS. Studies in Logic Grammar and Rhetoric. 121–136.2 indexed citations
9.
Silva, Paulo Pinheiro da, et al.. (2008). Presenting TSTP Proofs with Inference Web Tools.. 373. 81–93.4 indexed citations
10.
Sutcliffe, Geoff. (2008). The CADE-21 automated theorem proving system competition. AI Communications. 21(1). 71–81.11 indexed citations
11.
Sutcliffe, Geoff. (2007). The 3rd IJCAR Automated Theorem Proving Competition. AI Communications. 20(2). 117–126.4 indexed citations
12.
Sutcliffe, Geoff & Christian Suttner. (2006). The state of CASC. AI Communications. 19(1). 35–48.59 indexed citations
13.
Sutcliffe, Geoff. (2006). The CADE-20 automated theorem proving competition. AI Communications. 19(2). 173–181.5 indexed citations
14.
Sutcliffe, Geoff & Андрей Воронков. (2005). Logic for Programming, Artificial Intelligence, and Reasoning, 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings. Springer eBooks.1 indexed citations
15.
Pelletier, Francis Jeffry, Geoff Sutcliffe, & Christian Suttner. (2002). The development of CASC. AI Communications. 15(2). 79–90.34 indexed citations
16.
Sutcliffe, Geoff, et al.. (1999). Smart Selective Competition Parallelism ATP. The Florida AI Research Society. 341–345.10 indexed citations
17.
Sharpe, Michael, et al.. (1994). An Intelligent Document Understanding & Reproduction System. Machine Vision and Applications. 267–271.2 indexed citations
18.
Sutcliffe, Geoff. (1993). Prolog-D-Linda v2: A New Embedding of Linda in SICStus Prolog.. International Conference on Lightning Protection.9 indexed citations
19.
Sutcliffe, Geoff. (1992). A Heterogeneous Parallel Deduction System.4 indexed citations
Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive
bibliographic database. While OpenAlex provides broad and valuable coverage of the global
research landscape, it—like all bibliographic datasets—has inherent limitations. These include
incomplete records, variations in author disambiguation, differences in journal indexing, and
delays in data updates. As a result, some metrics and network relationships displayed in
Rankless may not fully capture the entirety of a scholar's output or impact.