Jacques Calmet

Publication Activity (10 Years)

Years Active: 1974-2017
Publications (10 Years): 1

Top Topics

Computer Algebra

Theorem Proving

Propositional Knowledge Base

Top Venues

Ann. Math. Artif. Intell.

Int. J. Decis. Support Syst. Technol.

Int. J. Comput. Sci. Appl.

Publications

Jacques Calmet
Preface for the special issue devoted to AISC 2014. Ann. Math. Artif. Intell. 80 (1) (2017)
Jacques Calmet, Pierre Maret
Toward a trust model for knowledge-based communities. WIMS (2013)
Jacques Calmet
Foreword on the relationship of computer algebra with mathematics and physics - Special issue on applications of computer algebra. Ann. Math. Artif. Intell. 64 (4) (2012)
Jacques Calmet
Preface - Special issue on applications of computer algebra. Ann. Math. Artif. Intell. 64 (4) (2012)
Jacques Calmet, Marvin Oliver Schneider
Decision Making Modeled as a Theorem Proving Process. Int. J. Decis. Support Syst. Technol. 4 (3) (2012)
Jacques Calmet, Marvin Oliver Schneider
Logical Fibering and Knowledge Bases. Int. J. Comput. Sci. Appl. 9 (2) (2012)
Jacques Calmet, John A. Campbell
A Revisited Perspective on Symbolic Mathematical Computing and Artificial Intelligence. AISC/MKM/Calculemus (2010)
Jacques Calmet, Pierre Maret, Marvin Schneider
Mechanized Cultural Reasoning as a Tool to Assess Trust in Virtual Enterprises. Int. J. Comput. Sci. Appl. 7 (2) (2010)
Jacques Calmet, François Ollivier
Editors' foreword. Appl. Algebra Eng. Commun. Comput. 20 (1) (2009)
Jacques Calmet, Pierre Maret
Editorial Int. J. Comput. Sci. Appl. 6 (2) (2009)
Jacques Calmet, Pierre Maret
Agent-Based Knowledge Communities. Int. J. Comput. Sci. Appl. 6 (2) (2009)
Jacques Calmet, Volker Sorge
Preface. Ann. Math. Artif. Intell. 56 (1) (2009)
Jacques Calmet
Abstraction-Based Information Technology: A Framework for Open Mechanized Reasoning. Calculemus/MKM (2009)
Julien Subercaze, Pierre Maret, Jacques Calmet, Pravin Pawar
A Service Oriented Framework for Mobile Business Virtual Communities. Virtual Enterprises and Collaborative Networks (2008)
Jacques Calmet, Willi Geiselmann
In memoriam Thomas Beth. Appl. Algebra Eng. Commun. Comput. 19 (3) (2008)
Dong Huang, Yi Yang, Jacques Calmet
ModelingWeb Services Policy with Corporate Knowledge. ICEBE (2006)
Dong Huang, Yi Yang, Jacques Calmet
A Knowledge-based Security Policy Framework for Business Process Management. CIMCA/IAWTIC (2006)
Yi Yang, Jacques Calmet
From the OntoBayes Model to a Service Oriented Decision Support System. CIMCA/IAWTIC (2006)
Moritz Minzlaff, Jacques Calmet
A New Definition for Passivity and Its Relation to Coherence. AISC (2006)
Yi Yang, Jacques Calmet
OntoBayes Approach to Corporate Knowledge. ISMIS (2006)
Yi Yang, Jacques Calmet
OntoBayes: An Ontology-Driven Uncertainty Model. CIMCA/IAWTIC (2005)
Pierre Maret, Jacques Calmet
Corporate Knowledge in Cyberworlds. IEICE Trans. Inf. Syst. (5) (2005)
Marvin Oliver Schneider, Jacques Calmet
Fibered Guard - A Hybrid Intelligent Approach to Denial of Service Prevention. CIMCA/IAWTIC (2005)
Regine Endsuleit, Jacques Calmet
Introducing Robust and Private Computation into Grid Technology. WETICE (2004)
Pierre Maret, Mark Hammond, Jacques Calmet
Virtual Knowledge Communities for Corporate Knowledge Issues. ESAW (2004)
Pierre Maret, Jacques Calmet
Modeling Corporate Knowledge within the Agent Oriented Abstraction. CW (2004)
Charlotte Kämpf, Jürgen Ihringer, Anusch Daemi, Jacques Calmet
Agent-Based Expert Information Retrieval for Flood-Risk Management. EnviroInfo (2003)
Jacques Calmet, Anusch Daemi, Regine Endsuleit, Thilo Mie
A Liberal Approach to Openness in Societies of Agents.. ESAW (2003)
Jacques Calmet, Peter Kullmann, Morio Taneda
Composite Distributive Lattices as Annotation Domains for Mediators. Ann. Math. Artif. Intell. 36 (3) (2002)
Zoltán Ádám Mann, Jacques Calmet, Peter Kullmann
Testing Access to External Information Sources in a Mediator Environment. TestCom (2002)
Jacques Calmet, Peter Kullmann, Morio Taneda
Composite Distributive Lattices as Annotation Domains for Mediators. AISC (2000)
Piergiorgio Bertoli, Jacques Calmet, Fausto Giunchiglia, Karsten Homann
Specification and Integration of Theorem Provers and Computer Algebra Systems. Fundam. Informaticae 39 (1-2) (1999)
Jacques Calmet, Peter Kullmann
Meta Web Search with KOMET. Intelligent Information Integration (1999)
Jacques Calmet, Peter Kullmann
A Data Structure for Subsumption-Based Tabling in Top-Drown Resolution Engines for Data-Intensive Logic Applications. ISMIS (1999)
Piergiorgio Bertoli, Jacques Calmet, Fausto Giunchiglia, Karsten Homann
Specification and Integration of Theorem Provers and Computer Algebra Systems. AISC (1998)
Jacques Calmet, Sebastian Jekutsch, Joachim Schü
A Generic Query-Translation Framework for a Mediator Architecture. ICDE (1997)
Jacques Calmet, Karsten Homann
Towards the Mathematics Software Bus. Theor. Comput. Sci. 187 (1-2) (1997)
Jacques Calmet, John A. Campbell
A Perspective on Symbolic Mathematical Computing and Artificial Intelligence. Ann. Math. Artif. Intell. 19 (3-4) (1997)
Jacques Calmet, Sebastian Jekutsch, Peter Kullmann, Joachim Schü
KOMET - A System for the Integration of Heterogeneous Information Sources. ISMIS (1997)
Jacques Calmet, James J. Lu, Maria Rodriguez, Joachim Schü
Signed Formula Logic Programming: Operational Semantics and Applications (Extended Abstract). ISMIS (1996)
Jacques Calmet, Karsten Homann
Classification of Communication and Cooperation Mechanisms for Logical and Symbolic Computation Systems. FroCoS (1996)
Jacques Calmet, Dirk Debertin, Sebastian Jekutsch, Joachim Schü
An Executable Graphical Representation of Mediatory Information Systems. ICDE (1996)
Karsten Homann, Jacques Calmet
Structures for Symbolic Mathematical Reasoning and Computation. DISCO (1996)
Clemens Ballarin, Karsten Homann, Jacques Calmet
Theorems and Algorithms: An Interface between Isabelle and Maple. ISSAC (1995)
Jacques Calmet, Indra A. Tjandra
Building Bridges Between Knowledge Representation and Algebraic Specification. ISMIS (1994)
Karsten Homann, Jacques Calmet
Combining Theorem Proving and Symbolic Mathematical Computing. AISMC (1994)
Jacques Calmet, Indra A. Tjandra
A Unified-Algebra-Based Specification Language for Symbolic Computing. DISCO (1993)
Jacques Calmet, Karsten Homann, Indra A. Tjandra
Unified Domains and Abstract Computational Structures. AISMC (1992)
Jacques Calmet, John A. Campbell
Artificial Intelligence and Symbolic Mathematical Computation. AISMC (1992)
Jacques Calmet, Indra A. Tjandra
Representation of Mathematical Knowledge. ISMIS (1991)
Jacques Calmet, Indra A. Tjandra, Guilherme Bittencourt
MANTRA: a shell for hybrid knowledge representation. ICTAI (1991)
Felix Ulmer, Jacques Calmet
On Liouvillian Solutions of Homogeneous Linear Differential Equations. ISSAC (1990)
Jacques Calmet
Intelligent Computer Algebra System: Myth, Fancy or Reality? Trends in Computer Algebra (1987)
Jacques Calmet, Denis Lugiez
A knowledge-based system for computer algebra. SIGSAM Bull. 21 (1) (1987)
Jacques Calmet
Towards an Expert System for Error-Correcting Codes: SECC. AAECC (1987)
Jacques Calmet, Hubert Comon, Denis Lugiez
Type Inference Using Unification in Computer Algebra. AAECC (1986)
Jacques Calmet
Introducing computer algebra to users and to students. ACM Commun. Comput. Algebra (4-1) (1985)
Jacques Calmet
Algebraic algorithms in GF(q). Discret. Math. 56 (2-3) (1985)
Jacques Calmet, Marc Bergman
Some design principles for a mathematical knowledge representation system: a new approach to scientific calculation. AAECC (1984)
Jacques Calmet
Manipulation of recurrence relations in computer algebra. AAECC (1984)
Jacques Calmet, Robert-Michel di Scala
Pascal as host language of computer algebra systems. ACM SIGPLAN Notices 18 (7) (1983)
Jacques Calmet, Ian Cohen
Synthesizing recurrence relations I: analysis of the problems. SIGSAM Bull. 17 (2) (1983)
Jacques Calmet, Rüdiger Loos
Deterministic Versus Probabilistic Factorization of Integral Polynomials. EUROCAM (1982)
Jacques Calmet, Rüdiger Loos
An Improvement of Rabin's Probabilistic Algorithm for Generating Irreducible Polynomials over GF(p). Inf. Process. Lett. 11 (2) (1980)
Jacques Calmet
Computer recognition of divergences in Feynman diagrams. SIGSAM Bull. 8 (3) (1974)