Answer set programming (French Wikipedia)

Analysis of information sources in references of the Wikipedia article "Answer set programming" in French language version.

refsWebsite
Global rank French rank
2nd place
3rd place
3rd place
11th place
69th place
232nd place
6,762nd place
low place
1,185th place
1,318th place
5th place
13th place
low place
low place

acm.org

dl.acm.org

  • (en) Thomas Eiter et Georg Gottlob, « Complexity Results for Disjunctive Logic Programming and Application to Nonmonotonic Logics », Proceedings of the 1993 International Symposium on Logic Programming, MIT Press, iLPS '93,‎ , p. 266–278 (ISBN 9780262631525, lire en ligne, consulté le ) :

    « Th. 3.2 et 3.5 »

arxiv.org

  • Claire Lefèvre, Christopher Béatrix, Igor Stéphan et Laurent Garcia, « ASPeRiX, a First Order Forward Chaining Approach for Answer Set Computing », arXiv:1503.07717 [cs],‎ (DOI 10.48550/arxiv.1503.07717, lire en ligne, consulté le )

books.google.com

dlvsystem.com

doi.org

dx.doi.org

  • Claire Lefèvre, Christopher Béatrix, Igor Stéphan et Laurent Garcia, « ASPeRiX, a First Order Forward Chaining Approach for Answer Set Computing », arXiv:1503.07717 [cs],‎ (DOI 10.48550/arxiv.1503.07717, lire en ligne, consulté le )
  • Tommi Syrjänen et Ilkka Niemelä, « The Smodels System », dans Logic Programming and Nonmotonic Reasoning, Springer Berlin Heidelberg, (ISBN 9783540425939, lire en ligne), p. 434–438

ttu.edu

depts.ttu.edu

worldcat.org

  • (de) Arend Heyting, Die formalen Regeln der intuitionistischen Logik, (lire en ligne).