An Algorithmic Study of Deduction in Simple Conceptual Graphs
with Classical Negation
M. Leclère, und M. Mugnier. Proceedings of the 16th International Conference on Conceptual Structures (ICCS 2008), Volume 5113 von Lecture Notes in Computer Science, Seite 119-132. Springer, (2008)
Bitte melden Sie sich an um selbst Rezensionen oder Kommentare zu erstellen.
Zitieren Sie diese Publikation
Mehr Zitationsstile
- bitte auswählen -
%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
}