Jacques Calmet

According to our database, Jacques Calmet authored at least 63 papers between 1974 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

Preface for the special issue devoted to AISC 2014.

Jacques Calmet

Ann. Math. Artif. Intell., 2017

2013

Toward a trust model for knowledge-based communities.

Jacques Calmet, Pierre Maret

Proceedings of the 3rd International Conference on Web Intelligence, Mining and Semantics, 2013

2012

Decision Making Modeled as a Theorem Proving Process.

Jacques Calmet, Marvin Oliver Schneider

Int. J. Decis. Support Syst. Technol., 2012

Logical Fibering and Knowledge Bases.

Jacques Calmet, Marvin Oliver Schneider

Int. J. Comput. Sci. Appl., 2012

Foreword on the relationship of computer algebra with mathematics and physics - Special issue on applications of computer algebra.

Jacques Calmet

Ann. Math. Artif. Intell., 2012

Preface - Special issue on applications of computer algebra.

Jacques Calmet

Ann. Math. Artif. Intell., 2012

2010

Mechanized Cultural Reasoning as a Tool to Assess Trust in Virtual Enterprises.

Jacques Calmet, Pierre Maret, Marvin Schneider

Int. J. Comput. Sci. Appl., 2010

A Revisited Perspective on Symbolic Mathematical Computing and Artificial Intelligence.

Jacques Calmet, John A. Campbell

Proceedings of the Intelligent Computer Mathematics, 10th International Conference, 2010

2009

Agent-Based Knowledge Communities.

Jacques Calmet, Pierre Maret

Int. J. Comput. Sci. Appl., 2009

Editorial

Jacques Calmet, Pierre Maret

Int. J. Comput. Sci. Appl., 2009

Preface.

Jacques Calmet, Volker Sorge

Ann. Math. Artif. Intell., 2009

Editors' foreword.

Jacques Calmet, François Ollivier

Appl. Algebra Eng. Commun. Comput., 2009

Abstraction-Based Information Technology: A Framework for Open Mechanized Reasoning.

Jacques Calmet

Proceedings of the Intelligent Computer Mathematics, 2009

2008

In memoriam Thomas Beth.

Jacques Calmet, Willi Geiselmann

Appl. Algebra Eng. Commun. Comput., 2008

A Service Oriented Framework for Mobile Business Virtual Communities.

Julien Subercaze, Pierre Maret, Jacques Calmet, Pravin Pawar

Proceedings of the Pervasive Collaborative Networks, 2008

2006

OntoBayes Approach to Corporate Knowledge.

Yi Yang, Jacques Calmet

Proceedings of the Foundations of Intelligent Systems, 16th International Symposium, 2006

ModelingWeb Services Policy with Corporate Knowledge.

Dong Huang, Yi Yang, Jacques Calmet

Proceedings of the 2006 IEEE International Conference on e-Business Engineering (ICEBE 2006), 2006

From the OntoBayes Model to a Service Oriented Decision Support System.

Yi Yang, Jacques Calmet

Proceedings of the 2006 International Conference on Computational Intelligence for Modelling Control and Automation (CIMCA 2006), International Conference on Intelligent Agents, Web Technologies and Internet Commerce (IAWTIC 2006), 29 November, 2006

A Knowledge-based Security Policy Framework for Business Process Management.

Dong Huang, Yi Yang, Jacques Calmet

Proceedings of the 2006 International Conference on Computational Intelligence for Modelling Control and Automation (CIMCA 2006), International Conference on Intelligent Agents, Web Technologies and Internet Commerce (IAWTIC 2006), 29 November, 2006

A New Definition for Passivity and Its Relation to Coherence.

Moritz Minzlaff, Jacques Calmet

Proceedings of the Artificial Intelligence and Symbolic Computation, 2006

2005

Corporate Knowledge in Cyberworlds.

Pierre Maret, Jacques Calmet

IEICE Trans. Inf. Syst., 2005

OntoBayes: An Ontology-Driven Uncertainty Model.

Yi Yang, Jacques Calmet

Proceedings of the 2005 International Conference on Computational Intelligence for Modelling Control and Automation (CIMCA 2005), 2005

Fibered Guard - A Hybrid Intelligent Approach to Denial of Service Prevention.

Marvin Oliver Schneider, Jacques Calmet

Proceedings of the 2005 International Conference on Computational Intelligence for Modelling Control and Automation (CIMCA 2005), 2005

2004

Introducing Robust and Private Computation into Grid Technology.

Regine Endsuleit, Jacques Calmet

Proceedings of the 13th IEEE International Workshops on Enabling Technologies (WETICE 2004), 2004

Virtual Knowledge Communities for Corporate Knowledge Issues.

Pierre Maret, Mark Hammond, Jacques Calmet

Proceedings of the Engineering Societies in the Agents World V, 5th InternationalWorkshop, 2004

Modeling Corporate Knowledge within the Agent Oriented Abstraction.

Pierre Maret, Jacques Calmet

Proceedings of the 3rd International Conference on Cyberworlds (CW 2004), 2004

2003

A Liberal Approach to Openness in Societies of Agents..

Jacques Calmet, Anusch Daemi-Ahwazi, Regine Endsuleit, Thilo Mie

Proceedings of the Engineering Societies in the Agents World IV, 2003

Agent-Based Expert Information Retrieval for Flood-Risk Management.

Charlotte Kämpf, Jürgen Ihringer, Anusch Daemi-Ahwazi, Jacques Calmet

Proceedings of the 17th International Conference Informatics for Environmental Protection, 2003

2002

Composite Distributive Lattices as Annotation Domains for Mediators.

Jacques Calmet, Peter Kullmann, Morio Taneda

Ann. Math. Artif. Intell., 2002

Testing Access to External Information Sources in a Mediator Environment.

Zoltán Ádám Mann, Jacques Calmet, Peter Kullmann

Proceedings of the Testing of Communicating Systems XIV, Applications to Internet Technologies and Services, Proceedings of the IFIP 14th International Conference on Testing Communicating Systems, 2002

1999

Specification and Integration of Theorem Provers and Computer Algebra Systems.

Piergiorgio Bertoli, Jacques Calmet, Fausto Giunchiglia, Karsten Homann

Fundam. Informaticae, 1999

A Data Structure for Subsumption-Based Tabling in Top-Drown Resolution Engines for Data-Intensive Logic Applications.

Jacques Calmet, Peter Kullmann

Proceedings of the Foundations of Intelligent Systems, 11th International Symposium, 1999

Meta Web Search with KOMET.

Jacques Calmet, Peter Kullmann

Proceedings of the IJCAI-99 Workshop on Intelligent Information Integration, 1999

1997

Towards the Mathematics Software Bus.

Jacques Calmet, Karsten Homann

Theor. Comput. Sci., 1997

A Perspective on Symbolic Mathematical Computing and Artificial Intelligence.

Jacques Calmet, John A. Campbell

Ann. Math. Artif. Intell., 1997

KOMET - A System for the Integration of Heterogeneous Information Sources.

Jacques Calmet, Sebastian Jekutsch, Peter Kullmann, Joachim Schü

Proceedings of the Foundations of Intelligent Systems, 10th International Symposium, 1997

A Generic Query-Translation Framework for a Mediator Architecture.

Jacques Calmet, Sebastian Jekutsch, Joachim Schü

Proceedings of the Thirteenth International Conference on Data Engineering, 1997

1996

Signed Formula Logic Programming: Operational Semantics and Applications (Extended Abstract).

Jacques Calmet, James J. Lu, Maria Rodriguez, Joachim Schü

Proceedings of the Foundations of Intelligent Systems, 9th International Symposium, 1996

An Executable Graphical Representation of Mediatory Information Systems.

Jacques Calmet, Dirk Debertin, Sebastian Jekutsch, Joachim Schü

Proceedings of the Twelfth International Conference on Data Engineering, February 26, 1996

Classification of Communication and Cooperation Mechanisms for Logical and Symbolic Computation Systems.

Jacques Calmet, Karsten Homann

Proceedings of the Frontiers of Combining Systems, 1996

Structures for Symbolic Mathematical Reasoning and Computation.

Karsten Homann, Jacques Calmet

Proceedings of the Design and Implementation of Symbolic Computation Systems, 1996

1995

Theorems and Algorithms: An Interface between Isabelle and Maple.

Clemens Ballarin, Karsten Homann, Jacques Calmet

Proceedings of the 1995 International Symposium on Symbolic and Algebraic Computation, 1995

1994

Building Bridges Between Knowledge Representation and Algebraic Specification.

Jacques Calmet, Indra A. Tjandra

Proceedings of the Methodologies for Intelligent Systems, 8th International Symposium, 1994

Combining Theorem Proving and Symbolic Mathematical Computing.

Karsten Homann, Jacques Calmet

Proceedings of the Integrating Symbolic Mathematical Computation and Artificial Intelligence, 1994

1993

A Unified-Algebra-Based Specification Language for Symbolic Computing.

Jacques Calmet, Indra A. Tjandra

Proceedings of the Design and Implementation of Symbolic Computation Systems, 1993

1992

Unified Domains and Abstract Computational Structures.

Jacques Calmet, Karsten Homann, Indra A. Tjandra

Proceedings of the Artificial Intelligence and Symbolic Mathematical Computation, 1992

Artificial Intelligence and Symbolic Mathematical Computation.

Jacques Calmet, John A. Campbell

Proceedings of the Artificial Intelligence and Symbolic Mathematical Computation, 1992

1991

Representation of Mathematical Knowledge.

Jacques Calmet, Indra A. Tjandra

Proceedings of the Methodologies for Intelligent Systems, 6th International Symposium, 1991

MANTRA: a shell for hybrid knowledge representation.

Jacques Calmet, Indra A. Tjandra, Guilherme Bittencourt

Proceedings of the Third International Conference on Tools for Artificial Intelligence, 1991

1990

On Liouvillian Solutions of Homogeneous Linear Differential Equations.

Felix Ulmer, Jacques Calmet

Proceedings of the International Symposium on Symbolic and Algebraic Computation, 1990

1987

A knowledge-based system for computer algebra.

Jacques Calmet, Denis Lugiez

SIGSAM Bull., 1987

Intelligent Computer Algebra System: Myth, Fancy or Reality?

Jacques Calmet

Proceedings of the Trends in Computer Algebra, 1987

Towards an Expert System for Error-Correcting Codes: SECC.

Jacques Calmet

Proceedings of the Applied Algebra, 1987

1986

Type Inference Using Unification in Computer Algebra.

Jacques Calmet, Hubert Comon, Denis Lugiez

Proceedings of the Applied Algebra, 1986

1985

Algebraic algorithms in GF(q).

Jacques Calmet

Discret. Math., 1985

Introducing computer algebra to users and to students.

Jacques Calmet

ACM Commun. Comput. Algebra, 1985

1984

Some design principles for a mathematical knowledge representation system: a new approach to scientific calculation.

Jacques Calmet, Marc Bergman

Proceedings of the Applied Algebra, 1984

Manipulation of recurrence relations in computer algebra.

Jacques Calmet

Proceedings of the Applied Algebra, 1984

1983

Pascal as host language of computer algebra systems.

Jacques Calmet, Robert-Michel di Scala

ACM SIGPLAN Notices, 1983

Synthesizing recurrence relations I: analysis of the problems.

Jacques Calmet, Ian Cohen

SIGSAM Bull., 1983

1982

Deterministic Versus Probabilistic Factorization of Integral Polynomials.

Jacques Calmet, Rüdiger Loos

Proceedings of the Computer Algebra, 1982

1980

An Improvement of Rabin's Probabilistic Algorithm for Generating Irreducible Polynomials over GF(p).

Jacques Calmet, Rüdiger Loos

Inf. Process. Lett., 1980

1974

Computer recognition of divergences in Feynman diagrams.

Jacques Calmet

SIGSAM Bull., 1974