Frame problem: Revision history

3 June 2024

• curprev 19:0719:07, 3 June 2024‎ DynaGuy00 talk contribs‎ m 31,210 bytes −6‎ No edit summary undo Tag: Visual edit

29 April 2024

• curprev 11:1511:15, 29 April 2024‎ JASpencer talk contribs‎ 31,216 bytes +12‎ removed Category:Artificial intelligence; added Category:Problems in artificial intelligence using HotCat undo

23 January 2024

• curprev 10:4510:45, 23 January 2024‎ Citation bot talk contribs‎ 31,204 bytes −3‎ Altered template type. | Use this bot. Report bugs. | #UCB_CommandLine undo

9 January 2024

• curprev 16:4516:45, 9 January 2024‎ SdkbBot talk contribs‎ m 31,207 bytes −2‎ Removed erroneous space and general fixes (task 1) undo Tag: AWB

2 January 2024

• curprev 11:5111:51, 2 January 2024‎ Robert Kowalski talk contribs‎ 31,209 bytes +1,731‎ →‎Event calculus solution: Added relevant detail and example. undo

22 December 2023

• curprev 10:4610:46, 22 December 2023‎ Robert Kowalski talk contribs‎ m 29,478 bytes −1‎ →‎References: R. -> Reiter undo

3 December 2023

• curprev 07:2107:21, 3 December 2023‎ OAbot talk contribs‎ m 29,479 bytes −4‎ Open access bot: doi updated in citation with #oabot. undo

3 October 2023

• curprev 18:0918:09, 3 October 2023‎ 2a02:1812:110c:dc00:b100:f154:123a:17bb talk‎ 29,483 bytes +73‎ No edit summary undo

23 July 2023

• curprev 14:5614:56, 23 July 2023‎ Citation bot talk contribs‎ 29,410 bytes −1‎ Alter: title, template type. Add: chapter. Removed parameters. | Use this bot. Report bugs. | Suggested by Headbomb | Linked from Wikipedia:WikiProject_Academic_Journals/Journals_cited_by_Wikipedia/Sandbox2 | #UCB_webform_linked 274/2384 undo

29 May 2023

• curprev 02:0702:07, 29 May 2023‎ Carchasm talk contribs‎ 29,411 bytes +12‎ removed Category:Epistemology; added Category:Concepts in epistemology using HotCat undo

10 May 2023

• curprev 02:0302:03, 10 May 2023‎ MaxEnt talk contribs‎ 29,399 bytes +45‎ this is becoming a cog-sci issue, too; Stanford cyc phil "recent discussion has tended to focus ... more on the implications of the wider frame problem for cognitive science" undo
• curprev 01:2601:26, 10 May 2023‎ MaxEnt talk contribs‎ 29,354 bytes +5‎ separate lead heads permit readers to get to the meat of the matter faster undo

1 March 2023

• curprev 04:1004:10, 1 March 2023‎ Jarble talk contribs‎ m 29,349 bytes +4‎ linking undo

29 November 2022

• curprev 02:2502:25, 29 November 2022‎ Rlink2 talk contribs‎ m 29,345 bytes +142‎ →‎References: Adding archives WP:LINKROT undo Tag: AWB

23 November 2022

• curprev 12:4012:40, 23 November 2022‎ Séan O'Cairneigh talk contribs‎ m 29,203 bytes +24‎ No edit summary undo Tags: Mobile edit Mobile app edit iOS app edit

8 August 2022

• curprev 14:5814:58, 8 August 2022‎ Jerryobject talk contribs‎ m 29,179 bytes −7‎ →‎External links: WP:NAVBOX update. undo

20 May 2022

• curprev 13:0913:09, 20 May 2022‎ MichaelMaggs talk contribs‎ 29,186 bytes −89‎ Per WP:SDSHORT undo
• curprev 01:1001:10, 20 May 2022‎ 24.187.172.87 talk‎ 29,275 bytes +233‎ →‎Separation logic solution: Improve notation undo

18 February 2022

• curprev 23:0423:04, 18 February 2022‎ 79.192.110.238 talk‎ 29,042 bytes −45‎ Fix PDF download link, add year of publication undo

10 December 2021

• curprev 15:2515:25, 10 December 2021‎ Citation bot talk contribs‎ 29,087 bytes 0‎ Alter: url. URLs might have been anonymized. | Use this bot. Report bugs. | Suggested by AManWithNoPlan | #UCB_webform 362/2200 undo

15 August 2021

• curprev 13:0313:03, 15 August 2021‎ Qwerfjkl talk contribs‎ 29,087 bytes −4‎ Removed 'The' from the beginning of the short description per WP:SDFORMAT. (via WP:JWB) undo

6 July 2021

• curprev 12:4612:46, 6 July 2021‎ OAbot talk contribs‎ m 29,091 bytes +40‎ Open access bot: doi added to citation with #oabot. undo

4 June 2021

• curprev 20:5720:57, 4 June 2021‎ Drmies talk contribs‎ 29,051 bytes +179‎ Reverted 2 edits by 70.171.155.43 (talk): Outrageous personal attacks instead of arguments undo Tags: Twinkle Undo

21 February 2021

• curprev 22:4022:40, 21 February 2021‎ 70.171.155.43 talk‎ 28,872 bytes −199‎ Excised misleading misconception (or lie; author's motivation and intent in writing this sentence is unclear) undo Tag: Reverted
• curprev 22:3022:30, 21 February 2021‎ 70.171.155.43 talk‎ 29,071 bytes +20‎ (a) Don't use a bogus CS initialism FOL for first-order logic. (b) What the heck is "*traditional* first-order logic?" Why would you call a math concept "traditional?" undo Tag: Reverted

7 December 2020

• curprev 04:0204:02, 7 December 2020‎ Monkbot talk contribs‎ m 29,051 bytes −67‎ Task 18 (cosmetic): eval 28 templates: del empty params (8×); hyphenate params (3×); undo Tag: AWB

8 September 2020

• curprev 17:2317:23, 8 September 2020‎ Citation bot talk contribs‎ 29,118 bytes +123‎ Add: url, s2cid. | You can use this bot yourself. Report bugs here. | Suggested by SemperIocundus | via #UCB_webform undo

6 July 2020

• curprev 16:3716:37, 6 July 2020‎ JCW-CleanerBot talk contribs‎ m 28,995 bytes −9‎ →‎Separation logic solution: task, replaced: Journal of the ACM (JACM) → Journal of the ACM undo Tag: AWB

5 June 2020

• curprev 21:2821:28, 5 June 2020‎ Citation bot talk contribs‎ 29,004 bytes +10‎ Alter: url. Add: author pars. 1-1. Removed parameters. Some additions/deletions were actually parameter name changes. | You can use this bot yourself. Report bugs here. | Activated by SemperIocundus | via #UCB_webform undo

17 April 2020

• curprev 05:0705:07, 17 April 2020‎ OAbot talk contribs‎ m 28,994 bytes +52‎ Open access bot: doi added to citation with #oabot. undo

22 February 2020

• curprev 23:4823:48, 22 February 2020‎ John B123 talk contribs‎ m 28,942 bytes −1‎ →‎Separation logic solution: ce undo
• curprev 23:4823:48, 22 February 2020‎ John B123 talk contribs‎ 28,943 bytes −201‎ Alter: volume, pages. Add: issue, volume, citeseerx. Removed URL that duplicated unique identifier. Removed parameters. Formatted dashes. | You can use this tool yourself. Report bugs here. | via #UCB_Gadget undo
• curprev 23:4523:45, 22 February 2020‎ John B123 talk contribs‎ m 29,144 bytes −4‎ →‎References: Fixed cite error undo
• curprev 23:4423:44, 22 February 2020‎ John B123 talk contribs‎ m 29,148 bytes +24‎ →‎Separation logic solution: Fixed cite error undo
• curprev 23:4123:41, 22 February 2020‎ John B123 talk contribs‎ 29,124 bytes +148‎ Importing Wikidata short description: "The problem of finding adequate collections of axioms for a viable description of a robot environment using first-order logic" (Shortdesc helper) undo
• curprev 22:1722:17, 22 February 2020‎ Semanticist14 talk contribs‎ 28,976 bytes +22‎ →‎See also: Added sep logic undo Tag: Visual edit
• curprev 21:0321:03, 22 February 2020‎ Semanticist14 talk contribs‎ 28,954 bytes +3,557‎ →‎Solutions: Added subsection on separation logic undo Tag: Visual edit

11 December 2019

• curprev 17:4617:46, 11 December 2019‎ Citation bot talk contribs‎ m 25,397 bytes −110‎ Alter: url. Add: isbn, citeseerx. Removed URL that duplicated unique identifier. | You can use this bot yourself. Report bugs here.| Activated by User:Nemo bis | via #UCB_webform undo

5 December 2019

• curprev 17:1817:18, 5 December 2019‎ 98.4.103.219 talk‎ 25,507 bytes 0‎ →‎See also undo

23 July 2019

• curprev 02:0202:02, 23 July 2019‎ Jarble talk contribs‎ 25,507 bytes +312‎ adding links to references using Google Scholar undo

12 June 2019

• curprev 17:0417:04, 12 June 2019‎ 134.96.74.162 talk‎ 25,195 bytes +8‎ Removes strike-through, which isn't supported in pop-ups and results in ugly html undo

25 March 2019

• curprev 01:4001:40, 25 March 2019‎ Sollyucko talk contribs‎ 25,187 bytes −173‎ Improved formatting. (Removed redundant trues; changed textit to mathrm; changed rightarrow to implies; changed leftrightarrow to iff.) undo Tag: 2017 wikitext editor

17 February 2019

• curprev 17:3317:33, 17 February 2019‎ Citation bot talk contribs‎ m 25,360 bytes +84‎ Alter: issue, isbn, journal. Add: citeseerx. Removed parameters. Formatted dashes. | You can use this bot yourself. Report bugs here. | User-activated. undo

25 October 2017

• curprev 15:3315:33, 25 October 2017‎ Infoanne talk contribs‎ 25,276 bytes +75‎ Added free to read links in citations with OAbot #oabot undo Tag: OAbot [1.0]

30 August 2017

• curprev 11:3811:38, 30 August 2017‎ Nemo bis talk contribs‎ 25,201 bytes +54‎ Added free to read links in citations with OAbot #oabot undo Tag: OAbot [1.0]

18 May 2017

• curprev 23:1823:18, 18 May 2017‎ Rriegs talk contribs‎ m 25,147 bytes −4‎ →‎Fluent calculus solution: wording undo
• curprev 23:0523:05, 18 May 2017‎ Rriegs talk contribs‎ m 25,151 bytes −20‎ →‎Description: grammar, simpler wording undo

15 April 2017

• curprev 04:3004:30, 15 April 2017‎ 174.7.238.249 talk‎ 25,171 bytes 0‎ →‎Fluent calculus solution undo

12 April 2017

• curprev 12:4812:48, 12 April 2017‎ 70.88.255.45 talk‎ 25,171 bytes +1‎ No edit summary undo

1 February 2017

• curprev 21:4521:45, 1 February 2017‎ Goffman82 talk contribs‎ m 25,170 bytes +2‎ commas undo