Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag):
G. Xiao, Z. Lin, Y. Ma, G. Qi:
"Computing Inconsistency Measurements under Multi-Valued Semantics by Partial Max-SAT Solvers";
Vortrag: Principles of Knowledge Representation and Reasoning (KR),
Toronto, Canada;
09.05.2010
- 13.05.2010; in: "Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, KR 2010",
F. Lin, U. Sattler, M. Truszczynski (Hrg.);
AAAI Press,
(2010),
ISBN: 978-1-57735-452-9;
S. 340
- 349.
Elektronische Version der Publikation:
http://publik.tuwien.ac.at/files/PubDat_190356.pdf
Zugeordnete Projekte:
Projektleitung Thomas Eiter:
ONOTRULE - ONTOlogies meet business RULEs
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.