Talks and Poster Presentations (with Proceedings-Entry):
G. Xiao, Z. Lin, Y. Ma, G. Qi:
"Computing Inconsistency Measurements under Multi-Valued Semantics by Partial Max-SAT Solvers";
Talk: Principles of Knowledge Representation and Reasoning (KR),
Toronto, Canada;
2010-05-09
- 2010-05-13; in: "Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, KR 2010",
F. Lin, U. Sattler, M. Truszczynski (ed.);
AAAI Press,
(2010),
ISBN: 978-1-57735-452-9;
340
- 349.
Electronic version of the publication:
http://publik.tuwien.ac.at/files/PubDat_190356.pdf
Related Projects:
Project Head Thomas Eiter:
ONOTRULE - ONTOlogies meet business RULEs
Created from the Publication Database of the Vienna University of Technology.