Browsing Artículos (Ciencias de la Computación e Inteligencia Artificial) by Issue Date
Now showing items 1-20 of 339
- Article
-
Article
Maude as a Metalanguage
(Elsevier, 1998)One of the key goals of rewriting logic from its beginning has been to provide a semantic and logical framework in which ...
-
Article
Lexical Object Theory: Specification Level
(Springer, 1998)Unification has become a major paradigm in Mathematical and Computational Linguistics. The research done in this area may ...
- Article
- Article
-
Article
Towards Maude 2.0
(Elsevier, 2000)Maude 2.0 is the new version of the Maude rewriting logic language currently under development. Maude 2.0’s three main ...
-
Article
Proyecto europeo Siridus
(Sociedad Española para el Procesamiento del Lenguaje Natural (SEPLN), 2001) -
Article
Some Results on LΔ n+1
(Wiley, 2001)We study the quantifier complexity and the relative strength of some fragments of arithmetic axiomatized by induction and minimization schemes for Δn+1 formulas.
-
Article
Proyecto europeo D'Homme
(Sociedad Española para el Procesamiento del Lenguaje Natural (SEPLN), 2001) -
Article
Integration of dialogue moves and speech recognition in a telephone scenario
(Sociedad Española para el Procesamiento del Lenguaje Natural (SEPLN), 2001) -
Article
Dialogue Management in a Home Machine Environment: Linguistic Components over an Agent Architecture
(Sociedad Española para el Procesamiento del Lenguaje Natural (SEPLN), 2001)This paper presents the main characteristics of an Agent{based Architecture for the design and implementation of a ...
-
Article
Dialogue Moves for Natural Command Languages
(Sociedad Española para el Procesamiento del Lenguaje Natural (SEPLN), 2001) -
Article
Verifying a P system generating squares
(Romanian Academy, Section for Information Science and Technology, 2002)In [1], an example of a P system generating exactly all the squares of natural numbers greater than 1 is given. Nevertheless, ...
-
Article
Formal proofs about rewriting using ACL2
(Springer, 2002)We present an application of the ACL2 theorem prover to reason about rewrite systems theory. We describe the formalization ...
-
Article
Maude: specification and programming in rewriting logic
(Elsevier, 2002)Maude is a high-level language and a high-performance system supporting executable specification and declarative programming ...
-
Article
A Formalization of Transition P Systems
(IOS Press, 2002)In this paper we give a complete formalization of a new computability model of a distributed parallel type which is inspired ...
-
Article
Parsing bidimensional de estructuras DAG mediante el algoritmo SCP y su aplicación al reconocimiento de habla
(Sociedad Española para el Procesamiento del Lenguaje Natural (SEPLN), 2002)Este trabajo presenta una estrategia para la integración de los módulos de reconocimiento de habla, parsing basado en ...
-
Article
Identification and Representation of Anaphoric Expressions in a Spoken Dialogue System
(Sociedad Española para el Procesamiento del Lenguaje Natural (SEPLN), 2002) -
Article
Modelado de diálogo basado en conocimiento, acciones y expectativas
(Sociedad Española para el Procesamiento del Lenguaje Natural (SEPLN), 2002)Este trabajo propone un modelo declarativo para el modelado de sistemas de gestión de diálogo. La estrategia propuesta ...
-
Article
Recent Computability Models Inspired from Biology: DNA and Membrane Computing
(Universidad del País Vasco, 2003)We briefly present two areas of natural computing, vividly investigated in the recent years: DNA computing and membrane ...