External Links

Cite Key

Statistics

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

PDF

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.

Verification of Inconsistency-Aware Knowledge and Action Bases

Diego Calvanese, Evgeny Kharlamov, Marco Montali, Ario Santoso, Dmitriy Zheleznyakov. Verification of Inconsistency-Aware Knowledge and Action Bases. In Thomas Eiter, Birte Glimm, Yevgeny Kazakov, Markus Krötzsch, editors, Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23 - 26, 2013. Volume 1014 of CEUR Workshop Proceedings, pages 107-119, CEUR-WS.org, 2013. [doi]

Authors

Diego Calvanese

This author has not been identified. Look up 'Diego Calvanese' in Google

Evgeny Kharlamov

This author has not been identified. Look up 'Evgeny Kharlamov' in Google

Marco Montali

This author has not been identified. Look up 'Marco Montali' in Google

Ario Santoso

This author has not been identified. Look up 'Ario Santoso' in Google

Dmitriy Zheleznyakov

This author has not been identified. Look up 'Dmitriy Zheleznyakov' in Google
runs on