External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Tags

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

dlvhex: A Prover for Semantic-Web Reasoning under the Answer-Set Semantics

Thomas Eiter, Giovambattista Ianni, Roman Schindlauer, Hans Tompits. dlvhex: A Prover for Semantic-Web Reasoning under the Answer-Set Semantics. In 2006 IEEE / WIC / ACM International Conference on Web Intelligence (WI 2006), 18-22 December 2006, Hong Kong, China. pages 1073-1074, IEEE Computer Society, 2006. [doi]

Authors

Thomas Eiter

This author has not been identified. Look up 'Thomas Eiter' in Google

Giovambattista Ianni

This author has not been identified. Look up 'Giovambattista Ianni' in Google

Roman Schindlauer

This author has not been identified. Look up 'Roman Schindlauer' in Google

Hans Tompits

This author has not been identified. Look up 'Hans Tompits' in Google
runs on