User talk:Michaelkifer

Welcome!
Hello, Michaelkifer, and welcome to Wikipedia! Thank you for your contributions. I hope you like the place and decide to stay. Here are a few links to pages you might find helpful: Please remember to sign your messages on talk pages by typing four tildes ( ~ ); this will automatically insert your username and the date. If you need help, check out Questions, ask me on my talk page, or ask your question on this page and then place  before the question. Again, welcome!
 * Introduction to Wikipedia
 * The five pillars of Wikipedia
 * How to edit a page and How to develop articles
 * How to create your first article
 * Simplified Manual of Style

August 2013
Hello, I'm BracketBot. I have automatically detected that [//en.wikipedia.org/w/index.php?diff=568887273 your edit] to F-logic may have broken the syntax by modifying 2 "[]"s. If you have, don't worry, just [ edit the page] again to fix it. If I misunderstood what happened, or if you have any questions, you can leave a message on [//en.wikipedia.org/w/index.php?action=edit&preload=User:A930913/BBpreload&editintro=User:A930913/BBeditintro&minor=&title=User_talk:A930913&preloadtitle=BracketBot%20-%20&section=new my operator's talk page].
 * List of unpaired brackets remaining on the page:

Thanks, BracketBot (talk) 04:28, 17 August 2013 (UTC)
 * FORALL X, Y &lt;- X:person[hasFather- Y] &lt;- Y:man[hasSon -  X].
 * * [Flora-2]  is an extension of F-logic with HiLog, Transaction logic, and defeasible reasoning.

Nomination of Flora-2 for deletion
A discussion is taking place as to whether the article Flora-2 is suitable for inclusion in Wikipedia according to Wikipedia's policies and guidelines or whether it should be deleted.

The article will be discussed at Articles for deletion/Flora-2 until a consensus is reached, and anyone is welcome to contribute to the discussion. The nomination will explain the policies and guidelines which are of concern. The discussion focuses on high-quality evidence and our policies and guidelines.

Users may edit the article during the discussion, including to improve the article to address concerns raised in the discussion. However, do not remove the article-for-deletion notice from the top of the article. Someone not using his real name (talk) 11:38, 29 January 2014 (UTC)

January 2014
Hello, I'm BracketBot. I have automatically detected that [//en.wikipedia.org/w/index.php?diff=593013033 your edit] to Flora-2 may have broken the syntax by modifying 1 "[]"s. If you have, don't worry: just [ edit the page] again to fix it. If I misunderstood what happened, or if you have any questions, you can leave a message on [//en.wikipedia.org/w/index.php?action=edit&preload=User:A930913/BBpreload&editintro=User:A930913/BBeditintro&minor=&title=User_talk:A930913&preloadtitle=BracketBot%20–%20&section=new my operator's talk page].
 * List of unpaired brackets remaining on the page:

Thanks, BracketBot (talk) 21:05, 29 January 2014 (UTC)
 * , M. Kifer, G. Lausen, J. Wu (1995). Foundations of Object-Oriented and Frame-Based Languages , Journal of ACM, May 1995. PDF

Your submission at Articles for creation: Rulelog has been accepted
 Rulelog, which you submitted to Articles for creation, has been created. The article has been assessed as Start-Class, which is recorded on the article's talk page. You may like to take a look at the grading scheme to see how you can improve the article. You are more than welcome to continue making quality contributions to Wikipedia. If your account is more than four days old and you have made at least 10 edits you can create articles yourself without posting a request. However, you may continue submitting work to Articles for Creation if you prefer. Thank you for helping improve Wikipedia! Catrìona (talk) 02:20, 12 December 2018 (UTC)
 * If you have any questions, you are welcome to ask at the  [//en.wikipedia.org/w/index.php?title=Wikipedia:WikiProject_Articles_for_creation/Help_desk&action=edit&section=new&nosummary=1&preload=Template:AfC_talk/HD_preload&preloadparams%5B%5D=Rulelog help desk] .
 * If you would like to help us improve this process, please consider.