#### Filter Results:

- Full text PDF available (63)

#### Publication Year

1974

2017

- This year (1)
- Last 5 years (5)
- Last 10 years (20)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

- Clemens Ballarin, Karsten Homann, Jacques Calmet
- ISSAC
- 1995

Solving sophisticated mathematical problems often requires algebraic algorithms and theorems. However, there are no environments integrating theorem provers and computer algebra systems which consistently provide the inference capabilities of the first and the powerful arithmetic of the latter systems. As an example for such a mechanized mathematics… (More)

- Yi Yang, Jacques Calmet
- International Conference on Computational…
- 2005

This paper describes an ontology-driven model, which integrates Bayesian networks (BN) into the Ontology Web Language (OWL) to preserve the advantages of both. This model makes use of probability and dependency-annotated OWL to represent uncertain information in BN structures. These extensions enhance knowledge representation in OWL and enable agents to act… (More)

- Piergiorgio Bertoli, Jacques Calmet, Fausto Giunchiglia, Karsten Homann
- Fundam. Inform.
- 1998

Computer algebra systems (CASs) and automated theorem provers (ATPs) exhibit complementary abilities. CASs focus on efficiently solving domain-specific problems. ATPs are designed to allow for the formalization and solution of wide classes of problems within some logical framework. Integrating CASs and ATPs allows for the solution of problems of a higher… (More)

The theoretical foundations for a definition of distance on ontologies are laid out in this paper. The distance measure is defined using the well known concepts of entropy and mutual information from information theory. These formal methods are adapted for practical use in ontologies through the definition of useful discrete random variables. These include… (More)

- Jacques Calmet, Sebastian Jekutsch, Peter Kullmann, Joachim Schü
- ISMIS
- 1997

- Pierre Maret, Mark Hammond, Jacques Calmet
- ESAW
- 2004

Corporate knowledge consists both of information that is available throughout a company and of information technology frameworks and paradigms. Considering an enterprise as a distributed computational paradigm, multi-agent systems can be proposed to address knowledge management issues within a company. We consider in this paper a new approach for corporate… (More)

- Karsten Homann, Jacques Calmet
- AISMC
- 1994

An intelligent mathematical environment must enable symbolic mathematical computation and sophisticated reasoning techniques on the underlying mathematical laws. This paper disscusses diierent possible levels of interaction between a symbolic calculator based on algebraic algorithms and a theorem prover. A high level of interaction requires a common… (More)

- Jacques Calmet, Peter Kullmann
- Intelligent Information Integration
- 1999

KOMET is a logic-based mediator system that was designed for the knowledge-based integration of heterogeneous information sources CJKS97]. One of the main challenges in using the numerous information sources in the World Wide Web is to cope with their heterogeneity. In this work we demonstrate how popular web search services like Yahoo and AltaVista can be… (More)

- Jacques Calmet, Karsten Homann
- FroCoS
- 1996

The combination of logical and symbolic computation systems has recently emerged from prototype extensions of stand-alone systems to the study of environments allowing interaction among several systems. Communication and cooperation mechanisms of systems performing any kind of mathematical service enable to study and solve new classes of problems and to… (More)

- Jacques Calmet, Indra A. Tjandra, Guilherme Bittencourt
- ICTAI
- 1991