The KR conference series is the leading forum for timely in-depth presentation of progress in the theory and principles underlying the representation and computational management of knowledge. The 2014 edition was as part of the Vienna Summer of Logic together with the Federated Conference on Logic, Logic Colloquium and other related events. The Vienna Summer of Logic has been the largest convention in the history of logic.
KR 2014 - 14th International Conference on Principles of Knowledge Representation and Reasoning Vienna, Austria. July 20-24, 2014 / DE GIACOMO, Giuseppe. - (2014). (Intervento presentato al convegno KR 2014 - 14th International Conference on Principles of Knowledge Representation and Reasoning tenutosi a Vienna, Austria nel July 20-24, 2014).
KR 2014 - 14th International Conference on Principles of Knowledge Representation and Reasoning Vienna, Austria. July 20-24, 2014.
DE GIACOMO, Giuseppe
2014
Abstract
The KR conference series is the leading forum for timely in-depth presentation of progress in the theory and principles underlying the representation and computational management of knowledge. The 2014 edition was as part of the Vienna Summer of Logic together with the Federated Conference on Logic, Logic Colloquium and other related events. The Vienna Summer of Logic has been the largest convention in the history of logic.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.