Select Publications

Books

Martin EA;Osheerson N, 1998, Elements of Scientific Inquiry, Original, MIT Press, Cambridge, Massachusetts

Book Chapters

Hagege H;Dartnell C;Martin EA;Sallantin J, 2009, 'Humans and Machines: Nature of Learning and Learning of Nature.', in Wang Y (ed.), Discoveries and Breakthroughs in Cognitive Informatics and Natural Intelligence, edn. Original, Information Science Reference, Hershey, PA 17033, USA, pp. 71 - 91, http://dx.doi.org/10.4018/978-1-60566-902-1.ch005

Martin E;Sharma A;Stephan F, 2007, 'DEDUCTION, INDUCTION, AND BEYOND IN PARAMETRIC LOGIC', in Friend M;Goethe NB;Harizanov VS (ed.), INDUCTION, ALGORITHMIC LEARNING THEORY, AND PHILOSOPHY, edn. Logic Epistemology and the Unity of Science, SPRINGER, pp. 55 - 110, http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:000266907500003&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=891bb5ab6ba270e68a

Martin EA;Osherson D, 2005, 'Psychology looks hopefully to logic', in Covi R;Razborov A (ed.), Logic colloquium 2000, edn. Original, Association for symbolic logic, Massachusets, USA, pp. 323 - 333

Journal articles

Martin EA, 2015, 'Logic programming as classical inference', Journal of Applied Logic, vol. 13, pp. 316 - 369, http://dx.doi.org/10.1016/j.jal.2015.06.003

Xu H;Martin E;Mahidadia A, 2014, 'Contents and time sensitive document ranking of scientific literature', Journal of Informetrics, vol. 8, pp. 546 - 561, http://dx.doi.org/10.1016/j.joi.2014.04.006

Jain S;Martin E;Stephan F, 2013, 'Learning and classifying', Theoretical Computer Science, vol. 482, pp. 73 - 85, http://dx.doi.org/10.1016/j.tcs.2013.02.025

Brennan J;Martin E, 2012, 'Spatial proximity is more than just a distance measure', International Journal of Human Computer Studies, vol. 70, pp. 88 - 106, http://dx.doi.org/10.1016/j.ijhcs.2011.08.006

Jain S;Martin E;Stephan F, 2009, 'Input-dependence in function-learning', Theory of Computing Systems, vol. 45, pp. 849 - 864, http://dx.doi.org/10.1007/s00224-009-9174-x

Jain S;Martin E;Stephan F, 2008, 'Absolute versus probabilistic classification in a logical setting', Theoretical Computer Science, vol. 397, pp. 114 - 128, http://dx.doi.org/10.1016/j.tcs.2008.02.026

Martin EA;Sharma AK;Stephan F, 2007, 'On the data consumption benefits of accepting increased uncertainty', Theoretical Computer Science, vol. 382, pp. 170 - 182, http://dx.doi.org/10.1016/j.tcs.2007.03.037

Case J;Jain S;Martin E;Sharma A;Stephan F, 2006, 'Identifying clusters from positive data', SIAM JOURNAL ON COMPUTING, vol. 36, pp. 28 - 55, http://dx.doi.org/10.1137/050629112

Martin E;Sharma A;Stephan F, 2006, 'On ordinal VC-dimension and some notions of complexity', THEORETICAL COMPUTER SCIENCE, vol. 364, pp. 62 - 76, http://dx.doi.org/10.1016/j.tcs.2006.07.041

Martin E;Sharma A;Stephan F, 2006, 'Unifying logic, topology and learning in Parametric logic', Theoretical Computer Science, vol. 350, pp. 103 - 124, http://dx.doi.org/10.1016/j.tcs.2005.10.018

Jain S;Martin E;Stephan F, 2005, 'Absolute versus probabilistic classification in a logical setting', Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 3734 LNAI, pp. 327 - 342, http://dx.doi.org/10.1007/11564089_26

Martin E;Sharma A;Stephan F, 2003, 'Learning power and language expressiveness', Theoretical Computer Science, vol. 298, pp. 365 - 383, http://dx.doi.org/10.1016/S0304-3975(02)00814-9

Chopra S;Martin E, 2002, 'Generalized logical consequence: Making room for induction in the logic of science', Journal of Philosophical Logic, vol. 31, pp. 245 - 280

Martin EA, 2002, 'Scientific Discovery from the Perspective of Hypothesis Acceptance', Philosophy of Science, pp. S331 - S341

Martin EA;Osherson D, 2001, 'Induction by Enumeration', Information and Computation, vol. 171, pp. 50 - 68

Martin EA;Osherson D, 2000, 'Scientific Discovery on Positive Data via Belief Revision', Journal of Philosophical Logic, pp. 483 - 506

Martin EA;Osherson D, 1998, 'Belief revision in the service of scientific discovery', Mathematical Social Sciences, pp. 57 - 68

Conference Papers

Xu H;Martin E;Mahidadia A, 2015, 'Exploiting paper contents and citation links to identify and characterise specialisations', in IEEE International Conference on Data Mining Workshops, ICDMW, pp. 613 - 620, http://dx.doi.org/10.1109/ICDMW.2014.26

Xu H;Martin E;Mahidadia A, 2015, 'Extractive summarisation based on keyword profile and language model', in NAACL HLT 2015 - 2015 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies, Proceedings of the Conference, pp. 123 - 132

Xu H;Martin E;Mahidadia A, 2014, 'Topical establishment leveraging literature evolution', in Proceedings of the ACM/IEEE Joint Conference on Digital Libraries, pp. 249 - 252, http://dx.doi.org/10.1109/JCDL.2014.6970175

Jain S;Martin E;Stephan F, 2011, 'Learning and classifying', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 70 - 83, http://dx.doi.org/10.1007/978-3-642-24412-4_9

Jain S;Martin E;Stephan F, 2011, 'Robust learning of automatic classes of languages', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 55 - 69, http://dx.doi.org/10.1007/978-3-642-24412-4_8

Martin EA;Sallantin J, 2009, 'A Dialectic Approach to Problem-Solving', in Discovery Science 12th International Conference, DS 2009, Springer Berlin / Heidelberg, Porto, presented at Discovery Science 2009, Porto, 03 - 05 October 2009, http://dx.doi.org/10.1007/978-3-642-04747-3_34

Caldon P;Martin EA, 2007, 'Learning a plan in the limit', in 8th International Symposium on Logical Formalizations of Commonsense Reasoning (CommonSense 2007), 8th International Symposium on Logical Formalizations of Commonsense Reasoning (CommonSense`07), Stanford University, CA, USA, presented at 8th International Symposium on Logical Formalizations of Commonsense Reasoning (CommonSense`07), Stanford University, CA, USA, 26 - 28 March 2007

Case J;Jain S;Martin E;Sharma A;Stephan F, 2006, 'Identifying clusters from positive data', in SIAM Journal on Computing, pp. 28 - 55, http://dx.doi.org/10.1137/050629112

Martin EA, 2006, 'Quantification over names and modalities', in Advances in modal logic, 2006, Advances in modal logic, 2006, Noosa Lakes, Australia, presented at Advances in modal logic, 2006, Noosa Lakes, Australia, 25 - 28 September 2006

Ramer A;Martin EA;Ramer R, 2006, 'Graduated automated assessments: multiply correct multiple choice', in Thailand international conference on 21st century information technology in mathematics education, Thailand international conference on 21st century information technology in mathematics education, Chiang Mai, Thailand, presented at Thailand international conference on 21st century information technology in mathematics education, Chiang Mai, Thailand, 01 September 2006

Martin E;Sharma A, 2005, 'On a syntactic characterization of classification with a mind change bound', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 413 - 428

Caldon P;Martin E, 2004, 'Limiting resolution: From foundations to implementation', in Demoen B;Lifschitz V (eds.), LOGIC PROGRAMMING, PROCEEDINGS, SPRINGER-VERLAG BERLIN, St Malo, FRANCE, pp. 149 - 164, presented at 20th International Conference on Logic Programming, St Malo, FRANCE, 06 - 10 September 2004, http://dx.doi.org/10.1007/978-3-540-27775-0_11

Martin E;Sharma A;Stephan F, 2004, 'On the data consumption benefits of accepting increased uncertainty', in Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science), pp. 83 - 98

Cao TM;Martin E;Compton P, 2004, 'On the convergence of incremental knowledge base construction', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 207 - 218

Martin E;Sharma A;Stephan F, 2003, 'On ordinal VC-dimension and some notions of complexity', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 54 - 68

Martin EA;Stephan F;Sharma A, 2003, 'On Ordinal VC-Dimension ond Some Notions of Complexity', in Proceedings of the First International Conference on Advances in Natural Computation (ICNC 2005), Part III, Lecture Notes in Computer Science 3612/2005, Springer, Sapporo, Japan, presented at 14th International Conference on Algorithmic Learning Theory (ALT) 2003, Sapporo, Japan, 17 - 19 October 2003

Brennan J;Martin E, 2002, 'Foundations for a formalism of nearness', in Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science), pp. 71 - 82

Martin E;Sharma A;Stephan F, 2002, 'Learning, logic, and topology in a common framework', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 248 - 262

Martin E;Nguyen P;Sharma A;Stephan F, 2002, 'Learning in logic with richprolog', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 239 - 254

Martin E;Sharma A;Stephan F, 2001, 'A general theory of deduction, induction, and learning', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 228 - 242

Martin E;Sharma A, 1999, 'On sufficient conditions for learnability of logic programs from positive data', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 198 - 209

Aurum A;Martin EA, 1999, 'Managing Both Individual and Collective Participation in Software Requirements Engineering', in 14th International Symposium on Computer and Information Sciences, 14th International Symposium on Computer and Information Sciences, Kusadasi, Turkey, presented at 14th International Symposium on Computer and Information Sciences, Kusadasi, Turkey, 18 - 20 October 1999

Aurum A;Martin EA, 1998, 'Requirements Elicitation Using Solo Brainstorming', in 3rd Australian Conference on Requirements Engineering, 3rd Australian Conference on Requirements Engineering, Geelong, Victoria, presented at 3rd Australian Conference on Requirements Engineering, Geelong, Victoria, 26 - 27 October 1998


Back to profile page