Publicidad

Publicidad

becas.universia.netBiblioteca.Net

Buscar recursos:

Buscador Google

Calendar Logic

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

Marcadores Sociales
Calendar Logic
Id. 46264888
Idioma inglés
Titulo Calendar Logic
Autor(es) Hans Jürgen Ohlbach
Dov Gabbay
Localización http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.22.4772
Versión 1.0
Estado Final
Descripción A propositional temporal logic is introduced whose operators quantify over intervals of a reference time line. The intervals are specified symbolically, for example `next week's weekend'. The specification language for the intervals takes into account all the features of real calendar systems. A simple statement which can be expressed in this language is for example: `yesterday I worked for eight hours with one hour lunch break at noon'. Calendar Logic can be translated into propositional logic. Satisfiability is therefore decidable. Since the translation is exponential, a tableau decision procedure for checking decidability is presented as an alternative.
Tipo application/postscript
Palabras clave temporal logic
Tipo de recurso Texto Narrativo
Tipo de Interactividad Expositivo
Nivel de Interactividad muy bajo
Audiencia Estudiante
Profesor
Autor
Estructura Atomic
Coste no
Copyright
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://www.dcs.kcl.ac.uk/research/groups/logic/publications/ps/OhlbachGabbay1998a.ps.gz
[References] 10.1.1.17.4274
[References] 10.1.1.17.2975
[References] 10.1.1.29.246
[References] 10.1.1.69.681
[References] 10.1.1.136.9932
[References] 10.1.1.139.3933
[References] 10.1.1.3.7087
[References] 10.1.1.101.3737
[References] 10.1.1.39.8129
[References] 10.1.1.84.5016
[References] 10.1.1.68.826
[References] 10.1.1.73.2460
[References] 10.1.1.95.4544
[References] 10.1.1.95.9376
[References] 10.1.1.98.2531
[References] 10.1.1.61.2104
[References] 10.1.1.141.5835
Fecha de contribución 23-jul-2009
Contacto

Valoración de los usuarios

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