Buscar
Mostrando ítems 1-10 de 10
Intuitionistic Logic according to Dijkstra’s Calculus of Equational Deduction
(University of Notre Dame, 2008)
Dijkstra and Scholten have proposed a formalization of classical predicate logic on a novel deductive system as an alternative to Hilbert’s style of proof and Gentzen’s deductive systems. In this context we call it CED ...
Bioescenarios III.
(Asociación Colombiana de Ingenieros de Sistemas (ACIS), 2008)
El uso de las tendencias bioinspiradas en el desarrollo de soluciones informáticas se está imponiendo en el mundo por ser una opción en el tratamiento de problemas complejos. En Colombia se están realizando los primeros ...
Theorem Proving Modulo Based on Boolean Equational Procedures
(Springer, 2008)
Deduction with inference rules modulo computation rules plays an important role in automated deduction as an effective method for scaling up. We present four equational theories that are isomorphic to the traditional Boolean ...
An elementary and unified approach to program correctness
(Springer, 2009)
We present through the algorithmic language DHL (Dijkstra-Hehner language), a practical approach to a simple first order theory based on calculational logic, unifying Hoare and Dijkstra’s iterative style of programming ...
La inteligencia de negocios, un concepto informático
(ACIS, 2009)
Diferente a lo que podría esperarse, el concepto de
Business Intelligence no es un resultado de desarrollos
en el mundo de las Ciencias Administrativas, sino que
es un producto del progreso de la Informática o de ...
Sistema de extracción de cuerpos de texto de la web para tareas lingüísticas
(Scielo, 2009)
En este artículo se describe un sistema desarrollado para la extracción de grandes cuerpos de texto de Internet, teniendo como
motivación el valor que ofrecen los ejemplos de lenguaje natural disponibles en la red para ...
AIDE À LA CONCEPTION COLLABORATIVE. UN SYSTEME DE MEDIATION POUR L'USAGE DE MICRO- OUTILS LOGICIELS
(In Cognito, 2009)
Nous présentons, dans cet article, deux concepts pour améliorer l'assistance à la coopération en conception de systèmes mécaniques : 1) le concept de micro-outils développé pour assister l'activité elle-même des concepteurs ...
Agent-Based Mediation System to Facilitate Cooperation in Distributed Design
(WSEAS, 2009)
In this article we present the use of knowledge for a Mediation System, developed to give support to participants in mechanical-system-designer activities. To use a cooperative system sufficient assistance is needed to ...
Mediation System for cooperative activities: knowledge system design
(WSEAS, 2008)
In this article we present the use the knowledge for a Mediation System, developed to give support to mechanical system designer activities. The use of cooperative systems must contain a sufficient level of assistance to ...
A Graphical Environment for the Semantic Validation of a Plan Execution Language
(© Copyright 2021 IEEE, 2009)
This paper presents PLEXIL5, PLEXIL's formal interacting visual environment, a graphical environment providing an user-friendly interface to the formal operational semantics of PLEXIL. PLEXIL is a synchronous plan execution ...