Reports de recerca
Recent Submissions
-
1849-2016 - IEEE Standard for eXtensible Event Stream (XES) for achieving interoperability in event logs and event streams
(2016-09-22)
External research report
Restricted access - publisher's policyAbstract: A grammar for a tag-based language whose aim is to provide designers of information systems with a unified and extensible methodology for capturing systems behaviors by means of event logs and event streams is ... -
The geometric modelling system DMI
(1990)
External research report
Open Access -
Representació del coneixement: una síntesi
(1991-11)
External research report
Open AccessEn aquesta síntesi es presenta una visió global dels principals formalismes de representació del coneixement, que s'han desenvolupat al llarg de la història de la Intel·ligència Artificial. Aquesta revisió ve precedida ... -
Adaptive logspace reducibility and parallel time
(1991-11)
External research report
Open AccessWe discuss two notions of functional oracle for logarithmic space-bounded machines, which differ in whether there is only one oracle tape for both the query and the answer or a separate tape for the answer, which can still ... -
Dos aproximaciones a la adquisición del conocimiento léxico y conceptual para sistemas de procesamiento del lenguaje natural
(1991-11-06)
External research report
Open AccessProcessament del llenguatge natural -
The design of a parallel algorithm to solve the word problem for the free partially commutative groups
(1991-10-15)
External research report
Open AccessWe develop a parallel algorithm to solve the word problem for free partially commutative groups. These groups were introduced by C. Wrathall to generalize free groups. We represent the elements of these groups as a certain ... -
Un entorno para la extracción de información semántica del diccionario Vox
(1991-09-30)
External research report
Open AccessPresentamos un entorno interactivo para la extracción de información semantica del diccionario Vox. El entorno ha sido diseñado para permitir un alto grado de automatismo en su funcionamiento, así como para proporcionar ... -
A generalization of the model of permutations for binary search trees
(1991-09-30)
External research report
Open AccessThe classical model of permutations, that allows the study of consecutive insertions in BST, fails when it considers intermixed deletions and insertions (Knott paradox). Our model solves this paradox by considering the ... -
First-order completion with ordering constraints: some positive and some negative results
(1991-10-15)
External research report
Open AccessWe show by means of counter examples that some well-known results on the completeness of deduction methods with ordering constraints are incorrect. The problem is caused by the fact that the usual lifting lemmata do not ... -
Basic superposition is complete
(1991-10-15)
External research report
Open AccessWe define a formalism of equality constraints and use it to prove the completeness of what we have called basic superposition: a restricted form of superposition in which only the subterms not originated in previous ... -
To be or nought to be: una qüestió irrellevant?
(1991-10)
External research report
Open Access -
Bounded queries to arbitrary sets
(1991-09)
External research report
Open AccessWe prove that if P superA[k] = P superA[k+1] for some k and an arbitrary set A, then A is reducible to its complement under a relativized nondeterministic conjunctive reduction. This result shows the first known property ...
RSS 1.0