Preview
Unable to display preview. Download preview PDF.
Bibliography
Cox, P.T. and Pietrzykowski, T. [1986]. «Causes for Events: Their Computation and Applications», Proc. International Conference on Automated Deduction, pp. 608–621.
de Kleer, J. [1986]. «An Assumption-based Truth Maintenance System», Artificial Intelligence 28, pp. 127–162.
Enderton, H.B. [1972]. A Mathematical Introduction to Logic, Academic Press, San Diego.
Greiner, R. and Genesereth, M.R. [1983]. «What's New ? A Semantic Definition of Novelty», Proc. International Joint Conference on Artificial Intelligence, pp. 450–454.
Jackson, P. and Pais, J. [1990]. «Computing Prime Implicants», Proc. International Conference on Automated Deduction, Lecture Notes in Artificial Intelligence 449, Springer-Verlag, pp. 543–547.
Jackson, P. [1991]. «Prime Implicates: Their Computation and Use». Proc. XI e Journées Internationales d'Avignon: les systèmes experts et leurs applications, pp. 53–64.
Kean, A. and Tsiknis, G. [1990]. «An Incremental Method for Generating Prime Implicants/Implicates», Journal of Symbolic Computation 9, pp. 185–206.
Kodratoff, Y. and Michalski, R.S. [1990]. «Research in Machine Learning: Recent Progress, Classification of Methods and Future Direction», in Machine Learning: An Artificial Intelligence Approach, vol. 3, Y. Kodratoff and R.S. Michalski (ed.), Morgan Kaufmann, San Mateo, pp. 3–30.
Marquis, P. [1991a]. Contribution à l'étude des méthodes de construction d'hypothèses en intelligence artificielle, Doctoral dissertation, Université de Nancy I.
Marquis, P. [1991b]. «Extending Abduction from Prepositional to First-Order Logic», Proc. Fundamentals of Artificial Intelligence Research, Bratislava (to appear in Lecture Notes in Computer Science, Springer-Verlag).
Michalski, R.S., Carbonell, J.G., Mitchell, T.M. [1983–86]. Machine Learning: An Artificial Intelligence Approach, vol. 1 & 2, Morgan Kaufmann, San Mateo.
Quine, W.V. [1959]. «On Cores and Prime Implicants of Truth Functions», American Mathematical Monthly 66, pp. 755–760.
Reiter, R. and de Kleer, J. [1987]. «Foundations of Assumption-based Truth Maintenance Systems: Preliminary Report», Proc. National Conference on Artificial Intelligence (AAAI-87), pp. 183–188.
Slagle, J.R., Chang, C.L. and Lee, R.C.T. [1970]. «A New Algorithm for Generating Prime Implicants», IEEE Transactions on Computers C-19(4), pp. 304–310.
Tsiknis, G. and Kean, A. [1988]. «Clause Management System (CMS)», Technical Report 88–21, University of British Columbia.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1991 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Marquis, P. (1991). Novelty revisited. In: Ras, Z.W., Zemankova, M. (eds) Methodologies for Intelligent Systems. ISMIS 1991. Lecture Notes in Computer Science, vol 542. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-54563-8_118
Download citation
DOI: https://doi.org/10.1007/3-540-54563-8_118
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-54563-7
Online ISBN: 978-3-540-38466-3
eBook Packages: Springer Book Archive