Omega-Restricted 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
|
|
|
Omega-Restricted Logic Programs
|
| Id. |
41913714 |
| Idioma |
inglés
|
| Titulo |
Omega-Restricted Logic Programs |
| Localización |
http://citeseer.ist.psu.edu/478212.html
|
| Versión |
1.0 |
| Estado |
Final
|
| Descripción |
We define a new syntactic class of logic programs, omega-restricted programs. We divide the predicate symbols of a logic program into two parts: domain and non-domain predicates, where the domain predicates are defined by the maximal stratifiable subset of the rules of the program. We extend the usual de nition of stratification by adding a special omega-stratum that holds all unstratifiable predicates of the program. We demand that all variables that occur in a rule also occur in the rule body in a positive literal that is on a lower stratum than rule head. This restriction is syntactic and can be checked efficiently. The existence of a stable model of an omega-restricted program is decidable even when function symbols are allowed. We prove that the problem is 2-NEXP-complete and identify subclasses of omega-restricted programs such that the problem stays in NEXP or NP. The class of omega-restricted programs is implemented in the Smodels system.
|
| Tipo |
ps
|
| Palabras clave |
Omega-Restricted 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] http://www.tcs.hut.fi/~tssyrjan/publications/syrjanen_lpnmr01.ps.gz
[References] oai:CiteSeerPSU:183595
[References] oai:CiteSeerPSU:67035
[References] oai:CiteSeerPSU:302704
[References] oai:CiteSeerPSU:49484
|
| 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.
|
|
|
|
