Bilattices In Logic Programming
|
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
|
|
|
Bilattices In Logic Programming
|
| Id. |
41698060 |
| Idioma |
inglés
|
| Titulo |
Bilattices In Logic Programming |
| Localización |
http://citeseer.ist.psu.edu/262918.html
|
| Versión |
1.0 |
| Estado |
Final
|
| Descripción |
Bilattices, introduced by M. Ginsberg, constitute an elegant family of multiple-valued logics.
Those meeting certain natural conditions have provided the basis for the semantics of a
family of logic programming languages. Now we consider further restrictions on bilattices, to
narrow things down to logic programming languages that can, at least in principle, be implemented.
Appropriate bilattice background information is presented, so the paper is relatively
self-contained.
1 Introduction
Logic programming is more than just Prolog. It is a distinctive way of thinking about computers
and programming that has led to the creation of a whole family of programming languages, mostly
experimental. Some time ago I found that bilattices provided a uniform semantics for a rich and
interesting group of logic programming languages [9]. Bilattices are a natural generalization of
classical two-valued logic, and were introduced by Matt Ginsberg in [12], and more fully in [13].
Recently I have found t...
|
| Tipo |
pdf
|
| Palabras clave |
Bilattices In Logic Programming
|
| Tipo de Interactividad |
Expositivo
|
| Nivel de Interactividad |
muy bajo
|
| Audiencia |
Estudiante
Profesor
Autor
|
| Estructura |
Atomic |
| Coste |
no
|
| Copyright |
sí
|
|
unrestricted |
| Formatos |
pdf
|
| Requerimientos técnicos |
Browser: Any
|
| Relación |
[IsBasedOn] http://comet.lehman.cuny.edu/fitting/bookspapers/pdf/papers/BilInLP.pdf
[References] oai:CiteSeerPSU:253540
[References] oai:CiteSeerPSU:255465
[References] oai:CiteSeerPSU:285097
[References] oai:CiteSeerPSU:130793
|
| Fecha de contribución |
31-mar-2009 |
|
|
|
|
Valoración de los usuarios
No hay ninguna valoración para este recurso. Sea el primero en
valorar este recurso.
|
|
|
|
