Eric Martin

Orcid: 0000-0001-8832-7478

Affiliations:
  • University of New South Wales, Australia


According to our database1, Eric Martin authored at least 42 papers between 1995 and 2022.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2022
Learners based on transducers.
Inf. Comput., 2022

Disjunctive logic programs, answer sets, and the cut rule.
Arch. Math. Log., 2022

2019
Nonmonotonicity in the Framework of Parametric Logic.
Stud Logica, 2019

2018
Implementing fragments of ZFC within an r.e. Universe.
J. Log. Comput., 2018

2015
Logic programming as classical inference.
J. Appl. Log., 2015

Extractive Summarisation Based on Keyword Profile and Language Model.
Proceedings of the NAACL HLT 2015, The 2015 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies, Denver, Colorado, USA, May 31, 2015

2014
Contents and time sensitive document ranking of scientific literature.
J. Informetrics, 2014

Robust learning of automatic classes of languages.
J. Comput. Syst. Sci., 2014

Topical establishment leveraging literature evolution.
Proceedings of the IEEE/ACM Joint Conference on Digital Libraries, 2014

Exploiting Paper Contents and Citation Links to Identify and Characterise Specialisations.
Proceedings of the 2014 IEEE International Conference on Data Mining Workshops, 2014

2013
Learning and classifying.
Theor. Comput. Sci., 2013

2012
Contextual hypotheses and semantics of logic programs.
Theory Pract. Log. Program., 2012

Spatial proximity is more than just a distance measure.
Int. J. Hum. Comput. Stud., 2012

2009
Input-Dependence in Function-Learning.
Theory Comput. Syst., 2009

Logic Programming Revisited from a Classical Standpoint
CoRR, 2009

A Dialectic Approach to Problem-Solving.
Proceedings of the Discovery Science, 12th International Conference, 2009

2008
Absolute versus probabilistic classification in a logical setting.
Theor. Comput. Sci., 2008

Human Discovery and Machine Learning.
Int. J. Cogn. Informatics Nat. Intell., 2008

Learning from Each Other.
Proceedings of the Discovery Science, 11th International Conference, 2008

2007
Deduction, Induction, and beyond in Parametric Logic.
Proceedings of the Induction, Algorithmic Learning Theory, and Philosophy, 2007

On the data consumption benefits of accepting increased uncertainty.
Theor. Comput. Sci., 2007

Learning a Plan in the Limit.
Proceedings of the Logical Formalizations of Commonsense Reasoning, 2007

2006
On ordinal VC-dimension and some notions of complexity.
Theor. Comput. Sci., 2006

Unifying logic, topology and learning in Parametric logic.
Theor. Comput. Sci., 2006

Membership Functions for Spatial Proximity.
Proceedings of the AI 2006: Advances in Artificial Intelligence, 2006

Quantification over names and modalities.
Proceedings of the Advances in Modal Logic 6, 2006

2005
On a Syntactic Characterization of Classification with a Mind Change Bound.
Proceedings of the Learning Theory, 18th Annual Conference on Learning Theory, 2005

2004
Identifying Clusters from Positive Data
Electron. Colloquium Comput. Complex., 2004

Limiting Resolution: From Foundations to Implementation.
Proceedings of the Logic Programming, 20th International Conference, 2004

On the Convergence of Incremental Knowledge Base Construction..
Proceedings of the Discovery Science, 7th International Conference, 2004

2003
Learning power and language expressiveness.
Theor. Comput. Sci., 2003

2002
Generalized Logical Consequence: Making Room for Induction in the Logic of Science.
J. Philos. Log., 2002

Learning in Logic with RichProlog.
Proceedings of the Logic Programming, 18th International Conference, 2002

Foundations for a Formalism of Nearness.
Proceedings of the AI 2002: Advances in Artificial Intelligence, 2002

Learning, Logic, and Topology in a Common Framework.
Proceedings of the Algorithmic Learning Theory, 13th International Conference, 2002

2001
Induction by Enumeration.
Inf. Comput., 2001

A General Theory of Deduction, Induction, and Learning.
Proceedings of the Discovery Science, 4th International Conference, DS 2001, Washington, 2001

2000
Scientific Discovery on Positive Data via Belief Revision.
J. Philos. Log., 2000

1999
On Sufficient Conditions for Learnability of Logic Programs from Positive Data.
Proceedings of the Inductive Logic Programming, 9th International Workshop, 1999

1997
Scientific Discovery Based on Belief Revision.
J. Symb. Log., 1997

Formal Learning Theory.
Proceedings of the Handbook of Logic and Language., 1997

1995
A note on the use of probabilities by mechanical learners.
Proceedings of the Computational Learning Theory, Second European Conference, 1995


  Loading...