An Algorithmic Study of Deduction in Simple Conceptual Graphs
with Classical Negation
M. Leclère, and M. Mugnier. Proceedings of the 16th International Conference on Conceptual Structures (ICCS 2008), volume 5113 of Lecture Notes in Computer Science, page 119-132. Springer, (2008)
Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%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
}