Stable model semantics: Revision history

Article
Talk

View logs for this page (view filter log)

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 22:0422:04, 24 September 2007 Vlifschitz talk contribs 29,818 bytes +1,067 stable models of propositional formulas undo

curprev 17:0617:06, 19 September 2007 Vlifschitz talk contribs 28,751 bytes +266 reference added undo
curprev 16:4816:48, 19 September 2007 Vlifschitz talk contribs 28,485 bytes +1,715 disjunctive programs undo

curprev 20:0720:07, 18 September 2007 Vlifschitz talk contribs 26,770 bytes +1,041 →Programs with constraints undo

curprev 22:5722:57, 14 September 2007 Vlifschitz talk contribs 20,434 bytes +722 closed world assumption undo
curprev 22:2622:26, 14 September 2007 Vlifschitz talk contribs 19,712 bytes +1,412 coherent stable models undo
curprev 21:2921:29, 14 September 2007 Vlifschitz talk contribs 18,300 bytes +2,543 strong negation undo

curprev 12:1112:11, 7 September 2007 Logperson talk contribs 15,757 bytes −85 removed orphan tag and suggestion to merge with answer set programming undo
curprev 04:0904:09, 7 September 2007 Vlifschitz talk contribs 15,842 bytes −30 Removed {{expert}}, {{comp-sci-stub}} undo

curprev 22:1622:16, 4 September 2007 Vlifschitz talk contribs 11,712 bytes +1,854 Definition of reduct undo

curprev 20:1020:10, 29 August 2007 Vlifschitz talk contribs 9,858 bytes +4,274 Motivation, relation to nonmonotonic logic undo

curprev 11:4611:46, 26 August 2007 CharlesGillingham talk contribs 5,584 bytes +33 →See also undo

curprev 08:2208:22, 9 July 2007 79.2.118.130 talk 5,551 bytes +3 →Formal Definition of Stable Models undo

curprev 21:3321:33, 1 July 2007 87.20.117.206 talk 5,548 bytes +6 →Formal Definition of Stable Models undo

curprev 22:2822:28, 30 June 2007 Paolo Serafino talk contribs 5,542 bytes +2,200 →Formal Definition of Stable Models undo
curprev 20:5120:51, 30 June 2007 Paolo Serafino talk contribs 3,342 bytes +55 →References undo
curprev 09:2909:29, 30 June 2007 87.20.25.165 talk 3,287 bytes +7 →Formal Definition of Stable Models undo
curprev 09:2809:28, 30 June 2007 87.20.25.165 talk 3,280 bytes −11 →Formal Definition of Stable Models undo

curprev 15:1215:12, 24 April 2007 139.18.100.237 talk 1,189 bytes +4 No edit summary undo

curprev 22:4222:42, 21 April 2007 SmackBot talk contribs m 1,185 bytes +3 Date/fix the maintenance tags undo

curprev 12:0312:03, 19 February 2007 SmackBot talk contribs m 1,182 bytes +19 Date/fix maintenance tags undo
curprev 00:4800:48, 19 February 2007 Zootalures talk contribs 1,163 bytes +2 No edit summary undo
curprev 00:4600:46, 19 February 2007 Zootalures talk contribs 1,161 bytes +33 proposed merge with Answer set programming undo

curprev 13:0513:05, 16 January 2007 88.108.45.119 talk 1,128 bytes +11 No edit summary undo

curprev 15:0015:00, 6 January 2007 SmackBot talk contribs m 1,117 bytes −2 Date/fix the maintenance tags using AWB undo

curprev 21:3221:32, 7 November 2006 MarshBot talk contribs 1,119 bytes +29 Adding {{linkless}} template to orphan article undo

curprev 10:1210:12, 18 July 2006 NavarroJ talk contribs 1,090 bytes +81 Added "see also" list, and "negation as failure" undo

curprev 08:3508:35, 10 March 2006 Macha talk contribs m 1,009 bytes +19 No edit summary undo
curprev 08:3508:35, 10 March 2006 Macha talk contribs m 990 bytes +4 No edit summary undo

curprev 08:1508:15, 28 February 2006 Macha talk contribs 986 bytes +986 the idea and the main ref

Retrieved from "https://en.wikipedia.org/wiki/Stable_model_semantics"