Browsing Ciencias de la Computación e Inteligencia Artificial by Issue Date
Now showing items 21-40 of 880
-
Article
Proyecto europeo D'Homme
(Sociedad Española para el Procesamiento del Lenguaje Natural (SEPLN), 2001) -
Presentation
A Certified Polynomial-Based Decision Procedure for Propositional Logic
(Springer, 2001)In this paper we present the formalization of a decision procedure for Propositional Logic based on polynomial normalization. ...
-
PhD Thesis
Una teoría computacional acerca de la lógica ecuacional formalización en ACL2 de la lógica ecuacional y demostración automática de sus propiedades
(2001)El objetivo principal de la Tesis es el desarrollo de una teoría computacional acerca de la lógica ecuacional, usando para ...
-
Article
Integration of dialogue moves and speech recognition in a telephone scenario
(Sociedad Española para el Procesamiento del Lenguaje Natural (SEPLN), 2001) -
Presentation
Proximidad entre cláusulas en programación lógica inductiva
(Universidad de Sevilla - Fundación El Monte, 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 ...
-
Book
Información : tratamiento y representación
(Universidad de Sevilla, 2001) -
Article
Dialogue Moves for Natural Command Languages
(Sociedad Española para el Procesamiento del Lenguaje Natural (SEPLN), 2001) -
Presentation
Verifying an Applicative ATP Using Multiset Relations
(Springer, 2001)We present in this paper a formalization of multiset relations in the ACL2 theorem prover [6], and we show how multisets ...
-
Presentation
Deducción Automática en Anillos Ternarios: Algunos Métodos de Procesamiento del Conocimiento Matemático
(Universidad de Sevilla - Fundación El Monte, 2001) -
PhD Thesis
Operadores de generalización para el aprendizaje clausal
(2002)"En esta memoria hemos estudiado los procesos de generalización, el paso de lo particular a lo general, cuando la información ...
-
PhD Thesis
Verificación de programas en modelos de computación no convencionales
(2002)El objetivo fundamental de esta memoria consiste en desarrollar una primer aproximación a la verificación formal de ...
-
Presentation
A Generic Instantiation Tool and a Case Study: A Generic Multiset Theory.
(University of Texas, 2002)In some cases, when we develop a formal theory in ACL2, it would be desirable that the definitions and theorems of the ...
-
Presentation
Molecular Computation Models in ACL2: a Simulation of Lipton’s Experiment Solving SAT
(2002)In this paper we present an ACL2 formalization of a molecular computing model: Adleman’s restricted model [2]. This is a ...
-
Presentation
A methodology for the computer-aided cleaning of complex knowledge databases
(IEEE Computer Society, 2002)In environments with complex cognitive structure (such as semantic web or sophisticated spatial databases for geographical ...
-
Presentation
Progress Report: Term Dags Using Stobjs
(University of Texas, 2002)We explore in this paper the use of efficient data structures to implement operations on first-order terms, that can be ...
-
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
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
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 ...
- Presentation