User contributions for Compulogger

14 December 2021

• 10:0510:05, 14 December 2021 diff hist +440 Logic programming →Concepts
• 09:5709:57, 14 December 2021 diff hist +287 Datalog →Semantics

15 February 2021

• 09:3709:37, 15 February 2021 diff hist +586 Answer set programming s(ASP) and s(CASP)
• 09:1809:18, 15 February 2021 diff hist +577 Answer set programming query-driven systems

15 July 2020

• 11:5711:57, 15 July 2020 diff hist +667 Wikipedia:WikiProject Articles for creation/Help desk Comparison of google scholar citations
• 10:5210:52, 15 July 2020 diff hist +620 Wikipedia:WikiProject Articles for creation/Help desk Citations and search results for "Genesereth"

12 July 2020

• 08:3908:39, 12 July 2020 diff hist +1,143 Wikipedia:WikiProject Articles for creation/Help desk No edit summary

9 July 2020

• 08:4008:40, 9 July 2020 diff hist +1,176 User talk:Chris troutman Rejection of Draft: Michael Geneserth

4 July 2020

• 14:0214:02, 4 July 2020 diff hist +998 Wikipedia:WikiProject Articles for creation/Help desk No edit summary

26 May 2020

• 10:2610:26, 26 May 2020 diff hist +296 User talk:MrsSnoozyTurtle Independent references for Draft: Michael Geneserth

22 May 2020

• 07:0307:03, 22 May 2020 diff hist +63 Michael Genesereth No edit summary
• 07:0107:01, 22 May 2020 diff hist +5,512 Michael Genesereth 25 references 13 of which are now indepdendent sources.

13 April 2020

• 07:2907:29, 13 April 2020 diff hist +430 User talk:MrsSnoozyTurtle No edit summary

12 April 2020

• 19:0319:03, 12 April 2020 diff hist +63 Michael Genesereth No edit summary
• 14:2214:22, 12 April 2020 diff hist +904 User talk:MrsSnoozyTurtle redraft of the Genesereth article
• 14:0814:08, 12 April 2020 diff hist +117 Michael Genesereth No edit summary
• 13:5913:59, 12 April 2020 diff hist +134 Michael Genesereth External Links
• 12:3512:35, 12 April 2020 diff hist +209 Michael Genesereth See also
• 11:5311:53, 12 April 2020 diff hist −64 Michael Genesereth No evidence of ACM Fellow
• 11:4711:47, 12 April 2020 diff hist +204 Michael Genesereth AAAI Fellow
• 11:2611:26, 12 April 2020 diff hist +103 Michael Genesereth external reference

11 April 2020

• 07:5607:56, 11 April 2020 diff hist +661 User talk:MrsSnoozyTurtle No edit summary

17 December 2019

• 20:0920:09, 17 December 2019 diff hist +63 Michael Genesereth No edit summary
• 20:0720:07, 17 December 2019 diff hist +4,778 N Michael Genesereth ←Created page with '{{subst:AFC submission/draftnew}}<!-- Important, do not remove this line before article has been created. --> {{short description|American computer scientist}}...'

11 April 2013

• 08:0408:04, 11 April 2013 diff hist +1,353 Talk:Gödel's incompleteness theorems An informal definition of truth in the standard model.
• 07:2407:24, 11 April 2013 diff hist +181 Talk:Gödel's incompleteness theorems moved to discussion of standard model to relevant section, correcting my earlier mistake

10 April 2013

• 20:0320:03, 10 April 2013 diff hist +950 Talk:Gödel's incompleteness theorems Minimal models are the extensions of monotonic inductive definitions
• 17:0717:07, 10 April 2013 diff hist +861 Talk:Gödel's incompleteness theorems Every set of definite Horn clauses has a unique minimal model
• 15:4215:42, 10 April 2013 diff hist +603 Talk:Gödel's incompleteness theorems the standard model is the minimal model of a set of Horn clauses
• 13:5513:55, 10 April 2013 diff hist +591 Talk:Gödel's incompleteness theorems Martin Davis on the standard model of arithmetic
• 08:4308:43, 10 April 2013 diff hist +491 Talk:Gödel's incompleteness theorems Is there a definition of the standard model?

28 November 2012

• 04:0404:04, 28 November 2012 diff hist −4 Abductive logic programming Undid revision 525226983 by 65.255.37.143 (talk)

27 November 2012

• 21:3021:30, 27 November 2012 diff hist 0 Horn clause example changed to "all humans are mortal"

23 November 2012

• 11:4211:42, 23 November 2012 diff hist +23 Horn clause Reinserted categories

22 November 2012

• 07:2807:28, 22 November 2012 diff hist +274 Talk:Horn clause No edit summary
• 07:2507:25, 22 November 2012 diff hist +2,934 Horn clause Combined recent edits by different editors
• 07:1807:18, 22 November 2012 diff hist +1 User:Compulogger/sandbox No edit summary
• 07:1607:16, 22 November 2012 diff hist −346 User:Compulogger/sandbox No edit summary
• 07:0007:00, 22 November 2012 diff hist +6,526 N User:Compulogger/sandbox ←Created page with '{{User sandbox}} <!-- EDIT BELOW THIS LINE --> In mathematical logic, a '''Horn clause''' is a clause (a disjunction of literal (mat...'

21 November 2012

• 22:5622:56, 21 November 2012 diff hist +404 Talk:Horn clause recent edit borders on vandalism

26 August 2012

• 20:2020:20, 26 August 2012 diff hist +1,035 Talk:Logic programming No edit summary

21 August 2012

• 20:3320:33, 21 August 2012 diff hist +338 User talk:Carbo1200 logic programming article
• 13:2413:24, 21 August 2012 diff hist +18 Logic programming corrected mistake
• 12:5612:56, 21 August 2012 diff hist +1 m Logic programming No edit summary
• 12:5412:54, 21 August 2012 diff hist +26 m Logic programming No edit summary
• 12:5012:50, 21 August 2012 diff hist −545 Clause (logic) Removed meaningless paragraph.
• 12:4712:47, 21 August 2012 diff hist −248 Clausal normal form →Conversion to clausal normal form: corrected serious error
• 12:0512:05, 21 August 2012 diff hist −1,604 Logic programming Revised introduction and early part of history

19 August 2012

• 19:2619:26, 19 August 2012 diff hist +189 User talk:Ruud Koot I have made a start
• 19:2219:22, 19 August 2012 diff hist +2,429 Talk:Logic programming proposal to revise the article