Stable model semantics: Revision history

Filter revisionsshowhide

To date:

Tag filter:

Invert selection

External tools:

For any version listed below, click on its date to view it. For more help, see Help:Page history and Help:Edit summary. (cur) = difference from current version, (prev) = difference from preceding version, m = minor edit, → = section edit, ← = automatic edit summary

curprev 23:1223:12, 1 October 2023‎ Bm319 talk contribs‎ 31,746 bytes −20‎ No edit summary undo

curprev 08:0708:07, 17 July 2023‎ Felix QW talk contribs‎ 31,766 bytes −26‎ removed Category:Model theory using HotCat Not what mathematicians usually consider model theory. undo

curprev 17:4617:46, 3 March 2023‎ 69.117.211.11 talk‎ 31,792 bytes +30‎ →‎Disjunctive programs: main undo Tags: Mobile edit Mobile web edit

curprev 19:0519:05, 22 October 2022‎ Headbomb talk contribs‎ 31,762 bytes +4‎ ce undo

curprev 03:4803:48, 13 October 2022‎ RDBrown talk contribs‎ 31,758 bytes +1,900‎ →cite book, journal | Alter: issue, url, doi. URLs might have been anonymized. Add: doi, s2cid, authors 1-1. Removed parameters. Formatted dashes. Some additions/deletions were parameter name changes. | Use this tool. Report bugs. | #UCB_Gadget undo

curprev 11:3711:37, 12 May 2021‎ Cedar101 talk contribs‎ m 29,858 bytes +1‎ →‎Definition: {{tmath}} undo
curprev 11:3211:32, 12 May 2021‎ Cedar101 talk contribs‎ m 29,857 bytes −36‎ →‎Properties of the stable model semantics: ; : undo
curprev 11:3011:30, 12 May 2021‎ Cedar101 talk contribs‎ m 29,893 bytes −83‎ →‎Stable models: : undo
curprev 11:2811:28, 12 May 2021‎ Cedar101 talk contribs‎ 29,976 bytes −73‎ →‎Motivation: \neg undo

curprev 23:2123:21, 25 February 2020‎ The Anome talk contribs‎ 30,049 bytes +4‎ →‎Relation to nonmonotonic logic: Michael Gelfond undo Tag: 2017 wikitext editor

curprev 08:5308:53, 13 January 2020‎ 148.60.138.167 talk‎ 30,045 bytes +7‎ →‎Motivation undo

curprev 13:0513:05, 4 April 2019‎ 79.107.104.246 talk‎ 30,038 bytes −2‎ MOS:SECTIONORDER undo

curprev 18:5618:56, 24 February 2019‎ Jarble talk contribs‎ 30,040 bytes +155‎ adding links to references using Google Scholar undo

curprev 10:0210:02, 10 January 2019‎ Jarble talk contribs‎ 29,885 bytes +29‎ fixing a broken link undo

curprev 14:5214:52, 27 September 2018‎ The Anome talk contribs‎ 29,856 bytes +4‎ declarative semantics undo Tag: 2017 wikitext editor

curprev 12:4312:43, 23 February 2018‎ The Anome talk contribs‎ 29,852 bytes 0‎ meaning of negation undo Tag: 2017 wikitext editor
curprev 12:4212:42, 23 February 2018‎ The Anome talk contribs‎ 29,852 bytes +4‎ meaning of negation in logic programming undo Tag: 2017 wikitext editor

curprev 03:5003:50, 8 January 2018‎ Jarble talk contribs‎ 29,848 bytes +336‎ adding links to references using Google Scholar undo

curprev 10:1410:14, 4 July 2017‎ 78.53.143.10 talk‎ 29,512 bytes +9‎ →‎Add missing sentence ending undo

curprev 22:4322:43, 17 May 2017‎ Rriegs talk contribs‎ m 29,503 bytes −9‎ →‎Coherent stable models: remove unnecessary tt formatting undo

curprev 18:3318:33, 3 April 2016‎ Michael Hardy talk contribs‎ 29,512 bytes +407‎ No edit summary undo

curprev 15:3315:33, 2 April 2016‎ Horcrux talk contribs‎ 29,105 bytes +26‎ added Category:Model theory using HotCat undo

curprev 17:2517:25, 31 March 2016‎ Horcrux talk contribs‎ m 29,079 bytes +6‎ synonim undo

curprev 06:1406:14, 19 March 2016‎ BG19bot talk contribs‎ m 29,073 bytes −13‎ →‎References: Remove blank line(s) between list items per WP:LISTGAP to fix an accessibility issue for users of screen readers. Do WP:GENFIXES and cleanup if needed. Discuss this at Wikipedia talk:WikiProject Accessibility#LISTGAP undo

curprev 17:3517:35, 27 February 2016‎ 88.207.209.208 talk‎ 29,086 bytes −4‎ Fixed link to Gelfond's paper "On stratified autoepistemic theories" undo

curprev 19:5719:57, 13 February 2016‎ Olexa Riznyk talk contribs‎ m 29,090 bytes −25‎ Fixing style/layout errors undo

curprev 15:3515:35, 11 July 2014‎ Frietjes talk contribs‎ 29,115 bytes +57‎ No edit summary undo
curprev 15:3315:33, 11 July 2014‎ Frietjes talk contribs‎ 29,058 bytes −1‎ →‎Stable models undo
curprev 15:3315:33, 11 July 2014‎ Frietjes talk contribs‎ 29,059 bytes −15‎ No edit summary undo

curprev 09:4809:48, 7 July 2014‎ Magioladitis talk contribs‎ 29,074 bytes −114‎ →‎Stable models: use wikicode undo

curprev 00:3100:31, 4 July 2014‎ Magioladitis talk contribs‎ m 29,188 bytes −1‎ →‎Motivation: clean up using AWB (10274) undo

curprev 19:3419:34, 3 July 2014‎ Magioladitis talk contribs‎ m 29,189 bytes −232‎ →‎Motivation: fix tables undo

curprev 16:3716:37, 19 October 2013‎ Dewritech talk contribs‎ 29,421 bytes +4‎ clean up, typo(s) fixed: i.e, → i.e., using AWB undo

curprev 15:1315:13, 3 June 2013‎ Tayloj talk contribs‎ 29,417 bytes −4‎ →‎Motivation undo

curprev 14:0614:06, 1 June 2013‎ LoMaPh talk contribs‎ m 29,421 bytes +39‎ more explanation undo

curprev 16:1316:13, 14 February 2013‎ Shunpiker talk contribs‎ m 29,382 bytes +25‎ →‎Motivation: Link SLD_resolution#SLDNF undo

curprev 05:2005:20, 18 December 2012‎ Ratzki talk contribs‎ m 29,357 bytes +4‎ missing predicate functor undo

curprev 19:3919:39, 2 August 2012‎ Sun Creator talk contribs‎ m 29,353 bytes +30‎ Typo fixing using AWB undo

curprev 15:1315:13, 26 May 2011‎ Linas talk contribs‎ m 29,323 bytes −6‎ →‎Motivation: fix bad link for model theory undo

curprev 01:4101:41, 24 June 2010‎ Simeon talk contribs‎ 29,329 bytes +32‎ →‎Relation to nonmonotonic logic undo

curprev 04:1004:10, 4 December 2009‎ Gregbard talk contribs‎ 29,297 bytes +22‎ →‎Relation to other theories of negation as failure: tautology using AWB undo

curprev 03:5403:54, 3 December 2009‎ Gregbard talk contribs‎ 29,275 bytes +4‎ →‎Motivation: truth value, Replaced: truth value → truth value, using Project:AWB undo

curprev 00:4600:46, 30 September 2009‎ J04n talk contribs‎ m 29,271 bytes +19‎ Repairing links to disambiguation pages - You can help! undo

curprev 00:5400:54, 23 January 2009‎ Creidieki talk contribs‎ m 29,252 bytes −13‎ Undid revision 257876392 by 122.96.81.207 (talk) undo

curprev 09:2709:27, 14 December 2008‎ 122.96.81.207 talk‎ 29,265 bytes +13‎ →‎Relation to other theories of negation as failure undo

curprev 10:5510:55, 22 September 2008‎ 130.233.238.5 talk‎ 29,252 bytes +7‎ →‎Properties of the stable model semantics: Added the word 'ground' to the complexity result. undo

curprev 00:1600:16, 20 April 2008‎ 129.2.165.54 talk‎ 29,245 bytes +25‎ →‎References undo

curprev 09:2609:26, 18 November 2007‎ RainbowCrane talk contribs‎ 29,220 bytes −81‎ Typo fixing, Elements of Style cleanup using AWB undo

curprev 14:0614:06, 30 October 2007‎ 70.113.94.204 talk‎ 29,301 bytes −1,586‎ discussion of inertia is moved to article on the frame problem undo

curprev 14:5914:59, 5 October 2007‎ Vlifschitz talk contribs‎ m 30,887 bytes −237‎ →‎Closed world assumption undo

1 October 2023

17 July 2023

3 March 2023

22 October 2022

13 October 2022

12 May 2021

25 February 2020

13 January 2020

4 April 2019

24 February 2019

10 January 2019

27 September 2018

23 February 2018

8 January 2018

4 July 2017

17 May 2017

3 April 2016

2 April 2016

31 March 2016

19 March 2016

27 February 2016

13 February 2016

11 July 2014

7 July 2014

4 July 2014

3 July 2014

19 October 2013

3 June 2013

1 June 2013

14 February 2013

18 December 2012

2 August 2012

26 May 2011

24 June 2010

4 December 2009

3 December 2009

30 September 2009

23 January 2009

14 December 2008

22 September 2008

20 April 2008

18 November 2007

30 October 2007

5 October 2007