| Combining Deductive and Statistical Explanations in the FRANK Query Answering System | 0 | 0.34 | 2021 |
| Using domain lexicon and grammar for ontology matching. | 0 | 0.34 | 2020 |
| Automating Event-B invariant proofs by rippling and proof patching. | 0 | 0.34 | 2019 |
| Identifying Semantic Domains in Emergency Scenarios. | 0 | 0.34 | 2018 |
| MATHsAiD: Automated mathematical theory exploration. | 0 | 0.34 | 2017 |
| Improving Dynamic Information Exchange in Emergency Response Scenarios. | 1 | 0.36 | 2017 |
| Functional Inferences Over Heterogeneous Data | 1 | 0.40 | 2016 |
| Book review: Carol Smallwood (ed.), Creative Management of Small Public Libraries in the 21st Century. | 0 | 0.34 | 2016 |
| Automating Change of Representation for Proofs in Discrete Mathematics (Extended Version). | 1 | 0.43 | 2016 |
| Solving guesstimation problems using the Semantic Web: Four lessons from an application. | 0 | 0.34 | 2015 |
| A Higher Order Approach to Ontology Evolution in Physics. | 4 | 0.44 | 2013 |
| On Some Equivalence Relations between Incidence Calculus and Dempster-Shafer Theory of Evidence | 1 | 0.55 | 2013 |
| Incidence calculus: A mechanism for probabilistic reasoning | 34 | 11.79 | 2013 |
| Reprint of "Robert Kowalski, Computational Logic and Human Thinking: How to Be Artificially Intelligent, 2011". | 0 | 0.34 | 2013 |
| Robert Kowalski, , Computational Logic and Human Thinking: How to Be Artificially Intelligent (2011) . | 0 | 0.34 | 2012 |
| AI meets Formal Software Development (Dagstuhl Seminar 12271). | 2 | 0.37 | 2012 |
| Reasoning with Context in the Semantic Web. | 4 | 0.44 | 2012 |
| Towards the Automatic Detection and Correction of Errors in Automatically Constructed Ontologies | 1 | 0.37 | 2012 |
| Book review: The Reader-Friendly Library Service Rachel Van Riel, Olive Fowler and Anne Downes. Newcastle upon Tyne: The Society of Chief Librarians, 2008. 379pp, £25.00. ISBN 9780955902802. | 0 | 0.34 | 2011 |
| Conjecture Synthesis for Inductive Theories | 40 | 1.70 | 2011 |
| A single-significant-digit calculus for semi-automated guesstimation | 0 | 0.34 | 2010 |
| Using Linked Data for Semi-Automatic Guesstimation. | 0 | 0.34 | 2010 |
| Harnessing the power of folksonomies for formal ontology matching on-the-fly. | 3 | 0.50 | 2010 |
| Australia'S Public Library System: Its Needs And Potential | 0 | 0.34 | 2010 |
| Book Review: Delivering the Best Start: A Guide to Early Years Libraries by Carolynn Rankin and Avril Brock 2009, London: Facet Publishing, 190pp, £39.95, ISBN 9781856046107; Libraries Designed for Kids by Nolan Lushington 2008, London: Facet Publishing, 173pp, £44.95, ISBN 9781856046572. | 0 | 0.34 | 2009 |
| Automating Signature Evolution in Logical Theories | 1 | 0.36 | 2008 |
| Why Ontology Evolution Is Essential in Modelling Scientific Discovery | 1 | 0.36 | 2008 |
| Dynamic, Automatic, First-Order Ontology Repair By Diagnosis Of Failed Plan Execution | 26 | 1.92 | 2007 |
| Automatic Synthesis of Decision Procedures: A Case Study of Ground and Linear Arithmetic | 0 | 0.34 | 2007 |
| Representation as a Fluent: An AI Challenge for the Next Half Century | 7 | 0.80 | 2006 |
| MATHsAiD: A Mathematical Theorem Discovery Tool | 7 | 0.74 | 2006 |
| Constructing Induction Rules for Deductive Synthesis Proofs | 1476 | 60.05 | 2006 |
| A Very Mathematical Dilemma | 1 | 0.39 | 2006 |
| Attacking Group Protocols by Refuting Incorrect Inductive Conjectures | 7 | 0.49 | 2006 |
| Deductive synthesis of workflows for e-Science | 6 | 0.68 | 2005 |
| Attacking Group Multicast Key Management Protocols Using Coral | 7 | 0.48 | 2005 |
| Dr.Doodle: A Diagrammatic Theorem Prover. | 8 | 0.74 | 2004 |
| On Differences between the Real and Physical Plane | 2 | 0.38 | 2004 |
| A General Setting for Flexibly Combining and Augmenting Decision Procedures | 9 | 0.72 | 2002 |
| Applying adversarial planning techniques to go | 10 | 1.42 | 2001 |
| Automatic verification of Java design patterns | 16 | 1.09 | 2001 |
| On the Correction of Faulty Formulae. | 0 | 0.34 | 2001 |
| Searching for a Solution to Program Verification=Equation Solving in CCS | 1 | 0.35 | 2000 |
| Automatic Invention of Integer Sequences | 15 | 1.41 | 2000 |
| On the notion of interestingness in automated mathematical discovery | 33 | 2.76 | 2000 |
| A Proposal for Automating Diagrammatic Reasoning in Continuous Domains | 1 | 0.34 | 2000 |
| Combining Knowledge and Search to Solve Single-Suit Bridge | 4 | 0.71 | 2000 |
| Recursive Program Optimization through Inductive Synthesis Proof Transformation | 1 | 0.34 | 1999 |
| Extensions to the Estimation Calculus | 3 | 6.13 | 1999 |
| Automatic concept formation in pure mathematics | 21 | 2.10 | 1999 |
