article · Artificial Intelligence · 2002

Extending and implementing the stable model semantics

Patrik Simons, Ilkka Niemelä, Timo Soininen

Cited by 843Abstract and details only

Abstract

The index has no abstract for this paper. The publisher’s page may have one.

Cite this paper

Simons, P., Niemelä, I., & Soininen, T. (2002). Extending and implementing the stable model semantics. Artificial Intelligence, 138(1-2), 181–234. https://doi.org/10.1016/s0004-3702(02)00187-x

MLA 9

Simons, Patrik, et al. “Extending and implementing the stable model semantics.” Artificial Intelligence, vol. 138, no. 1-2, 2002, pp. 181–234, https://doi.org/10.1016/s0004-3702(02)00187-x.

Chicago

Simons, Patrik, Ilkka Niemelä, and Timo Soininen. 2002. “Extending and implementing the stable model semantics.” Artificial Intelligence 138 (1-2): 181–234. https://doi.org/10.1016/s0004-3702(02)00187-x.

Harvard

Simons, P., Niemelä, I. and Soininen, T. (2002) ‘Extending and implementing the stable model semantics’, Artificial Intelligence, 138(1-2), pp. 181–234. Available at: https://doi.org/10.1016/s0004-3702(02)00187-x.

BibTeX

@article{simons2002extending,
  title = {{Extending and implementing the stable model semantics}},
  author = {Simons, Patrik and Niemelä, Ilkka and Soininen, Timo},
  journal = {Artificial Intelligence},
  volume = {138},
  number = {1-2},
  pages = {181--234},
  year = {2002},
  doi = {10.1016/s0004-3702(02)00187-x}
}

Made from the index record. Check names, capitalisation and page numbers against the paper. Need another style? AI for Research has over 10,000.