Sign In

Login

Password

Forgot Password ? Sign Up

Программирование наборов ответов (Russian Wikipedia)

Analysis of information sources in references of the Wikipedia article "Программирование наборов ответов" in Russian language version.

refsWebsite
Global rank Russian rank
15web.archive.org
1st place
1st place
3utexas.edu
916th place
1,381st place
3hut.fi
low place
low place
3uni-potsdam.de
low place
low place
1arxiv.org
69th place
148th place
1doi.org
2nd place
3rd place
1books.google.com
3rd place
10th place
1archive.today
14th place
11th place
1loqtek.com
low place
low place
1univ-angers.fr
low place
low place
1dlvsystem.com
low place
low place
1unical.it
low place
low place
1uky.edu
3,273rd place
9,679th place
1nku.edu
low place
low place

archive.today

arxiv.org

books.google.com

  • Niemelä, I.; Simons, P.; Soinenen, T. Stable model semantics of weight constraint rules // Logic Programming and Nonmonotonic Reasoning: 5th International Conference, LPNMR '99, El Paso, Texas, USA, December 2–4, 1999 Proceedings (англ.) / Gelfond, Michael; Leone, Nicole; Pfeifer, Gerald. — Springer, 2000. — Vol. 1730. — P. 317—331. — (Lecture notes in computer science: Lecture notes in artificial intelligence). — ISBN 978-3-540-66749-0. as Postscript Архивная копия от 15 октября 2008 на Wayback Machine

dlvsystem.com

doi.org

dx.doi.org

hut.fi

tcs.hut.fi

  • Niemelä, I.; Simons, P.; Soinenen, T. Stable model semantics of weight constraint rules // Logic Programming and Nonmonotonic Reasoning: 5th International Conference, LPNMR '99, El Paso, Texas, USA, December 2–4, 1999 Proceedings (англ.) / Gelfond, Michael; Leone, Nicole; Pfeifer, Gerald. — Springer, 2000. — Vol. 1730. — P. 317—331. — (Lecture notes in computer science: Lecture notes in artificial intelligence). — ISBN 978-3-540-66749-0. as Postscript Архивная копия от 15 октября 2008 на Wayback Machine
  • TCS — Software — lpeq. Дата обращения: 6 апреля 2018. Архивировано 25 декабря 2017 года.
  • Computing the Stable Model Semantics. Дата обращения: 6 апреля 2018. Архивировано 24 марта 2018 года.

loqtek.com

nku.edu

uky.edu

cs.uky.edu

uni-potsdam.de

cs.uni-potsdam.de

unical.it

mat.unical.it

univ-angers.fr

info.univ-angers.fr

utexas.edu

cs.utexas.edu

web.archive.org

  • Ferraris, P.; Lifschitz, V. Weight constraints as nested expressions (неопр.) // Theory and Practice of Logic Programming. — 2005. — January (т. 5, № 1—2). — С. 45—74. — doi:10.1017/S1471068403001923. as Postscript Архивная копия от 22 сентября 2017 на Wayback Machine
  • Niemelä, I.; Simons, P.; Soinenen, T. Stable model semantics of weight constraint rules // Logic Programming and Nonmonotonic Reasoning: 5th International Conference, LPNMR '99, El Paso, Texas, USA, December 2–4, 1999 Proceedings (англ.) / Gelfond, Michael; Leone, Nicole; Pfeifer, Gerald. — Springer, 2000. — Vol. 1730. — P. 317—331. — (Lecture notes in computer science: Lecture notes in artificial intelligence). — ISBN 978-3-540-66749-0. as Postscript Архивная копия от 15 октября 2008 на Wayback Machine
  • ASPeRiX. Дата обращения: 6 апреля 2018. Архивировано 8 ноября 2016 года.
  • >ASSAT: Answer Set by SAT solvers
  • clasp: an ASP solver. Дата обращения: 6 апреля 2018. Архивировано 16 ноября 2018 года.
  • CMODELS — Answer Set programming System. Дата обращения: 6 апреля 2018. Архивировано 2 декабря 2005 года.
  • DLV System company page. DLVSYSTEM s.r.l.. Дата обращения: 16 ноября 2011. Архивировано 2 января 2012 года.
  • dlv-complex — dlv-complex. Дата обращения: 6 апреля 2018. Архивировано 1 июля 2017 года.
  • TCS — Software — lpeq. Дата обращения: 6 апреля 2018. Архивировано 25 декабря 2017 года.
  • nomore: a Solver for Logic Programs. Дата обращения: 6 апреля 2018. Архивировано 4 февраля 2019 года.
  • platypus: a Platform for Distributed Answer Set Programming. Дата обращения: 6 апреля 2018. Архивировано 8 апреля 2018 года.
  • Источник. Дата обращения: 6 апреля 2018. Архивировано 7 марта 2017 года.
  • Computing the Stable Model Semantics. Дата обращения: 6 апреля 2018. Архивировано 24 марта 2018 года.
  • Smodels_cc. Дата обращения: 6 апреля 2018. Архивировано 15 ноября 2015 года.
  • SUP - Answer Set programming System. Дата обращения: 6 апреля 2018. Архивировано 30 марта 2018 года.