Institut für Algorithmen und Kognitive Systeme (IAKS)
Forschungsgruppe Prof. Calmet
Selected publications
2009
Jacques Calmet, On the Quantification of
Culture , abstract
of invited talk at "Mutiagent Systems, Robotics and Cybernetics: Theory and Practice", InterSymp 2009, Baden-Baden, August 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
Intelligent Computer Mathematics . Eds. J. Carette et al., Springer LNCS 5625.
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, 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.