Select Publications
Books
1998, Elements of Scientific Inquiry, MIT Press, Cambridge, Massachusetts
,Book Chapters
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
,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
,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
,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
,2009, 'Humans and Machines: Nature of Learning and Learning of Nature.', in Wang Y (ed.), Discoveries and Breakthroughs in Cognitive Informatics and Natural Intelligence, Information Science Reference, Hershey, PA 17033, USA, pp. 71 - 91, http://dx.doi.org/10.4018/978-1-60566-902-1.ch005
,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
,2005, 'Psychology looks hopefully to logic', in Covi R; Razborov A (ed.), Logic colloquium 2000, Association for symbolic logic, Massachusets, USA, pp. 323 - 333
,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, '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
,2022, 'Learners based on transducers', Information and Computation, 283, http://dx.doi.org/10.1016/j.ic.2020.104676
,2019, 'Nonmonotonicity in the Framework of Parametric Logic', Studia Logica, 107, pp. 1025 - 1077, http://dx.doi.org/10.1007/s11225-018-9831-7
,2018, 'Implementing fragments of ZFC within an r.e. Universe', Journal of Logic and Computation, 28, http://dx.doi.org/10.1093/logcom/exx030
,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
,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
,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
,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
,2013, 'Learning and classifying', Theoretical Computer Science, 482, pp. 73 - 85, http://dx.doi.org/10.1016/j.tcs.2013.02.025
,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
,2009, 'Input-dependence in function-learning', Theory of Computing Systems, 45, pp. 849 - 864
,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
,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
,2006, 'Identifying clusters from positive data', Siam Journal on Computing, 36, pp. 28 - 55
,2006, 'On ordinal VC-dimentsion and some notions of complexity', Theoretical Computer Science, 364, pp. 62 - 76
,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
,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
,2003, 'Learning power and language expressiveness', Theoretical Computer Science, 298, pp. 365 - 383
,2002, 'Generalized Logical Consequence: Making Room for Induction in the Logic of Science', Journal of Philosophical Logic, pp. 245 - 280
,2002, 'Scientific Discovery from the Perspective of Hypothesis Acceptance', Philosophy of Science, pp. S331 - S341
,2001, 'Induction by Enumeration', Information and Computation, 171, pp. 50 - 68
,2000, 'Scientific Discovery on Positive Data via Belief Revision', Journal of Philosophical Logic, pp. 483 - 506
,1998, 'Belief revision in the service of scientific discovery', Mathematical Social Sciences, pp. 57 - 68
,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, '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
,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
,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, 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
,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
,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
,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
,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
,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
,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
,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
,2007, 'Learning a plan in the limit', in 8th International Symposium on Logical Formalizations of Commonsense Reasoning (CommonSense 2007), 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
,2006, 'Quantification over names and modalities', in Advances in modal logic, 2006, Noosa Lakes, Australia, presented at Advances in modal logic, 2006, Noosa Lakes, Australia, 25 September 2006 - 28 September 2006
,2006, 'Graduated automated assessments: multiply correct multiple choice', in 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
,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
,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
,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
,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
,