Well-founded semantics (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "Well-founded semantics" in English language version.

Last modified: 09:39:21, 23 June 2026 (UTC)

Ref.Un. Ref.Website

Global rank English rank

97doi.org

2^nd place

43worldcat.org

4^th place

11hdl.handle.net

66^th place

34^th place

11springer.com

182^nd place

172^nd place

11web.archive.org

1^st place

11acm.org

1,200^th place

821^st place

11cambridge.org

209^th place

151^st place

11arxiv.org

49^th place

31^st place

acm.org (Global: 1,200^th place; English: 821^st place)

portal.acm.org

Van Gelder, A. (1989). The alternating fixpoint of logic programs with negation. Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems. ACM Press. pp. 1–10. doi:10.1145/73721.73722. ISBN 978-0-89791-308-9.

arxiv.org (Global: 49^th place; English: 31^st place)

Lonc, Zbigniew; Truszczyński, Mirosław (2001). "On the problem of computing the well-founded semantics". Theory and Practice of Logic Programming. 1 (5): 591–609. arXiv:cs/0101014. doi:10.1017/S1471068401001053. ISSN 1471-0684.

cambridge.org (Global: 209^th place; English: 151^st place)

Lonc, Zbigniew; Truszczyński, Mirosław (2001). "On the problem of computing the well-founded semantics". Theory and Practice of Logic Programming. 1 (5): 591–609. arXiv:cs/0101014. doi:10.1017/S1471068401001053. ISSN 1471-0684.

doi.org (Global: 2^nd place; English: 2^nd place)

doi.org

Van Gelder, Allen; Ross, Kenneth A.; Schlipf, John S. (July 1991). "The well-founded semantics for general logic programs". Journal of the ACM. 38 (3): 619–649. doi:10.1145/116825.116838. ISSN 0004-5411.
Van Gelder, Allen; Ross, Kenneth; Schlipf, John S. (1988). "Unfounded sets and well-founded semantics for general logic programs". Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems. New York, New York, USA: ACM Press. pp. 221–230. doi:10.1145/308386.308444. ISBN 0897912632.
Körner, Philipp; Leuschel, Michael; Barbosa, João; Costa, Vítor Santos; Dahl, Verónica; Hermenegildo, Manuel V.; Morales, Jose F.; Wielemaker, Jan; Diaz, Daniel; Abreu, Salvador; Ciatto, Giovanni (November 2022). "Fifty Years of Prolog and Beyond". Theory and Practice of Logic Programming. 22 (6): 776–858. doi:10.1017/S1471068422000102. hdl:10174/33387. ISSN 1471-0684.
Rao, Prasad; Sagonas, Konstantinos; Swift, Terrance; Warren, David S.; Freire, Juliana (1997), "XSB: A system for efficiently computing well-founded semantics", in Dix, Jürgen; Furbach, Ulrich; Nerode, Anil (eds.), Logic Programming And Nonmonotonic Reasoning, vol. 1265, Berlin, Heidelberg: Springer Berlin Heidelberg, pp. 430–440, doi:10.1007/3-540-63255-7_33, ISBN 978-3-540-63255-9, retrieved 2023-11-17
Van Gelder, A. (1989). The alternating fixpoint of logic programs with negation. Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems. ACM Press. pp. 1–10. doi:10.1145/73721.73722. ISBN 978-0-89791-308-9.
Lonc, Zbigniew; Truszczyński, Mirosław (2001). "On the problem of computing the well-founded semantics". Theory and Practice of Logic Programming. 1 (5): 591–609. arXiv:cs/0101014. doi:10.1017/S1471068401001053. ISSN 1471-0684.

dx.doi.org

Van Gelder, Allen; Ross, Kenneth A.; Schlipf, John S. (July 1991). "The well-founded semantics for general logic programs". Journal of the ACM. 38 (3): 619–649. doi:10.1145/116825.116838. ISSN 0004-5411.

hdl.handle.net (Global: 66^th place; English: 34^th place)

Körner, Philipp; Leuschel, Michael; Barbosa, João; Costa, Vítor Santos; Dahl, Verónica; Hermenegildo, Manuel V.; Morales, Jose F.; Wielemaker, Jan; Diaz, Daniel; Abreu, Salvador; Ciatto, Giovanni (November 2022). "Fifty Years of Prolog and Beyond". Theory and Practice of Logic Programming. 22 (6): 776–858. doi:10.1017/S1471068422000102. hdl:10174/33387. ISSN 1471-0684.

springer.com (Global: 182^nd place; English: 172^nd place)

link.springer.com

Rao, Prasad; Sagonas, Konstantinos; Swift, Terrance; Warren, David S.; Freire, Juliana (1997), "XSB: A system for efficiently computing well-founded semantics", in Dix, Jürgen; Furbach, Ulrich; Nerode, Anil (eds.), Logic Programming And Nonmonotonic Reasoning, vol. 1265, Berlin, Heidelberg: Springer Berlin Heidelberg, pp. 430–440, doi:10.1007/3-540-63255-7_33, ISBN 978-3-540-63255-9, retrieved 2023-11-17

web.archive.org (Global: 1^st place; English: 1^st place)

Przymusinski, Teodor. Well-founded Semantics Coincides with Three-Valued Stable Semantics. Fundamenta Informaticae XIII pp. 445-463, 1990.

worldcat.org (Global: 4^th place; English: 4^th place)

search.worldcat.org

Van Gelder, Allen; Ross, Kenneth A.; Schlipf, John S. (July 1991). "The well-founded semantics for general logic programs". Journal of the ACM. 38 (3): 619–649. doi:10.1145/116825.116838. ISSN 0004-5411.
Körner, Philipp; Leuschel, Michael; Barbosa, João; Costa, Vítor Santos; Dahl, Verónica; Hermenegildo, Manuel V.; Morales, Jose F.; Wielemaker, Jan; Diaz, Daniel; Abreu, Salvador; Ciatto, Giovanni (November 2022). "Fifty Years of Prolog and Beyond". Theory and Practice of Logic Programming. 22 (6): 776–858. doi:10.1017/S1471068422000102. hdl:10174/33387. ISSN 1471-0684.
Lonc, Zbigniew; Truszczyński, Mirosław (2001). "On the problem of computing the well-founded semantics". Theory and Practice of Logic Programming. 1 (5): 591–609. arXiv:cs/0101014. doi:10.1017/S1471068401001053. ISSN 1471-0684.

Well-founded semantics (English Wikipedia)

acm.org (Global: 1,200th place; English: 821st place)

portal.acm.org

arxiv.org (Global: 49th place; English: 31st place)

cambridge.org (Global: 209th place; English: 151st place)

doi.org (Global: 2nd place; English: 2nd place)