| School of Computer Science and Engineering (CRICOS Provider No. 00098G)

Eric Martin's Information Page

Eric Martin

Senior Lecturer & Postgrad Coursework Academic Advisor

Research Areas
To update this page please go to myCSE.
Office:	K17 409
Phone:	+61 2 9385 6936 (Internal: x56936)
Fax:	+61 2 9385 5995 (Internal: x55995)
Email:
Mail:	School of Computer Science and Engineering The University of New South Wales Sydney 2052, Australia
	Logical foundations of AI Formal Learning Theory Logical Paradigms of Inductive Inference Logic Programming
Publications
	On The Data Consumption Benefits Of Accepting Increased Uncertainty E Martin, A Sharma, F Stephan, Theoretical Computer Science, . Elsevier, The Netherlands, 2007, pp. 170 - 182
	Learning A Plan In The Limit P Caldon, E Martin, Logical formalizations of commonsense reasoning, E. Amir, V. Lifschitz, R. Miller. AAAI press, Menlo Park, CA, USA, 2007, pp. 25 - 34
	Deduction, Induction And Beyond In Parametric Logic E Martin, A Sharma, F Stephan, Induction, algorithmic learning theory, and philosohpy, M. Friend, et al.. Springer, Dordrecht, The Netherlands, 2007
	Unifying Logic, Topology And Learning In Parametric Logic E Martin, F Stephan, A Sharma, Theoretical Computer Science, C. Bianchi, et al.. Elsevier, Amsterdam, The Netherlands, 2006, pp. 103 - 124
	Quantification Over Names And Modalities E Martin, Advances in modal logic, vol 6, G. Governatori, et al. College publications, London, UK, 2006, pp. 353 - 372
	On Ordinal Vc-Dimentsion And Some Notions Of Complexity E Martin, F Stephan, A Sharma, Theoretical computer science, Gavalda, Takimoto. Elsevier, Amsterdam, The Netherlands, 2006, pp. 62 - 76
	Identifying Clusters From Positive Data A Sharma, S Jain, E Martin, F Stephan, J Case, Siam Journal on Computing, E. Tardos. Siam Publications, Philadelphia, 2006, pp. 28 - 55
	Graduated Automated Assessments: Multiply Correct Multiple Choice A Ramer, E Martin, R Ramer, Proceedings of Thailand international conference on 21st century information technology in mathematics education, Gullaya Dhompongsa, et al.. Chiang Mai Rajabhat university, Thailand, 2006, pp. 293 - 302
	Psychology Looks Hopefully To Logic E Martin, D Osherson, Logic colloquium 2000, . Association for symbolic logic, Massachusets, USA, 2005
	On A Syntactic Characterization Of Classification With A Mind Change Bound E Martin, A Sharma, Lecture Notes in Artificial Intelligence, . Springer-Verlag Berlin, Berlin, 2005, pp. 413 - 428
	Absolute Versus Probabilistic Classification In A Logical Setting S Jain, E Martin, R Stephan, Lecture Notes in Artificial Intelligence, . Springer-Verlag Berlin, Berlin, 2005, pp. 327 - 342
	On The Data Consumption Benefits Of Accepting Increased Uncertainty E Martin, A Sharma, F Stephan, Lecture Notes in Artificial Intelligence 3244, Ben-David, Case, Marouka. Springer, Heidelberg, Germany, 2004, pp. 83 - 98
	On The Convergence Of Incremental Knowledge Case Construction T Cao, E Martin, P Compton, Lecture Notes in Artificial Intelligence 3245, Suzuki, Arikawa. Springer, Heidelberg, Germany, 2004, pp. 207 - 218
	Limiting Resolution : From Foundations To Implementation E Martin, P Caldon, Lecture Notes in Computer Science 3132, Demoen, Lifschitz. Springer, Heidelberg, Germany, 2004, pp. 149 - 164
	Identifying Clusters From Positive Data J Case, S Jain, E Martin, A Sharma, Lecture Notes in Artificial Intelligence 3264, Poliouras, Sakakibara. Springer, Heidelberg, Germany, 2004, pp. 103 - 114
	On Ordinal Vc-Dimension Ond Some Notions Of Complexity E Martin, F Stephan, A Sharma, Algorithmic Learning Theory 2003, R. Gavalda, K. Jantke, E. Takimoto. Springer, Heidelberg, Germany, 2003, pp. 54 - 68
	Learning Power And Language Expressiveness E Martin, F Stephan, A Sharma, Theoretical Computer Science, G. Ausiello, D. Sannella. Elsevier, Amsterdam, The Netherlands, 2003, pp. 365 - 383
	Scientific Discovery From The Perspective Of Hypothesis Acceptance E Martin, Philosophy of Science, . The University of Chicago Press, Chicago, USA, 2002, pp. S331 - S341
	Learning, Logic, And Topology In A Common Framework E Martin, A Sharma, Algorithmic Learning Theory, Nicol˜ Cesa-Bianchi ; Masayuki Numao ; RŸdiger Reischuk. Springer Verlag, Berlin, Germany, 2002, pp. 248 - 262
	Learning In Logic With Richprolog E Martin, Logic Programming, Peter J Stuckey. Springer Verlag, Berlin, Germany, 2002, pp. 239 - 254
	Generalized Logical Consequence: Making Room For Induction In The Logic Of Science E Martin, Journal of Philosophical Logic, . Kluwer Academic Publishers, the Netherlands, 2002, pp. 245 - 280
	Foundations For A Formalism Of Nearness J Brennan, E Martin, AI2002: Advances in Artificial Intelligence, Bob McKay ; John Slaney. Springer-Verlag, Berlin, 2002, pp. 71 - 82
	Induction By Enumeration E Martin, D Osherson, Information and Computation, . Academic Press, San Diego, CA, USA, 2001, pp. 50 - 68
	A General Theory Of Deduction, Induction, And Learning E Martin, A Sharma, F Stephan, Discovery Science, 4th International Conference, Klaus Jantke; Ayumi Shinohara. Springer-Verlag, Germany, 2001, pp. 228 - 242
	Scientific Discovery On Positive Data Via Belief Revision E Martin, D Osherson, Journal of Philosophical Logic, . Kluwer Academic Publishers, Dordrecht, the Netherlands, 2000, pp. 483 - 506
	On Sufficient Conditions For Learnability Of Logic Programs From Positive Data E Martin, A Sharma, Proceedings of the Ninth International Conference onInductive Logic Programming, . Springer, Germany, 1999, pp. 198 - 209
	Managing Both Individual And Collective Participation In Software Requirements Engineering A Aurum, E Martin, ISCIS XIV, . Ege University Printinghouse, Turkey, 1999, pp. 124 - 131
	Requirements Elicitation Using Solo Brainstorming A Aurum, E Martin, Proceedings of the 3rd Australian Conference on Requirements Engineering, . School of Management Information Systems, Deakin U, Deakin University, Geelong, 1998, pp. 29 - 37
	Elements Of Scientific Inquiry E Martin, N Osheerson, , . The MIT Press, Cambridge, Massachusetts, 1998
	Belief Revision In The Service Of Scientific Discovery E Martin, D Osherson, Mathematical Social Sciences, . Elsevier, Amsterdam, The Netherlands, 1998, pp. 57 - 68

To update this page please go to myCSE

###
Site maintained by webmistress@cse.unsw.edu.au
Please read the UNSW Copyright & Disclaimer Statement