Semantic Issues in Deductive Databases and 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
|
|
|
Semantic Issues in Deductive Databases and Logic Programs
|
| Id. |
41549187 |
| Idioma |
inglés
|
| Titulo |
Semantic Issues in Deductive Databases and Logic Programs |
| Autor(es) |
Halina Przymusinska,Teodor Przymusinski,To Our Sons Lukasz,Marcel Love
|
| Localización |
http://citeseer.ist.psu.edu/115090.html
|
| Versión |
1.0 |
| Estado |
Final
|
| Descripción |
this paper. In particular, the paper reports on a very
significant progress made recently in this area. It also presents some results
which have not yet appeared in print.
The paper is organized as follows. In the next two sections we define deductive
databases and logic programs. Subsequently, in Sections 4 and 5, we
discuss model theory and fixed points, which play a crucial role in the definition
of semantics. Section 6 is the main section of the paper and is entirely devoted
to a systematic exposition and comparison of various proposed semantics. In
Section 7 we discuss the relationship between declarative semantics of deductive
databases and logic programs and non-monotonic reasoning. Section 8 contains
concluding remarks.
2 Deductive Databases
|
| Tipo |
ps
|
| Palabras clave |
Halina Przymusinska,Teodor Przymusinski,To Our Sons Lukasz,Marcel Love Semantic Issues in Deductive Databases and Logic Programs
|
| Tipo de Interactividad |
Expositivo
|
| Nivel de Interactividad |
muy bajo
|
| Audiencia |
Estudiante
Profesor
Autor
|
| Estructura |
Atomic |
| Coste |
no
|
| Copyright |
sí
|
|
unrestricted |
| Formatos |
ps
|
| Requerimientos técnicos |
Browser: Any
|
| Relación |
[IsBasedOn] ftp://ftp.cs.ucr.edu/pub/teodor/db.ps.gz
[References] oai:CiteSeerPSU:302704
[References] oai:CiteSeerPSU:59580
[References] oai:CiteSeerPSU:82787
[References] oai:CiteSeerPSU:87330
|
| Fecha de contribución |
31-mar-2009 |
| Contacto |
|
|
|
|
|
Valoración de los usuarios
No hay ninguna valoración para este recurso. Sea el primero en
valorar este recurso.
|
|
|
|
