AISC
2000
Springer
14 years 3 days ago
2000
Springer
AISC
2000
Springer
14 years 3 days ago
2000
Springer
AISC
2000
Springer
14 years 3 days ago
2000
Springer
There are many problems with the simplification of elementary functions, particularly over the complex plane. Systems tend to make “howlers” or not to simplify enough. In thi...
AIMSA
2000
Springer
14 years 3 days ago
2000
Springer
AIMSA
2000
Springer
14 years 3 days ago
2000
Springer
The paper discusses the potential of the usage of Extended Boolean operations for personalized information delivery on the Internet based on semantic vector representation models. ...
AIMSA
2000
Springer
14 years 3 days ago
2000
Springer
In the present paper we use the approach of height functions to de ning a semi-distance measure between Horn clauses. This appraoch is already discussed elsewhere in the framework ...
AIMSA
2000
Springer
14 years 3 days ago
2000
Springer
Inductive Logic Programming (ILP) deals with inducing clausal theories from examples basically through generalization or specialization. The specialization and generalization oper...
AIMSA
2000
Springer
14 years 3 days ago
2000
Springer
Allowing the student to have some control over the diagnosis inspecting and changing the model the system has made of him is a feasible approach in student modelling which tracks t...
AIMSA
2000
Springer
14 years 3 days ago
2000
Springer
We present in this paper our reflections about the requirements of new architectures and languages for the Web, confronted with the ones emerging from qualified scientists such as ...
AI
2000
Springer
14 years 3 days ago
2000
Springer
Abstract. In this paper we focus on the problem of integrating knowledge bases expressed in a description logic. To this end, we propose three basic operations: union, intersection...