Institut für Algorithmen und Kognitive Systeme (IAKS)
Publikationen
2009
P. Maret and J. Calmet
Agent-based knowledge
communities,
International Journal of Computer Science and Applications,
Vol. 6, No. 2, pp 1-18, 2009.
J. Calmet and P. Maret, guest editors
Preface , Special issue of IJCSA, Vol. 6, No. 2, 2009
J. Calmet and F. Ollivier, guest editors. Preface
Special issue "Jacobi's Legacy", AAECC Vol. 20 No. 1,
pages 1-4, 2009.
J. Calmet and V. Sorge, guest editors Preface
Special Issue "Artificial Intelligence and Symbolic
Computation", AMAI. To appear,2009.
J. Calmet
A Framework for Open Mechanized
Reasoning.
Invited talk at Calculemus 2009. In Conference on Intel
ligent Computer Mathematics . Eds. J. Carette et al., Springer LNCS 5625.
J. Calmet, P. Maret and M. Schneider
Cultural Differences as a Tool to Assess Trust in Virtual
Enterprises.
Draft, 2009.
P. Maret, J. Subercaze, J. Calmet, P. Pawar:
A Service Oriented Framework for Mobile Business Virtual
Communities,
Proceedings of PRO-VE'08, 9th IFIP Working Conference on Virtual
Enterprises and Collaborative Networks, L. M. Camarinha-Matos and W. Picard
Eds. pp. 493-500, Springer‚ 2008.
J. Calmet and W. Geiselmann, Guest editors, Special
issue "In Memoriam Thomas Beth", AAECC, Vol. 19 No. 3, 2008.
J. Calmet, W. Geiselmann and J. Müller-Quade eds.,
Mathematical Methods in Computer Science- Essays in Memory of Thomas Beth.
LNCS 5393, Springer 2008
J. Calmet, W. Geiselmann and J. Müller-Quade, "Preface",
Essays in Memory Thomas Beth, LNCS 5393, pp. vi-viii, 2008
J. Calmet
A Framework for Open Mechanized
Reasoning ,
Accepted for presentation at the workshop on Game
Theory, Agents and Law. Jurix Conference. December 2008. Florence, Italy.
J. Calmet, W. Geiselmann, J. Müller-Quade (Eds.),
Mathematical Methods in Computer Science.
LNCS 5393, Springer, 2008.
A.Daemi, J. Calmet: From Ontologies to Trust through Entropy,
Proceedings of the International Conference on Advances in Intelligent Systems - Theory
and Applications, Luxembourg, November, 2004.
A.Daemi , J. Calmet:
Assessing Conflicts in Ontologies,
WSEAS Transactions on Information Science and Applications, vol. 5(1), pp. 1289 - 1294, 2004.
J. Calmet, P. Maret, R. Endsuleit:
Agent-Oriented Abstraction,RACSAM (Revista �Real �Academia de Ciencias, Serie "A" de Matem�ticas) �Vol. 98 (1), 2004.
J. Calmet, A. Daemi: From entropy to ontology,
AT2AI-4 - Fourth International Symposium "From Agent Theory to Agent Implementation"
at the 17th European Meeting on Cybernetics and Systems Research (EMCSR), Vienna, April 2004.