Dr Eric Martin

Back to

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, http://dx.doi.org/10.1007/978-1-4899-7687-1_750

Book Chapters | 2016

Martin E, 2016, 'Search Engines: Applications of ML', in Encyclopedia of Machine Learning and Data Mining, Springer US, pp. 1 - 6, http://dx.doi.org/10.1007/978-1-4899-7502-7_750-1

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, http://dx.doi.org/10.1016/b978-0-444-53726-3.00015-3

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, http://dx.doi.org/10.1016/B978-0-444-53726-3.00015-3

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, http://dx.doi.org/10.4018/978-1-60566-902-1.ch005

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, http://dx.doi.org/10.1016/b978-044481714-3/50017-5
Journal articles | 2022

Jain S; Kuek SN; Martin E; Stephan F, 2022, 'Learners based on transducers', Information and Computation, 283, http://dx.doi.org/10.1016/j.ic.2020.104676

Journal articles | 2022

Martin É, 2022, 'Disjunctive logic programs, answer sets, and the cut rule', Archive for Mathematical Logic, 61, pp. 903 - 937, http://dx.doi.org/10.1007/s00153-022-00821-x

Journal articles | 2019

Martin É, 2019, 'Nonmonotonicity in the Framework of Parametric Logic', Studia Logica, 107, pp. 1025 - 1077, http://dx.doi.org/10.1007/s11225-018-9831-7

Journal articles | 2018

Martin E; Stephan F, 2018, 'Implementing fragments of ZFC within an r.e. Universe', Journal of Logic and Computation, 28, http://dx.doi.org/10.1093/logcom/exx030

Journal articles | 2015

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

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, http://dx.doi.org/10.1016/j.jcss.2013.12.002

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, http://dx.doi.org/10.1016/j.joi.2014.04.006

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, http://dx.doi.org/10.1016/j.joi.2014.04.006

Journal articles | 2013

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

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, http://dx.doi.org/10.1016/j.ijhcs.2011.08.006

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, http://dx.doi.org/10.1016/j.tcs.2008.02.026

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, http://dx.doi.org/10.1016/j.tcs.2007.03.037

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, http://dx.doi.org/10.1016/j.tcs.2005.10.018

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, http://dx.doi.org/10.1137/050629112

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, http://dx.doi.org/10.1007/11564089_26

Journal articles | 2003

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

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, http://dx.doi.org/10.2307/2275647
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, http://dx.doi.org/10.1007/978-3-319-77313-1_13

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, http://dx.doi.org/10.1109/ISKE.2017.8258812

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, pp. 123 - 132, presented at North American Chapter of the Association for Computational Linguistics – Human Language Technologies, Denver, USA, 31 May 2015 - 05 June 2015, http://www.aclweb.org/anthology/N/N15/N15-1013.pdf

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, http://dx.doi.org/10.1109/ICDMW.2014.26

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, http://dx.doi.org/10.1109/JCDL.2014.6970175

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, http://dx.doi.org/10.1007/978-3-642-24412-4_9

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, http://dx.doi.org/10.1007/978-3-642-24412-4_8

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, http://dx.doi.org/10.1007/978-3-642-04747-3_34

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, http://dx.doi.org/10.1007/978-3-540-88411-8_16

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, http://dx.doi.org/10.1007/978-3-540-73001-9_39

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, 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

Conference Papers | 2005

Martin EA; Sharma A, 2005, 'On a syntactic characterization of classification with a mind change bound', in Proceedings of the First International Conference on Advances in Natural Computation (ICNC 2005), Part III, Lecture Notes in Computer Science 3612/2005, Springer, Berlin, Germany, presented at 18th Annual conference on learning theory, COLT 2005, Bertinoro, Italy, 27 June 2005 - 30 June 2005

Conference Papers | 2004

Cao TM; Martin EA; Compton PJ, 2004, 'On the Convergence of Incremental Knowledge Case Construction', in 7th International Conference on Discovery Science, Padova, Italy, presented at 7th International Conference, DS 2004, Padova, Italy, 02 October 2004 - 08 October 2004

Conference Papers | 2004

Case J; Jain S; Martin E; Sharma A; Stephan F, 2004, 'Identifying clusters from positive data', in Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science), pp. 103 - 114, http://dx.doi.org/10.1007/978-3-540-30195-0_10

Conference Papers | 2004

Case J; Jain S; Martin EA; Sharma A, 2004, 'Identifying Clusters from Positive Data', in 7th International Colloquium on Grammatical Inference, Athens, Greece, presented at 7th International Colloquium on Grammatical Inference, Athens, Greece, 11 October 2004 - 13 October 2004

Conference Papers | 2004

Martin E; Sharma A; Stephan F, 2004, 'On the data consumption benefits of accepting increased uncertainty', in BenDavid S; Case J; Maruoka A (eds.), ALGORITHMIC LEARNING THEORY, PROCEEDINGS, SPRINGER-VERLAG BERLIN, ITALY, Padova, pp. 83 - 98, presented at 15th Annual International Conference on Algorithmic Learning Theory (ALT 2004), ITALY, Padova, 02 October 2004 - 05 October 2004, https://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:000224605900008&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=891bb5ab6ba270e68a29b250adbe88d1

Conference Papers | 2004

Martin EA; Caldon P, 2004, 'Limiting Resolution : From Foundations to Implementation', in Demoen B; Lifschitz V (ed.), 20th International Conference on Logic Programming, SPRINGER-VERLAG BERLIN, Saint-Malo, France, pp. 149 - 164, presented at 20th International Conference on Logic Programming, Saint-Malo, France, 06 September 2004 - 10 September 2004, http://dx.doi.org/10.1007/978-3-540-27775-0_11

Conference Papers | 2004

Martin EA; Sharma A; Stephan F, 2004, 'On the Data Consumption Benefits of Accepting Increased Uncertainty', in 15th International Conference on Algorithmic Learning Theory, Padova, Italy, presented at 15th International Conference on Algorithmic Learning Theory, Padova, Italy, 02 October 2004 - 05 October 2004

Conference Papers | 2003

Martin EA; Sharma A; Stephan F, 2003, 'On ordinal VC-dimension and some Notions of Complexity', in 14th International Conference on Algorithmic Learning Theory (ALT) 2003, Sapporo, Japan, presented at 14th International Conference on Algorithmic Learning Theory (ALT) 2003, Sapporo, Japan, 17 October 2003 - 19 October 2003

Conference Papers | 2003

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, Berlin, Germany, presented at 14th International Conference on Algorithmic Learning Theory (ALT) 2003, Sapporo, Japan, 17 October 2003 - 19 October 2003

Conference Papers | 2002

Brennan J; Martin EA; Brennan , 2002, 'Foundations for a Formalism of Nearness', in Proceedings of the First International Conference on Advances in Natural Computation (ICNC 2005), Part III, Lecture Notes in Computer Science 3612/2005, Springer, Berlin, Germany, presented at Australasian Joint Conference on Artificial Intelligence 2002, Canberra, 02 December 2002 - 06 December 2002

Conference Papers | 2002

Martin EA; Sharma AK, 2002, 'Learning, Logic, and Topology in a Common Framework', in 13th International Conference on Algorithmic Learning Theory, Lÿbeck Germany, pp. 248 - 262, presented at 13th International Conference on Algorithmic Learning Theory, Lÿbeck Germany, 24 November 2002 - 26 November 2002

Conference Papers | 2002

Martin EA, 2002, 'Learning in Logic with RichProlog', in 18th International Conference on Logic Programming, Copenhagen, Denmark, presented at 18th International Conference on Logic Programming, Copenhagen, Denmark, 01 July 2002

Conference Papers | 2001

Martin EA; Sharma AK; Stephan F, 2001, 'A General Theory of Deduction, Induction, and Learning', in Discovery Science : 4th International Conference, Washington DC, USA, presented at Discovery Science : 4th International Conference, Washington DC, USA, 25 November 2001

Conference Papers | 1999

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 October 1999 - 20 October 1999

Conference Papers | 1999

Martin EA; Sharma AK, 1999, 'On Sufficient Conditions for Learnability of Logic Programs from Positive Data', in 9th International Conference onInductive Logic Programming (ILP 1999), Bled, Slovenia, pp. 198 - 209, presented at 9th International Conference onInductive Logic Programming (ILP`99), Bled, Slovenia, 24 June 1999 - 27 June 1999

Conference Papers | 1998

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 October 1998 - 27 October 1998

Conference Papers | 1995

Martin E; Osherson D, 1995, 'A note on the use of probabilities by mechanical learners', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 261 - 271, http://dx.doi.org/10.1007/3-540-59119-2_183

Conference Papers | 1993

Luzeaux D; Martin E, 1993, 'Steps or stages for incremental learning', in AAAI Spring Symposium - Technical Report, pp. 140 - 150