User talk:WmLovel

Welcome to The Wikipedia Adventure!

Hi WmLovel! We're so happy you wanted to play to learn, as a friendly and fun way to get into our community and mission. I think these links might be helpful to you as you get started.

-- 20:38, Monday, August 8, 2016 (UTC)

Mission 1	Mission 2	Mission 3	Mission 4	Mission 5	Mission 6	Mission 7
Say Hello to the World	An Invitation to Earth	Small Changes, Big Impact	The Neutral Point of View	The Veil of Verifiability	The Civility Code	Looking Good Together

Get Help

About The Wikipedia Adventure | Hang out in the Interstellar Lounge

Errors in an article

This request for help from administrators has been answered. If you need more help or have additional questions, please reapply the {{admin help}} template, or contact the responding user(s) directly on their own user talk page.

This is identical to a page previously saved except I forgot to sign that entry. My apologies.

I am the subject of the article ``Donald W. Loveland″. There are two major errors in an otherwise correct, if sparse, article. The following two publications are not by me.

Genetic Algorithms + Data Structures = Evolution Programs

Nonmontonic Logic: Context-Dependent Reasoning

If one Googles these titles one sees that they are not authored by me. (Strange entries.)

The deletion of these two entries leaves only three publications, one a relatively minor paper. I would like to have a short publication list of my four books and a selection of four major papers entered in the article, papers that have been widely cited. I know that I can use the edit request template but I see that the request list has entries almost a year old. Is there a way to get the article updated in a shorter time? I agree that I should not edit my own article. (Also, I have no editing experience.) WmLovel (talk) 20:56, 27 August 2016 (UTC)[reply]

Hello and welcome to Wikipedia, I am not an administrator but I can surely help you out. If you tell me what you find is wrong I'll find the citations and correct it (if found true). You are absolutely right that you should not edit your own article as it evades our conflict of interest policy. Thanks Varun FEB2003 ^{I am Offline} 12:27, 28 August 2016 (UTC)[reply]

Thanks for the response. I thought I had indicated the errors: In the Bibliography section of the Donald W. Loveland (DWL) article there are two listings that have the titles given above. You can verify that they are not authored by me by Googling the titles and seeing who the true authors are. Clearly, these should be deleted. Then I would like to enter books and certain papers actually written by me, papers with at least 100 citations. People are going to go to my page most often because they have read a paper of which I was (one of) the author(s) or seen a reference to some paper of mine. I will post books and selected papers in another talk entry as soon as possible. All the books and papers that I will request be entered in the DWL article can be verified by Googling the titles. WmLovel (talk) 17:00, 28 August 2016 (UTC)[reply]

This is a list of the books and selected papers by me that I stated above that I would post for consideration as additions to my article (Donald W. Loveland). I have included the edited books partly because the originator of the article chose to enter one of the edited books. Again, I note that the selected papers are all widely cited.

Books

Automated Theorem Proving: A logical basis. North-Holland, Amsterdam, 1978, iii+405. ISBN 0-7204-0499-1. doi=10.1016/c2009-0-12705-8
Proceedings of the 6th Conference on Automated Deduction (Editor).Springer-Verlag, London, 1982. ISBN 3-540-11558-7. doi=10.1007/BFb0000048
Automated Theorem Proving: After 25 years (2nd Editor, with W.W. Bledsoe). Contemporary Mathematics, Vol. 29, Amer. Math Soc., Providence, 1984, ix+360. ISBN 978-0-8218-5027-5. doi=10.1090/conm/029
Three Views of Logic: Mathematics, Philosophy, and Computer Science (1st Author, with R. Hodel and S.G. Sterrett). Princeton University Press, Princeton, N.J., 2014, xv+322. ISBN 978-0-691-16044-3. doi=10.1515/978140084751

Selected papers

A machine program for theorem-proving (3rd Author, with M.Davis and G. Logemann). Communications of the ACM, 5,7 (1962), 394-397. doi=10.1145/368273.368557
Mechanical theorem-proving by model elimination. Journal of the ACM, 15, 2 (1968) 236-251. doi=10.1145/321450.321456
A variant of the Kolmogorov concept of complexity. Information and Control, 15,6 (1969), 510-526. doi=10.1016/50019-9958(69)90538-5
A linear format for resolution. Lecture Notes in Mathematics 125, Springer-Verlag, Berlin (1970), 147-162. doi=10.1007/BFb0060630

I discovered that there is an article on Model elimination, a procedure that I originated in the second paper listed here.

I would like to request that it be noted that I am a Fellow of the ACM (2000) and Fellow of the Association of Artificial Intelligence (1993).

These are easily verified by going to the Fellows lists in each organization. If more personal information is in order, it could be noted that I was on the faculties of NYU and CMU before going to Duke. These are entered in my CV located in the Duke Computer Science Dept. (There is a pointer in the DWL article already.) Not easily verified is that I was the first chairman of the Duke Computer Science Dept; only the dates of my chairmanship are entered. BTW, only the references 2 and 3 currently listed in the article should remain. The fourth reference is in my list of selected papers and the first entry is a paper of quite some interest at the time but not a top choice paper; if I were to add to the selected paper list I would choose another paper before this one. WmLovel (talk) 20:20, 28 August 2016 (UTC)[reply]

Hi. I have dealt with the bibliography as you requested. If you would like these other facts mentioning, please provide links to the actual web pages where they may be verified; it's unlikely anyone will go hunting them down from the information given. The reason why references are given is because they are sources for verifying the facts stated, not for their inherent interest as further reading. For example, reference 1 is a source for the statements about your date and place of birth. That's why they are there. Kind regards, --Stfg (talk) 21:18, 28 August 2016 (UTC)[reply]

Seems a very generous editor has done so after all.

--Stfg (talk) 23:17, 28 August 2016 (UTC)[reply]

Dear Professor Loveland, I’ve incorporated your suggestions into the article. I’ve also included a few more widely cited papers and formatted the bibliography section as per Wikipedia guidelines. Please let me know if there are any issues. - NQ (talk) 00:40, 29 August 2016 (UTC)[reply]

What a great group of editors you all are. My suggestions were implemented with lightening speed and extra efforts were taken to find verifying sources (ones I would not have found; I am impressed!) and even additional papers were entered into the bibliography. I am grateful to you all and see now why the Wikipedia is as successful as it is. Thanks again! WmLovel (talk) 00:58, 29 August 2016 (UTC)[reply]