Results



Inductive logic programming

Classics

See also:Structure-activity relationships derived by machine learning: the use of atoms and their bond connectivities to predict mutagenicity by inductive logic programming. PNAS, vol. 93 no. 1, pp. 438–442.Combining inductive logic programming, active learning and robotics to discover the function of genes. Electronic Transactions in Artificial Intelligence, 5 (B) , pp. 1-36.Support vector inductive logic programming outperforms the naive Bayes classifier and inductive logic programming for the classification of bioactive chemical compounds. Journal of Computer-Aided Molecular Design, May 2007, Volume 21, Issue 5, pp 269-280.Structure Activity Relationships (SAR) and Pharmacophore Discovery Using Inductive Logic Programming (ILP). QSAR & Combinatorial Science Volume 22, Issue 5, pp. 527–532, July 2003.Scaffold Hopping in Drug Discovery Using Inductive Logic Programming. J. Chem. Inf. Model., 2008, 48 (5), pp 949–957.Combining Active Learning with Inductive Logic Programming to close the loop in Machine Learning.A general approach for developing system-specific functions to score protein–ligand docked complexes using support vector inductive logic programming. Proteins: Structure, Function, and Bioinformatica: Special Issue: Third Meeting on the Critical Assessment of PRedicted Interactions, Volume 69, Issue 4, pages 823–831, December 2007.Discovering rules for protein–ligand specificity using support vector inductive logic programming. PEDS, Volume 22, Issue 9, pp. 561-567.New Generation Computing, 8, 295-€“318



Artificial Intelligence, Logic and Formalizing Common Sense

Classics

"This is a position paper about the relations among artificial intelligence (AI), mathematical logic and the formalization of common-sense knowledge and reasoning. It also treats other problems of concern to both AI and philosophy. I thank the editor for inviting it. The position advocated is that philosophy can contribute to AI if it treats some of its traditional subject matter in more detail and that this will advance the philosophical goals also. Actual formalisms (mostly first order languages) for expressing common-sense facts are described in the references."Copies also available on J. McCarthy's Stanford Archivein Philosophical Logic and Artificial Intelligence, Richmond Thomason (ed), Dordrecht: Kluwer Academic, 1989.



Logic for Natural Language Analysis

Classics

Ph.D. dissertation, University of Edinburgh, 1982. A slightly revised version of the dissertation was published as Technical Note 275 of the SRI AI Center


LOGLISP: an alternative to PROLOG

Classics

Our own early attempts (as devoted users of LISP) to use PROLOG convinced us that it would be worth the effort to create within LISP a faithful implementation of Kowalski's logic programming idea. We felt it would be very convenient to be able to set up a knowledge base of assertions inside a LISP workspace, and to compute the answers to queries simply by executing appropriate function calls.In Hayes, J. E., Michie, D., and Pao, Y.-H. (Eds.), Machine Intelligence 10. Ellis Horwood.



Knowledge and belief: an introduction to the logic of the two notions

Classics

See also:Теория управления организационными системамиJSTOR: The Journal of Philosophy > Vol. 67, No. 21, Nov. 5, 1970 > Objects of Knowledge...Epistemology without knowledge and without belief, University of New England, 2004Cornell University Press