Talk:Melvin Fitting
| This article must adhere to the biographies of living persons (BLP) policy, even if it is not a biography, because it contains material about living persons. Contentious material about living persons that is unsourced or poorly sourced must be removed immediately from the article and its talk page, especially if potentially libellous. If such material is repeatedly inserted, or if you have other concerns, please report the issue to this noticeboard.If you are a subject of this article, or acting on behalf of one, and you need help, please see this help page. |
 | This article is rated Start-class on Wikipedia's content assessment scale. It is of interest to the following WikiProjects: | ||||||||||||||||||||||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||||||||||||||||||||||
additional publications
editThese are some pubs which I found (or which were in mainspace already) that I moved here to the talkpage, during my initial scan of the refs. They are papers from the 1980s which did not have super-high cite counts; more recent papers (which were either popular with the search engine or placed in the article by other editors) were left in mainspace. If online versions of these exist, it would be useful to the readership to add them back into the Selected Publications listing; convenience often trumps cite counts. :-)
'86 * Partial Models and Logic Programming, Theoretical Computer Science (journal), 48 (3), 229-255 (1986). '87 * Computability Theory, Semantics, and Logic Programming, Oxford University Press, 1987; Japanese edition, Maruzen Co, Tokyo, 1989. '88 * Stratified and Three-valued Logic Programming Semantics, with Marion Ben-jacob, Joint Int'l Conf. and Symposium on Logic Programming (ICLP/JICSLP), pp1054-1069 (1988). '89 * Negation As Refutation, Logic in Computer Science Conference, pp63-70 (1989).
They main hits in duckduckgo / academic.research.microsoft.com / scholar.google.com , sorted by year , annotated with cite-counts or hit-letters in hidden HTML comments, were added to the article in mainspace a few minutes ago. Hope this helps. 74.192.84.101 (talk) 23:28, 22 January 2014 (UTC)
other co-authors according to msft
edit- Miroslaw Truszczynski, U. Kentucky
- Victor W. Marek aka Victor Marek, U. Kentucky
- Roderic A. Girle aka Roderic Girle, U. Auckland
- Ruili Ye, no affiliation given (AI research)
The first two have over a thousand cites (albeit not yet as many as Mel himself). 74.192.84.101 (talk) 00:10, 23 January 2014 (UTC)
courses taught
edit- Modal Logic; co-taught with Richard Mendelsohn (Fall 2010, Fall 2009, Spring 2007, Spring 2005)
- Advanced Logic (Fall 2006)
- Incompleteness and Undecidability (Spring 2003)
- Set Theory (Fall 2002)
Partial list. HTH. 74.192.84.101 (talk) 00:10, 23 January 2014 (UTC)