An Algorithmic Study of Deduction in Simple Conceptual Graphs
with Classical Negation
M. Leclère, и M. Mugnier. Proceedings of the 16th International Conference on Conceptual Structures (ICCS 2008), том 5113 из Lecture Notes in Computer Science, стр. 119-132. Springer, (2008)
Пожалуйста, войдите в систему, чтобы принять участие в дискуссии (добавить собственные рецензию, или комментарий)
Цитировать эту публикацию
%0 Conference Paper
%1 DBLP:conf/iccs/LeclereM08
%A Leclère, Michel
%A Mugnier, Marie-Laure
%B Proceedings of the 16th International Conference on Conceptual Structures (ICCS 2008)
%D 2008
%E Eklund, Peter W.
%E Haemmerlé, Ollivier
%I Springer
%K 2008 cg conceptual deduction graph iccs negation simple
%P 119-132
%T An Algorithmic Study of Deduction in Simple Conceptual Graphs
with Classical Negation
%V 5113
%@ 978-3-540-70595-6
@inproceedings{DBLP:conf/iccs/LeclereM08,
added-at = {2008-08-06T15:25:31.000+0200},
author = {Lecl{\`e}re, Michel and Mugnier, Marie-Laure},
bibsource = {DBLP, http://dblp.uni-trier.de},
biburl = {https://www.bibsonomy.org/bibtex/28603ce421682c70ec7f96b002d81fef4/iccs},
booktitle = {Proceedings of the 16th International Conference on Conceptual Structures (ICCS 2008)},
crossref = {DBLP:conf/iccs/2008},
editor = {Eklund, Peter W. and Haemmerl{\'e}, Ollivier},
ee = {http://dx.doi.org/10.1007/978-3-540-70596-3_8},
interhash = {3b600a9bbcbd9b324a8e7f5c4930dbe7},
intrahash = {8603ce421682c70ec7f96b002d81fef4},
isbn = {978-3-540-70595-6},
keywords = {2008 cg conceptual deduction graph iccs negation simple},
pages = {119-132},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2008-08-07T09:35:33.000+0200},
title = {An Algorithmic Study of Deduction in Simple Conceptual Graphs
with Classical Negation},
volume = 5113,
year = 2008
}