article · 2009

H.: A RuleML Syntax for Answer-Set Programming

Thomas Eiter, Giovambattista Ianni, Roman Schindlauer, Hans Tompits

Cited by 0Abstract and details only

Abstract

The need for sharing knowledge on the Web—and in particular rules in a standardized format—is an important issue. RuleML [1] has been the most prominent effort in this direction so far. Nonetheless, it turns out that none of the variants available is suitable for expressing nonmonotonic logic programs as used in the answer-set programming (ASP)

Cite this paper

APA 7

Eiter, T., Ianni, G., Schindlauer, R., & Tompits, H. (2009). H.: A RuleML Syntax for Answer-Set Programming.

MLA 9

Eiter, Thomas, et al. “H.: A RuleML Syntax for Answer-Set Programming.” 2009.

Chicago

Eiter, Thomas, Giovambattista Ianni, Roman Schindlauer, and Hans Tompits. 2009. “H.: A RuleML Syntax for Answer-Set Programming.”

Harvard

Eiter, T. et al. (2009) ‘H.: A RuleML Syntax for Answer-Set Programming’.

BibTeX

@article{eiter2009ruleml,
  title = {{H.: A RuleML Syntax for Answer-Set Programming}},
  author = {Eiter, Thomas and Ianni, Giovambattista and Schindlauer, Roman and Tompits, Hans},
  year = {2009}
}

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