Site Maintenance will take place from 4:00 PM on 2024-04-29 to 9:00 AM on 2024-05-01.
Please do not make any content change during this time, otherwise all the changes will be lost.

Select Publications

Journal articles

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

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

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

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

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

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

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

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

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

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

Jain S; Martin EA; Stephan F, 2009, 'Input-dependence in function-learning', Theory of Computing Systems, 45, pp. 849 - 864

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

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

Sharma A; Jain S; Martin EA; Stephan F; Case J, 2006, 'Identifying clusters from positive data', Siam Journal on Computing, 36, pp. 28 - 55

Martin EA; Stephan F; Sharma A, 2006, 'On ordinal VC-dimentsion and some notions of complexity', Theoretical Computer Science, 364, pp. 62 - 76

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

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

Martin EA; Stephan F; Sharma A, 2003, 'Learning power and language expressiveness', Theoretical Computer Science, 298, pp. 365 - 383

Martin EA, 2002, 'Generalized Logical Consequence: Making Room for Induction in the Logic of Science', Journal of Philosophical Logic, 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, 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

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


Back to profile page