Eric Martin's Information Page
Eric Martin
Senior Lecturer & Postgrad Coursework Academic Advisor
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
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