Publicidad

Publicidad

becas.universia.netBiblioteca.Net

Buscar recursos:

Buscador Google

Unique Supported-Model Classes of Logic Programs

Descargar SCORM

¡Sea el primero en solicitar este recurso!

Para poder solicitar este recurso debe identificarse como usuario de la biblioteca

 
Ver

Detalles del recurso

 Marcadores Sociales
Unique Supported-Model Classes of Logic Programs
Id. 46339453
Idioma inglés
Titulo Unique Supported-Model Classes of Logic Programs
Autor(es) Pascal Hitzler
Anthony Karel Seda
Localización http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.29.158
Versión 1.0
Estado Final
Descripción We study classes of programs, herein called unique supported-model classes, with the property that each program in the class has a unique supported model. Elsewhere, the authors examined these classes from the point of view of operators dened relative to certain three-valued logics. In this paper, we complement our earlier results by considering how unique supported-model classes t into the framework given by various classes of programs in several well-known approaches to semantics. Keywords: logic programming, denotational semantics, supported-model semantics 1
Tipo application/postscript
Palabras clave logic programming
Tipo de recurso Texto Narrativo
Tipo de Interactividad Expositivo
Nivel de Interactividad muy bajo
Audiencia Estudiante
Profesor
Autor
Estructura Atomic
Coste no
Copyright sí
Metadata may be used without restrictions as long as the oai identifier remains attached to it.
Formatos application/postscript
Requerimientos técnicos Browser: Any
Relación [IsBasedOn] http://euclid.ucc.ie/maths/staff/seda/htdocs/info002.ps
[References] 10.1.1.24.6050
[References] 10.1.1.121.6788
[References] 10.1.1.116.2895
[References] 10.1.1.43.791
[References] 10.1.1.42.9163
[References] 10.1.1.21.8802
[References] 10.1.1.20.1444
Fecha de contribución 24-jul-2009
Contacto

Valoración de los usuarios

No hay ninguna valoración para este recurso. Sea el primero en valorar este recurso.