Buscar
Mostrando ítems 21-28 de 28
Ponencia
Extending Attribute Exploration by Means of Boolean Derivatives
(CEUR-WS, 2008)
We present a translation of problems of Formal Context Analysis into ideals problems in F2[x] through the Boolean derivatives. The Boolean derivatives are introduced as a kind of operators on propositional formulas which ...
Ponencia
Interpretación reactiva de sistemas basados en conocimiento.
(Universidad de Granada, 1999)
Ponencia
Verified Computer Algebra in ACL2 (Gröbner Bases Computation)
(Springer, 2004)
In this paper, we present the formal verification of a Common Lisp implementation of Buchberger’s algorithm for computing Gröbner bases of polynomial ideals. This work is carried out in the Acl2 system and shows how ...
Ponencia
Formal Verification of Molecular Computational Models in ACL2: A Case Study
(Springer, 2003)
Theorem proving is a classical AI problem with a broad range of applications. Since its complexity is exponential in the size of the problem, many methods to parallelize the process has been proposed. One of these ...
Ponencia
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 can be used to mechanically prove non-trivial termination properties. Every relation on a set A ...
Ponencia
A Formally Verified Prover for the ALC Description Logic
(Springer, 2007)
The Ontology Web Language (OWL) is a language used for the Semantic Web. OWL is based on Description Logics (DLs), a family of logical formalisms for representing and reasoning about conceptual and terminological ...
Ponencia
Towards a Practical Argumentative Reasoning with Qualitative Spatial Databases
(Springer, 2003)
Classical database management can be flawed if the Knowledge database is built within a complex Knowledge Domain. We must then deal withinconsistencies and, in general, withanomalies of several types. In this paper we ...
Ponencia
Deducción Automática en Anillos Ternarios: Algunos Métodos de Procesamiento del Conocimiento Matemático
(Universidad de Sevilla - Fundación El Monte, 2001)