ºÚÁÏÍø´óʼÇ
Back to
Dr Eric Martin

Dr Eric Martin

Senior Lecturer
Engineering
Computer Science and Engineering

Dr Eric    Martin is a Senior Lecturer and Postgrad Coursework Academic Advisor with the School of Computer Science and Engineering. His research interests include:

  • Logical foundations of AI
  • Formal Learning Theory
  • Logical Paradigms of Inductive Inference
  • Logic Programming
Phone
(02) 9065 5587
E-mail
eric.martin@unsw.edu.au
  • Books | 1998
    Martin EA; Osheerson N, 1998, Elements of Scientific Inquiry, Original, MIT Press, Cambridge, Massachusetts
  • Book Chapters | 2017
    Martin E, 2017, 'Search Engines: Applications of ML', in Encyclopedia of Machine Learning and Data Mining, Springer US, pp. 1124 - 1129,
    Book Chapters | 2016
    Martin E, 2016, 'Search Engines: Applications of ML', in Encyclopedia of Machine Learning and Data Mining, Springer US, pp. 1 - 6,
    Book Chapters | 2011
    Osherson D; de Jongh D; Martin E; Weinstein S, 2011, '15 Formal Learning Theory**Research support was provided by the Office of Naval Research under contracts Nos. N00014-87-K-0401 N00014-89-J-1725 and by the Swiss National Science Foundation under grant number 21-32399.91. Correspondence to D. Osherson, DIPSCO, Istituto San Rafaelle, Via Olgettina 60, I-20132 Milano, Italy.', in Handbook of Logic and Language, Elsevier, pp. 725 - 763,
    Book Chapters | 2011
    Osherson D; de Jongh D; Martin E; Weinstein S, 2011, 'Formal Learning TheoryCorrespondence to D. Osherson, DIPSCO, Istituto San Rafaelle, Via Olgettina 60, I-20132 Milano, Italy', in Handbook of Logic and Language, pp. 725 - 763,
    Book Chapters | 2009
    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,
    Book Chapters | 2007
    Martin EA; Sharma A; Stephan F, 2007, 'Deduction, induction and beyond in parametric logic', in Friend M (ed.), Induction, algorithmic learning theory, and philosohpy, Springer Publishing Company, Dordrecht, The Netherlands, pp. 55 - 110
    Book Chapters | 2005
    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
    Book Chapters | 1997
    Osherson D; de Jongh D; Martin E; Weinstein S, 1997, 'Formal Learning Theory*', in Handbook of Logic and Language, Elsevier, pp. 737 - 775,
  • Journal articles | 2022
    Jain S; Kuek SN; Martin E; Stephan F, 2022, 'Learners based on transducers', Information and Computation, 283,
    Journal articles | 2022
    Martin É, 2022, 'Disjunctive logic programs, answer sets, and the cut rule', Archive for Mathematical Logic, 61, pp. 903 - 937,
    Journal articles | 2019
    Martin É, 2019, 'Nonmonotonicity in the Framework of Parametric Logic', Studia Logica, 107, pp. 1025 - 1077,
    Journal articles | 2018
    Martin E; Stephan F, 2018, 'Implementing fragments of ZFC within an r.e. Universe', Journal of Logic and Computation, 28,
    Journal articles | 2015
    Martin EA, 2015, 'Logic programming as classical inference', Journal of Applied Logic, 13, pp. 316 - 369,
    Journal articles | 2014
    Jain S; Martin E; Stephan F, 2014, 'Robust learning of automatic classes of languages', Journal of Computer and System Sciences, 80, pp. 777 - 795,
    Journal articles | 2014
    Xu H; Martin E; Mahidadia A, 2014, 'Contents and time sensitive document ranking of scientific literature', Journal of Informetrics, 8, pp. 546 - 561,
    Journal articles | 2014
    Xu H; Martin E; Mahidadia A, 2014, 'Contents and time sensitive document ranking of scientific literature', Journal of Informetrics, 8, pp. 546 - 561,
    Journal articles | 2013
    Jain SC; Martin EPG; Stephan F, 2013, 'Learning and classifying', Theoretical Computer Science, 482, pp. 73 - 85,
    Journal articles | 2011
    Brennan J; Martin EA, 2011, 'Spatial proximity is more than just a distance measure', International Journal of Human - Computer Studies, 70, pp. 88 - 106,
    Journal articles | 2009
    Jain S; Martin EA; Stephan F, 2009, 'Input-dependence in function-learning', Theory of Computing Systems, 45, pp. 849 - 864
    Journal articles | 2008
    Jain S; Martin EA; Stephan F, 2008, 'Absolute versus probabilistic classification in a logical setting', Theoretical Computer Science, 397, pp. 114 - 128,
    Journal articles | 2007
    Martin EA; Sharma AK; Stephan F, 2007, 'On the data consumption benefits of accepting increased uncertainty', Theoretical Computer Science, 382, pp. 170 - 182,
    Journal articles | 2006
    Martin EA; Stephan F; Sharma A, 2006, 'On ordinal VC-dimentsion and some notions of complexity', Theoretical Computer Science, 364, pp. 62 - 76
    Journal articles | 2006
    Martin EA; Stephan F; Sharma A, 2006, 'Unifying logic, topology and learning in Parametric logic', Theoretical Computer Science, 350, pp. 103 - 124,
    Journal articles | 2006
    Sharma A; Jain S; Martin EA; Stephan F; Case J, 2006, 'Identifying clusters from positive data', Siam Journal on Computing, 36, pp. 28 - 55
    Journal articles | 2005
    Jain S; Martin EA; Stephan R, 2005, 'Absolute versus probabilistic classification in a logical setting', Proceedings of the First International Conference on Advances in Natural Computation (ICNC 2005), Part III, Lecture Notes in Computer Science 3612/2005, 3734, pp. 327 - 342
    Journal articles | 2003
    Martin EA; Stephan F; Sharma A, 2003, 'Learning power and language expressiveness', Theoretical Computer Science, 298, pp. 365 - 383
    Journal articles | 2002
    Martin EA, 2002, 'Generalized Logical Consequence: Making Room for Induction in the Logic of Science', Journal of Philosophical Logic, pp. 245 - 280
    Journal articles | 2002
    Martin EA, 2002, 'Scientific Discovery from the Perspective of Hypothesis Acceptance', Philosophy of Science, pp. S331 - S341
    Journal articles | 2001
    Martin EA; Osherson D, 2001, 'Induction by Enumeration', Information and Computation, 171, pp. 50 - 68
    Journal articles | 2000
    Martin EA; Osherson D, 2000, 'Scientific Discovery on Positive Data via Belief Revision', Journal of Philosophical Logic, pp. 483 - 506
    Journal articles | 1998
    Martin EA; Osherson D, 1998, 'Belief revision in the service of scientific discovery', Mathematical Social Sciences, pp. 57 - 68
    Journal articles | 1997
    Martin E; Osherson D, 1997, 'Scientific discovery based on belief revision', Journal of Symbolic Logic, 62, pp. 1352 - 1370,
  • Conference Papers | 2018
    Jain S; Kuek SN; Martin E; Stephan F, 2018, 'Learners Based on Transducers', in Klein ST; Martín-Vide C; Shapira D (eds.), Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer, Cham, Ramat Gan, Israel, pp. 169 - 181, presented at 12th International Conference on Language and Automata Theory and Applications : LATA 2018, Ramat Gan, Israel, 09 April 2018 - 11 April 2018,
    Conference Papers | 2017
    Kaul I; Martin E; Puri V, 2017, 'A model for the detection of underlying trends in temporal data', in Proceedings of the 2017 12th International Conference on Intelligent Systems and Knowledge Engineering, ISKE 2017, pp. 1 - 9,
    Conference Papers | 2015
    Xu H; Martin E; Mahidadia A, 2015, 'Extractive summarisation based on keyword profile and language model', in Proceedings of the North American Chapter of the Association for Computational Linguistics – Human Language Technologies, Denver, USA, presented at North American Chapter of the Association for Computational Linguistics – Human Language Technologies, Denver, USA, 31 May 2015 - 05 June 2015,
    Conference Papers | 2014
    Xu H; Martin E; Mahidadia A, 2014, 'Exploiting Paper Contents and Citation Links to Identify and Characterise Specialisations', in Data Mining Workshop (ICDMW), 2014 IEEE International Conference on, pp. 613 - 620,
    Conference Papers | 2014
    Xu H; Martin E; Mahidadia A, 2014, 'Topical Establishment Leveraging Literature Evolution', in Klein M (ed.), Proceedings of the 14th IEEE/ACM Joint Conference on Digital Libraries, London, presented at IEEE/ACM Joint Conference on Digital Libraries, London, 08 September 2014 - 12 September 2014,
    Conference Papers | 2011
    Jain S; Martin EA; Stephan F, 2011, 'Learning and classifying', in Algorithmic Learning Theory: 22nd International Conference on Algorithmic Learning Theory, ALT 2011, Springer-Verlag, New York, pp. 70 - 83, presented at 22nd International Conference on Algorithmic Learning Theory, ALT 2011, Espoo, Finland, 05 October 2011 - 07 October 2011,
    Conference Papers | 2011
    Jain S; Martin EA; Stephan F, 2011, 'Robust learning of automatic classes of languages', in Algorithmic Learning Theory: 22nd International Conference on Algorithmic Learning Theory, ALT 2011, Springer-Verlag, New York, pp. 55 - 69, presented at 22nd International Conference on Algorithmic Learning Theory, ALT 2011, Espoo, Finland, 05 October 2011 - 07 October 2011,
    Conference Papers | 2009
    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 October 2009 - 05 October 2009,
    Conference Papers | 2008
    Dartnell C; Martin E; Sallantin J, 2008, 'Learning from each other', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 148 - 159,
    Conference Papers | 2007
    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 March 2007 - 28 March 2007
    Conference Papers | 2007
    Jain S; Martin E; Stephan F, 2007, 'Input-dependence in function-learning', in Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics, pp. 378 - 388,
    Conference Papers | 2006
    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 September 2006 - 28 September 2006
    Conference Papers | 2006
    Ramer A; Martin EA; Ramer R<