Diferencia entre revisiones de «Theories»
(→Resources) |
(→Resources) |
||
Línea 16: | Línea 16: | ||
* [[Paella]] Sistema visual de reparación de ontologías. | * [[Paella]] Sistema visual de reparación de ontologías. | ||
* [[MenuXML]] Construcción de menus para móviles basado en FCA. | * [[MenuXML]] Construcción de menus para móviles basado en FCA. | ||
+ | * [[TinyDelicious]] Transformación de las URLs de Delicious en TinyUrls |
Revisión del 16:21 5 dic 2009
Theories
- Teoría computacional (en ACL2) sobre cálculos proposicionales.
- Formalizing equational reasoning and rewriting (using ACL2)
- Multiset relations: a tool for proving termination (in ACL2)
- Reasoning about first-order terms using the ACL2 theorem prover
- An unification algorithm in ACL2 using dags
- A generic framework for propositional SAT-provers (formalization in ACL2)
- Formalization and proof of Dickson's Lemma in ACL2
- Haskell implementation of Independence Rule
Resources
- APLI2 (APLIcación de Ayuda Para Lógica Informática).
- Stem Traducción de Base Stem(ConExp) a CLIPS.
- Producciones Traducción de Reglas de Producción(ConExp) a CLIPS.
- Delicioso Toma de datos y conversión en contexto (formato ConExp).
- Paella Sistema visual de reparación de ontologías.
- MenuXML Construcción de menus para móviles basado en FCA.
- TinyDelicious Transformación de las URLs de Delicious en TinyUrls