Jacques Calmet

78 papers A* 2B 3C 8Misc 8Journal 23Unranked 26

Year	Rank	Type	Title / Venue / Authors
2018	Misc	`ed.`	Artificial Intelligence and Symbolic Computation - 13th International Conference, AISC 2018, Suzhou, China, September 16-19, 2018, Proceedings AISC Jacques D. Fleuriot, Dongming Wang, Jacques Calmet
2017	J	`jnl`	Preface for the special issue devoted to AISC 2014. Ann. Math. Artif. Intell. Jacques Calmet
2014	Misc	`ed.`	Artificial Intelligence and Symbolic Computation - 12th International Conference, AISC 2014, Seville, Spain, December 11-13, 2014. Proceedings AISC Gonzalo A. Aranda-Corral, Jacques Calmet, Francisco J. Martín-Mateos
2013	—	`conf`	Toward a trust model for knowledge-based communities. WIMS Jacques Calmet, Pierre Maret
2012	J	`jnl`	Decision Making Modeled as a Theorem Proving Process. Int. J. Decis. Support Syst. Technol. Jacques Calmet, Marvin Oliver Schneider
2012	J	`jnl`	Foreword on the relationship of computer algebra with mathematics and physics - Special issue on applications of computer algebra. Ann. Math. Artif. Intell. Jacques Calmet
2012	J	`jnl`	Logical Fibering and Knowledge Bases. Int. J. Comput. Sci. Appl. Jacques Calmet, Marvin Oliver Schneider
2012	J	`jnl`	Preface - Special issue on applications of computer algebra. Ann. Math. Artif. Intell. Jacques Calmet
2010	—	`conf`	A Revisited Perspective on Symbolic Mathematical Computing and Artificial Intelligence. AISC/MKM/Calculemus Jacques Calmet, John A. Campbell
2010	—	`ed.`	Intelligent Computer Mathematics, 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010. Proceedings AISC/MKM/Calculemus Serge Autexier, Jacques Calmet, David Delahaye, Patrick D. F. Ion, Laurence Rideau, Renaud Rioboo, Alan P. Sexton
2010	J	`jnl`	Mechanized Cultural Reasoning as a Tool to Assess Trust in Virtual Enterprises. Int. J. Comput. Sci. Appl. Jacques Calmet, Pierre Maret, Marvin Schneider
2009	—	`conf`	Abstraction-Based Information Technology: A Framework for Open Mechanized Reasoning. Calculemus/MKM Jacques Calmet
2009	J	`jnl`	Agent-Based Knowledge Communities. Int. J. Comput. Sci. Appl. Jacques Calmet, Pierre Maret
2009	J	`jnl`	Editorial Int. J. Comput. Sci. Appl. Jacques Calmet, Pierre Maret
2009	J	`jnl`	Editors' foreword. Appl. Algebra Eng. Commun. Comput. Jacques Calmet, François Ollivier
2009	J	`jnl`	Preface. Ann. Math. Artif. Intell. Jacques Calmet, Volker Sorge
2008	—	`conf`	A Service Oriented Framework for Mobile Business Virtual Communities. Virtual Enterprises and Collaborative Networks Julien Subercaze, Pierre Maret, Jacques Calmet, Pravin Pawar
2008	J	`jnl`	In memoriam Thomas Beth. Appl. Algebra Eng. Commun. Comput. Jacques Calmet, Willi Geiselmann
2008	—	`ed.`	Mathematical Methods in Computer Science, MMICS 2008, Karlsruhe, Germany, December 17-19, 2008 - Essays in Memory of Thomas Beth MMICS Jacques Calmet, Willi Geiselmann, Jörn Müller-Quade
2006	—	`conf`	A Knowledge-based Security Policy Framework for Business Process Management. CIMCA/IAWTIC Dong Huang, Yi Yang, Jacques Calmet
2006	Misc	`conf`	A New Definition for Passivity and Its Relation to Coherence. AISC Moritz Minzlaff, Jacques Calmet
2006	Misc	`ed.`	Artificial Intelligence and Symbolic Computation, 8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006, Proceedings AISC Jacques Calmet, Tetsuo Ida, Dongming Wang
2006	—	`conf`	From the OntoBayes Model to a Service Oriented Decision Support System. CIMCA/IAWTIC Yi Yang, Jacques Calmet
2006	—	`conf`	ModelingWeb Services Policy with Corporate Knowledge. ICEBE Dong Huang, Yi Yang, Jacques Calmet
2006	C	`conf`	OntoBayes Approach to Corporate Knowledge. ISMIS Yi Yang, Jacques Calmet
2005	J	`jnl`	Corporate Knowledge in Cyberworlds. IEICE Trans. Inf. Syst. Pierre Maret, Jacques Calmet
2005	—	`conf`	Fibered Guard - A Hybrid Intelligent Approach to Denial of Service Prevention. CIMCA/IAWTIC Marvin Oliver Schneider, Jacques Calmet
2005	—	`conf`	OntoBayes: An Ontology-Driven Uncertainty Model. CIMCA/IAWTIC Yi Yang, Jacques Calmet
2004	C	`conf`	Introducing Robust and Private Computation into Grid Technology. WETICE Regine Endsuleit, Jacques Calmet
2004	C	`conf`	Modeling Corporate Knowledge within the Agent Oriented Abstraction. CW Pierre Maret, Jacques Calmet
2004	—	`conf`	Virtual Knowledge Communities for Corporate Knowledge Issues. ESAW Pierre Maret, Mark Hammond, Jacques Calmet
2003	—	`conf`	A Liberal Approach to Openness in Societies of Agents.. ESAW Jacques Calmet, Anusch Daemi-Ahwazi, Regine Endsuleit, Thilo Mie
2003	—	`conf`	Agent-Based Expert Information Retrieval for Flood-Risk Management. EnviroInfo Charlotte Kämpf, Jürgen Ihringer, Anusch Daemi-Ahwazi, Jacques Calmet
2002	Misc	`ed.`	Artificial Intelligence, Automated Reasoning, and Symbolic Computation, Joint International Conferences, AISC 2002 and Calculemus 2002, Marseille, France, July 1-5, 2002, Proceedings AISC Jacques Calmet, Belaid Benhamou, Olga Caprotti, Laurent Henocque, Volker Sorge
2002	J	`jnl`	Composite Distributive Lattices as Annotation Domains for Mediators. Ann. Math. Artif. Intell. Jacques Calmet, Peter Kullmann, Morio Taneda
2002	—	`conf`	Testing Access to External Information Sources in a Mediator Environment. TestCom Zoltán Ádám Mann, Jacques Calmet, Peter Kullmann
2000	Misc	`conf`	Composite Distributive Lattices as Annotation Domains for Mediators. AISC Jacques Calmet, Peter Kullmann, Morio Taneda
1999	C	`conf`	A Data Structure for Subsumption-Based Tabling in Top-Drown Resolution Engines for Data-Intensive Logic Applications. ISMIS Jacques Calmet, Peter Kullmann
1999	—	`conf`	Meta Web Search with KOMET. Intelligent Information Integration Jacques Calmet, Peter Kullmann
1999	J	`jnl`	Specification and Integration of Theorem Provers and Computer Algebra Systems. Fundam. Informaticae Piergiorgio Bertoli, Jacques Calmet, Fausto Giunchiglia, Karsten Homann
1998	Misc	`ed.`	Artificial Intelligence and Symbolic Computation, International Conference AISC'98, Plattsburgh, New York, USA, September 16-18, 1998, Proceedings AISC Jacques Calmet, Jan A. Plaza
1998	Misc	`conf`	Specification and Integration of Theorem Provers and Computer Algebra Systems. AISC Piergiorgio Bertoli, Jacques Calmet, Fausto Giunchiglia, Karsten Homann
1997	A*	`conf`	A Generic Query-Translation Framework for a Mediator Architecture. ICDE Jacques Calmet, Sebastian Jekutsch, Joachim Schü
1997	J	`jnl`	A Perspective on Symbolic Mathematical Computing and Artificial Intelligence. Ann. Math. Artif. Intell. Jacques Calmet, John A. Campbell
1997	C	`conf`	KOMET - A System for the Integration of Heterogeneous Information Sources. ISMIS Jacques Calmet, Sebastian Jekutsch, Peter Kullmann, Joachim Schü
1997	J	`jnl`	Towards the Mathematics Software Bus. Theor. Comput. Sci. Jacques Calmet, Karsten Homann
1996	A*	`conf`	An Executable Graphical Representation of Mediatory Information Systems. ICDE Jacques Calmet, Dirk Debertin, Sebastian Jekutsch, Joachim Schü
1996	—	`ed.`	Artificial Intelligence and Symbolic Mathematical Computation, International Conference AISMC-3, Steyr, Austria, September 23-25, 1996, Proceedings AISMC Jacques Calmet, John A. Campbell, Jochen Pfalzgraf
1996	—	`conf`	Classification of Communication and Cooperation Mechanisms for Logical and Symbolic Computation Systems. FroCoS Jacques Calmet, Karsten Homann
1996	—	`ed.`	Design and Implementation of Symbolic Computation Systems, International Symposium, DISCO '96, Karlsruhe, Germany, September 18-20, 1996, Proceedings DISCO Jacques Calmet, Carla Limongelli
1996	C	`conf`	Signed Formula Logic Programming: Operational Semantics and Applications (Extended Abstract). ISMIS Jacques Calmet, James J. Lu, Maria Rodriguez, Joachim Schü
1996	—	`conf`	Structures for Symbolic Mathematical Reasoning and Computation. DISCO Karsten Homann, Jacques Calmet
1995	—	`ed.`	Integrating Symbolic Mathematical Computation and Artificial Intelligence, Second International Conference, AISMC-2, Cambridge, UK, August 3-5, 1994, Selected Papers AISCM Jacques Calmet, John A. Campbell
1995	B	`conf`	Theorems and Algorithms: An Interface between Isabelle and Maple. ISSAC Clemens Ballarin, Karsten Homann, Jacques Calmet
1994	C	`conf`	Building Bridges Between Knowledge Representation and Algebraic Specification. ISMIS Jacques Calmet, Indra A. Tjandra
1994	—	`conf`	Combining Theorem Proving and Symbolic Mathematical Computing. AISMC Karsten Homann, Jacques Calmet
1993	—	`conf`	A Unified-Algebra-Based Specification Language for Symbolic Computing. DISCO Jacques Calmet, Indra A. Tjandra
1993	—	`ed.`	Artificial Intelligence and Symbolic Mathematical Computation, International Conference, AISMC-1, Karlsruhe, Germany, August 3-6, 1992, Proceedings AISCM Jacques Calmet, John A. Campbell
1992	—	`conf`	Artificial Intelligence and Symbolic Mathematical Computation. AISMC Jacques Calmet, John A. Campbell
1992	—	`conf`	Unified Domains and Abstract Computational Structures. AISMC Jacques Calmet, Karsten Homann, Indra A. Tjandra
1991	B	`conf`	MANTRA: a shell for hybrid knowledge representation. ICTAI Jacques Calmet, Indra A. Tjandra, Guilherme Bittencourt
1991	C	`conf`	Representation of Mathematical Knowledge. ISMIS Jacques Calmet, Indra A. Tjandra
1990	B	`conf`	On Liouvillian Solutions of Homogeneous Linear Differential Equations. ISSAC Felix Ulmer, Jacques Calmet
1987	J	`jnl`	A knowledge-based system for computer algebra. SIGSAM Bull. Jacques Calmet, Denis Lugiez
1987	—	`conf`	Intelligent Computer Algebra System: Myth, Fancy or Reality? Trends in Computer Algebra Jacques Calmet
1987	—	`conf`	Towards an Expert System for Error-Correcting Codes: SECC. AAECC Jacques Calmet
1986	—	`ed.`	Algebraic Algorithms and Error-Correcting Codes, 3rd International Conference, AAECC-3, Grenoble, France, July 15-19, 1985, Proceedings AAECC Jacques Calmet
1986	—	`conf`	Type Inference Using Unification in Computer Algebra. AAECC Jacques Calmet, Hubert Comon, Denis Lugiez
1985	J	`jnl`	Algebraic algorithms in GF(q). Discret. Math. Jacques Calmet
1985	J	`jnl`	Introducing computer algebra to users and to students. ACM Commun. Comput. Algebra Jacques Calmet
1984	—	`conf`	Manipulation of recurrence relations in computer algebra. AAECC Jacques Calmet
1984	—	`conf`	Some design principles for a mathematical knowledge representation system: a new approach to scientific calculation. AAECC Jacques Calmet, Marc Bergman
1983	J	`jnl`	Pascal as host language of computer algebra systems. ACM SIGPLAN Notices Jacques Calmet, Robert-Michel di Scala
1983	J	`jnl`	Synthesizing recurrence relations I: analysis of the problems. SIGSAM Bull. Jacques Calmet, Ian Cohen
1982	—	`ed.`	Computer Algebra, EUROCAM '82, European Computer Algebra Conference, Marseille, France, 5-7 April, 1982, Proceedings EUROCAM Jacques Calmet
1982	—	`conf`	Deterministic Versus Probabilistic Factorization of Integral Polynomials. EUROCAM Jacques Calmet, Rüdiger Loos
1980	J	`jnl`	An Improvement of Rabin's Probabilistic Algorithm for Generating Irreducible Polynomials over GF(p). Inf. Process. Lett. Jacques Calmet, Rüdiger Loos
1974	J	`jnl`	Computer recognition of divergences in Feynman diagrams. SIGSAM Bull. Jacques Calmet