@inproceedings{DBLP:conf/iccs/CaoC98,
author = {Tru H. Cao and
Peter N. Creasy},
title = {Fuzzy Order-Sorted Logic Programming in Conceptual Graphs
with a Sound and Complete Proof Procedure},
booktitle = {ICCS},
year = {1998},
pages = {270-286},
ee = {http://dx.doi.org/10.1007/BFb0054920},
crossref = {DBLP:conf/iccs/1998},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/iccs/1998,
editor = {Marie-Laure Mugnier and
Michel Chein},
title = {Conceptual Structures: Theory, Tools and Applications, 6th
International Conference on Conceptual Structures, ICCS
'98, Montpellier, France, August 10-12, 1998, Proceedings},
booktitle = {ICCS},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {1453},
year = {1998},
isbn = {3-540-64791-0},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Last update 2009-06-09 CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
