Guest Editorial. Special Issue: Temporal logic in engineering

Logic-based models are thriving within artificial intelligence. A great number of new logics have been defined, and their theory investigated. Epistemic logics introduce modal operators for knowledge or belief; deontic logics are about norms, and introduce operators of deontic necessity and possibility (i.e., obligation or prohibition). And then we have a much investigated class—temporal logics—to whose application to engineering this special issue is devoted. This kind of formalism deserves increased widespread recognition and application in engineering, a domain where other kinds of temporal models (e.g., Petri nets) are by now a fairly standard part of the modelling toolbox.

Guest editorial. [Computers and Artificial Intelligence. 1998. Vol. 17, No. 2-3]

Editorial

Editorial: context, content and aims [Special Issue - Formal Approaches to Legal Evidence]

This special issue "Formal Approaches to Legal Evidence" of the Artificial Intelligence and Law, September 2001, Vol. 9, Issue 2-3, which was guest edited by Ephraim Nissan.

Editorial

Editorial

Sistema integrado para empresas de construcción en Cusco

Actualmente las empresas requieren estrategias innovadoras, que permitan gestionar de forma integral, optimizando los recursos y maximizando los resultados. Siendo el objetivo del presente trabajo de investigación, diseñar un instrumento de gestión integral (gestión de la calidad, ambiental, seguridad y salud ocupacional) para el sector construcción en Cusco. Se realizó un análisis actual de la actividad de construcción, se planteó a diferencia de otras propuestas, el diseño que inicia con el diagnóstico, planificación, organización, ejecución, supervisión y optimización del sistema integral. Los resultados están expresados en el diagnóstico de los 3 sistemas, información clave, para el planteamiento y propuesta de las etapas posteriores; estructurando el planteamiento de los subprogramas basados en el diagnóstico integral, para finalmente determinar los lineamientos estratégicos, de implementación, evaluación y verificación del sistema, teniendo en cuenta la norma ISO 9001: 2008, ISO 14001:2004 y OSHAS 18001:2007; así como la legislación vigente para el Perú.