Computing multiple-valued logic programs
|
Descargar SCORM
Este recurso ha sido solicitado 1 veces (0 veces en los últimos 31 días).
Para poder solicitar este recurso debe identificarse como usuario de la biblioteca
|
| |
Ver
Detalles del recurso
|
|
|
Computing multiple-valued logic programs
|
| Id. |
44778843 |
| Idioma |
eng
|
| Titulo |
Computing multiple-valued logic programs |
| Autor(es) |
Lu, James J.
Calmet, Jacques
Schü, Joachim
|
| Localización |
http://dialnet.unirioja.es/servlet/oaiart?codigo=2864878
(Revista) ISSN 1134-5632
|
| Versión |
1.0 |
| Estado |
Final
|
| Descripción |
The logic of signed formula can be used to reason about a wide variety of multiple-valued logics [Häh94b, LMR97]. The formal theoretical foundation of multiple-valued logic programming based on signed formulas is set forth in [Lu96]. The current paper is an investigation into the operational semantics of such signed logic programming. The connection of signed logic programming to constraint logic programming is presented, search space issues are briefly discussed for both general and special cases, and applications to bilattice logic programming and truth-maintenance are analyzed.
|
| Palabras clave |
Programación lógica
|
| Tipo de recurso |
text (article)
|
| Tipo de Interactividad |
Expositivo
|
| Nivel de Interactividad |
muy bajo
|
| Audiencia |
Estudiante
Profesor
Autor
|
| Estructura |
Atomic |
| Coste |
no
|
| Copyright |
sí
|
|
free |
| Requerimientos técnicos |
Browser: Any
|
| Relación |
[IsBasedOn] Mathware & soft computing, ISSN 1134-5632, Vol. 4, Nº. 2, 1997, pags. 129-153
|
| Fecha de contribución |
24-jun-2009 |
| Contacto |
|
|
|
|
|
Valoración de los usuarios
No hay ninguna valoración para este recurso. Sea el primero en
valorar este recurso.
|
|
|
|
