On the Reusability of User Interface Declarative Models

The automatic generation of user interfaces based on declarative models achieves a significant reduction of the development effort. In this paper, we analyze the feasibility of using two well-known techniques such as XInclude and Packaging in the new context of reusing user-interface model specifications. After analyzing the suitability of each technique for UI reutilization and implementing both techniques in a real system, we show that both techniques are suited to be used within the context of today’s existing model-based user interfaces

Sistema certificado de decisión proposicional basado en polinomios

En [2] introducimos una regla de inferencia para la lógica proposicional (basado en el uso de la derivación de polinomios) denominada regla de independencia, diseñada para el cálculo de retracciones conservativas, y que sirve para diseñar un procedimiento de decisión proposicional. En el presente trabajo presentamos una implementación en Haskell del procedimiento y su certificación mediante QuickCheck

Generalizing Programs via Subsumption

In this paper we present a class of operators for Machine Learning based on Logic Programming which represents a characterization of the subsumption relation in the following sense: The clause C 1 subsumes the clause C 2 iff C 1 can be reached from C 2 by applying these operators. We give a formalization of the closeness among clauses based on these operators and an algorithm to compute it as well as a bound for a quick estimation. We extend the operator to programs and we also get a characterization of the subsumption between programs. Finally, a weak metric is presented to compute the closeness among programs based on subsumption.Ministerio de Ciencia y Tecnología TIC 2000-1368-C03-0Junta de Andalucía TIC-13

KRRT: Knowledge Representation and Reasoning Tutor System

Knowledge Representation & Reasoning (KR&R) is a fundamental topic in Artificial Intelligence. A basic KR language is First– Order Logic (FOL), the most representative logic–based representation language, which is part of almost any introductory AI course. In this work we present KRRT (Knowledge Representation & Reasoning Tutor). KRRT is a Web–based system which main goal is to help the student to learn FOL as a KR&R language.Ministerio de Educación y Ciencia TIN2004–0388

Deducción automática (Vol. 1: Construcción lógica de sistemas lógicos)

Este libro constituye el primer volumen de una serie sobre deducción automática. Su objetivo es la presentación de Prolog como un sistema de deducción automática y la construcción en Prolog de sistemas de deducción proposicional. En el primer capítulo presentamos la programación lógica en Prolog como una aplicación de la deducción automática a la vez que se introducen los conocimientos de Prolog necesarios en los siguientes capítulos del libro. En el segundo capítulo se formaliza en Prolog los conceptos básicos de la lógica proposicional y se muestra cómo pueden resolverse algunos problemas con OTTER y MACE. En el tercer capítulo se construyen en Prolog distintos cálculos lógicos proposicionales. En los siguientes volúmenes continuaremos la construcción de sistemas lógicos (para la lógica de primer orden con igualdad), estudiaremos el razonamiento asistido por ordenador (con OTTER, MACE y ACL2) y aplicaciones del razonamiento automático. El material de este volumen y los siguientes forma parte de cursos impartidos por los autores en el Departamento de Ciencias de la Computación e Inteligencia Artificial de la Universidad de Sevilla. Se puede acceder a dichos cursos en la Red a través de http://www.cs.us.es/~jalonso