Answer set programming: 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 21:2621:26, 8 May 2024 LucasBrown talk contribs 26,632 bytes +80 Importing Wikidata short description: "Programming paradigm focused on difficult search problems" undo Tag: Shortdesc helper

curprev 22:3322:33, 1 February 2024 Mathnerd314159 talk contribs 26,552 bytes +8 change paradigms template to navbox (see Template talk:Programming paradigms#too long) undo

curprev 14:1614:16, 10 October 2023 157.193.240.239 talk 26,544 bytes +39 No edit summary undo

curprev 16:2616:26, 1 September 2023 InternetArchiveBot talk contribs 26,505 bytes +263 Rescuing 2 sources and tagging 0 as dead.) #IABot (v2.0.9.5 undo

curprev 00:0000:00, 18 August 2023 OAbot talk contribs m 26,242 bytes +18 Open access bot: arxiv updated in citation with #oabot. undo

curprev 07:4107:41, 8 August 2023 83.215.60.65 talk 26,224 bytes −15 Removed `not e(Y,X)`. The previous formulation would consider nodes unconnected only when they had no connection at all. Rather, we want them to have edges in both ways. undo

curprev 06:4006:40, 27 April 2023 VadeveSi talk contribs m 26,239 bytes −8 →Answer set programming language AnsProlog: Update Clasp URL undo

curprev 17:5217:52, 20 April 2023 Pkoch talk contribs m 26,247 bytes +4 Make whitespace usage more consistent undo Tag: Visual edit
curprev 17:5117:51, 20 April 2023 Pkoch talk contribs m 26,243 bytes +39 Add inline code styling. undo Tag: Visual edit

curprev 16:5716:57, 28 January 2023 OAbot talk contribs m 26,204 bytes +17 Open access bot: doi added to citation with #oabot. undo

curprev 16:1216:12, 9 November 2022 DavidGries talk contribs 26,187 bytes +31 →History: added editor-link for "Krzysztof R. Apt" undo

curprev 23:3523:35, 25 July 2022 David Eppstein talk contribs 26,156 bytes −284 →Comparison of implementations: CoRR is not a journal; remove unreliably published source & claim undo

curprev 04:0404:04, 21 July 2022 Citation bot talk contribs 26,440 bytes +133 Alter: journal, issue. Add: doi, arxiv, s2cid, authors 1-1. Removed parameters. Formatted dashes. Some additions/deletions were parameter name changes. | Use this bot. Report bugs. | Suggested by Abductive | #UCB_webform 3417/3849 undo

curprev 05:2905:29, 17 July 2022 Mathnerd314159 talk contribs 26,307 bytes +132 →History: section seems similar to section in What Is ASP paper, I cited it and added more paraphrasing. removed 1999 lifschitz source as it doesn't seem too important undo

curprev 09:4609:46, 30 April 2022 Felix QW talk contribs m 26,175 bytes +23 →History: Wikilinked undo Tag: Visual edit

curprev 21:1721:17, 20 March 2022 Comp.arch talk contribs m 26,152 bytes 0 No edit summary undo Tag: 2017 wikitext editor

curprev 15:0715:07, 28 November 2021 Keith D talk contribs 26,152 bytes +3 →Comparison of implementations: Fix cite date error undo Tag: AWB
curprev 14:4414:44, 28 November 2021 89.157.157.65 talk 26,149 bytes +579 →Ading a reference to ASPeRiX article. This will give some explanation on why grounding may be slow in some cases and why on the fly grounding might have an advantage in these situations. Also, ASPeRiX is in the comparative table without the article ASPeRiX being cited. undo Tag: Visual edit

curprev 16:5416:54, 8 October 2021 GreenC bot talk contribs 25,570 bytes +46 Reformat 1 archive link; Move 1 url. Wayback Medic 2.5 undo

curprev 23:0523:05, 9 September 2021 Janburse talk contribs 25,524 bytes −297 Jekejeke Prolog not anymore available, see Dogelog Runtime undo

curprev 12:2512:25, 2 June 2021 Hooman Mallahzadeh talk contribs m 25,821 bytes 0 →Comparison of implementations: Uppercase. undo

curprev 06:4806:48, 1 June 2021 Hooman Mallahzadeh talk contribs m 25,821 bytes +18 →Examples of ASP programs: Line numbers added. undo

curprev 06:5606:56, 31 May 2021 Hooman Mallahzadeh talk contribs m 25,803 bytes +9 →Examples of ASP programs: Line numbering. undo

curprev 13:4213:42, 30 May 2021 Hooman Mallahzadeh talk contribs m 25,794 bytes −4 →Answer set programming language AnsProlog undo
curprev 13:3613:36, 30 May 2021 Hooman Mallahzadeh talk contribs m 25,798 bytes +2 →Answer set programming language AnsProlog undo

curprev 05:0005:00, 29 May 2021 Hooman Mallahzadeh talk contribs m 25,796 bytes 0 Upper case. undo Tag: Visual edit

curprev 13:3113:31, 28 May 2021 Hooman Mallahzadeh talk contribs m 25,796 bytes −1 →Answer set programming language AnsProlog: Redundant! undo Tag: Visual edit
curprev 10:4310:43, 28 May 2021 Hooman Mallahzadeh talk contribs 25,797 bytes +4 Linking. undo Tag: Visual edit

curprev 06:4806:48, 13 April 2021 Logperson talk contribs 25,793 bytes −3 resolution undo

curprev 11:4911:49, 11 April 2021 Narky Blert talk contribs 25,796 bytes +19 dab-needed tag undo

curprev 00:0200:02, 18 February 2021 WikiCleanerBot talk contribs m 25,777 bytes −12 v2.04b - Bot T20 CW#61 - Fix errors for CW project (Reference before punctuation - Link equal to linktext) undo Tag: WPCleaner

curprev 08:3308:33, 16 February 2021 92.24.168.84 talk 25,789 bytes +1 full stop at end of sentence undo Tag: Visual edit

curprev 09:3709:37, 15 February 2021 Compulogger talk contribs 25,788 bytes +586 s(ASP) and s(CASP) undo
curprev 09:1809:18, 15 February 2021 Compulogger talk contribs 25,202 bytes +577 query-driven systems undo

curprev 08:4308:43, 12 February 2021 Gover7 talk contribs m 24,625 bytes 0 →Dependency parsing: nom -> abl makes the 2 nodes different undo

curprev 20:1520:15, 8 February 2021 79.97.230.46 talk 24,625 bytes +4 delSAT is now called diff-SAT undo

curprev 19:5419:54, 18 December 2020 Monkbot talk contribs m 24,621 bytes +8 Task 18 (cosmetic): eval 15 templates: hyphenate params (8×); undo Tag: AWB

curprev 21:1321:13, 12 August 2020 Cup o' Java talk contribs m 24,613 bytes +14 Undid revision 972582619 by Cup o' Java (talk) undo Tag: Undo
curprev 21:1221:12, 12 August 2020 Cup o' Java talk contribs m 24,599 bytes −14 →Answer set programming language AnsProlog: Fix code example formatting undo Tag: 2017 wikitext editor

curprev 15:3715:37, 20 May 2020 Omnipaedista talk contribs 24,613 bytes −3 standardized punct. undo

curprev 17:2317:23, 11 May 2020 DannyS712 bot talk contribs m 24,616 bytes +396 Task 70: Update syntaxhighlight tags - remove use of deprecated <source> tags undo Tag: AWB

curprev 17:2517:25, 3 March 2020 InternetArchiveBot talk contribs 24,220 bytes +29 Bluelink 1 book for verifiability. [goog]) #IABot (v2.0) (GreenC bot undo

curprev 23:0123:01, 6 February 2020 Citation bot talk contribs m 24,191 bytes −58 Alter: issue. Add: issue, arxiv, chapter-url. Removed or converted URL. Removed parameters. Formatted dashes. Some additions/deletions were actually parameter name changes. | You can use this bot yourself. Report bugs here. | Activated by User:Headbomb | via #UCB_webform undo
curprev 22:4822:48, 6 February 2020 Headbomb talk contribs m 24,249 bytes +1 →History: clean up, replaced: xxx.lanl.gov → www.arxiv.org undo Tag: AWB

curprev 21:1021:10, 8 October 2019 Janburse talk contribs 24,248 bytes +25 →Comparison of implementations undo
curprev 21:0821:08, 8 October 2019 Janburse talk contribs 24,223 bytes +271 →Comparison of implementations undo

curprev 02:3702:37, 30 September 2019 InternetArchiveBot talk contribs 23,952 bytes +86 Rescuing 2 sources and tagging 0 as dead.) #IABot (v2.0 undo

curprev 00:4300:43, 12 September 2019 Monkbot talk contribs m 23,866 bytes +7 Task 16: replaced (2×) / removed (0×) deprecated |dead-url= and |deadurl= with |url-status=; undo Tag: AWB

curprev 22:0022:00, 22 May 2019 InternetArchiveBot talk contribs 23,859 bytes +497 Rescuing 3 sources and tagging 0 as dead. #IABot (v2.0beta14) undo

curprev 08:3108:31, 23 April 2019 89.100.66.238 talk 23,362 bytes +3 No edit summary undo

8 May 2024

1 February 2024

10 October 2023

1 September 2023

18 August 2023

8 August 2023

27 April 2023

20 April 2023

28 January 2023

9 November 2022

25 July 2022

21 July 2022

17 July 2022

30 April 2022

20 March 2022

28 November 2021

8 October 2021

9 September 2021

2 June 2021

1 June 2021

31 May 2021

30 May 2021

29 May 2021

28 May 2021

13 April 2021

11 April 2021

18 February 2021

16 February 2021

15 February 2021

12 February 2021

8 February 2021

18 December 2020

12 August 2020

20 May 2020

11 May 2020

3 March 2020

6 February 2020

8 October 2019

30 September 2019

12 September 2019

22 May 2019

23 April 2019