Buscar
Mostrando ítems 1-10 de 752
Automatizaci?n de los procesos diarios de una planta de concreto: plataforma "Logic Concrete"
(Santo Domingo: Universidad Iberoamericana (UNIBE), 2021)
[Espa?ol] La industria de la construcci?n en Rep?blica Dominicana ha crecido una cantidad substancial debido al hecho de que la ciudad ha tenido un auge de proyectos de construcci?n en los ?ltimos a?os. Esta es la causa ...
Automatizaci?n de los procesos diarios de una planta de concreto : plataforma "Logic Concrete"
(Santo Domingo: Universidad Iberoamericana (UNIBE), 2021)
[Espa?ol] La industria de la construcci?n en Rep?blica Dominicana ha crecido una cantidad substancial debido al hecho de que la ciudad ha tenido un auge de proyectos de construcci?n en los ?ltimos a?os. Esta es la causa ...
An integrated model for earthquake risk assessment of buildings
(ELSEVIER SCI LTD, 2002)
This study is devoted to the formulation and construction of an integrated model for earthquake risk assessment of buildings in seismic regions. The model developed has five stages: i) characterization of ground motion, ...
Prediction of the mechanical properties of concrete incorporating simultaneous utilization of fine and coarse recycled aggregate
(Pontificia Universidad Católica de Chile. Escuela de Construcción Civil, 2023)
The mechanical properties of concrete were optimized using response surface methodology (RSM) and fuzzy logic. The aggregate portion of the concrete was replaced with recycled aggregate to address the environmental problems ...
An approach for temporal argumentation using labeled defeasible logic programming (l-DeLP)
(Universidad Nacional de La Plata. Facultad de Informática, 2012-08-01)
In the last decade, several argument-based formalisms have emerged, with application in many areas, such as legal reasoning, autonomous agents and multi-agent systems; many are based on Dung´s seminal work characterizing ...
Backing and undercutting in defeasible logic programming
(Springer, 2011-07)
Two important notions within the field of classical argumentation are undercutting defeaters and backings. The former represent an attack to an inference step, and the latter intend to provide defense against this type of ...
Relation-changing modal logics
(2014)
En esta tesis investigamos operadores modales dinámicos que pueden cambiar el modelo durante la evaluación de una fórmula. En particular, extendemos el lenguaje modal básico con modalidades que son capaces de invertir, ...
Reducing the gap between mobile and intelligent software agents
(Int Inst Informatics & Systemics, 2001-01-01)
This paper presents an approach to integrate an artificial intelligence (AI) technique, concretely rule-based processing, into mobile agents. In particular, it focuses on the aspects of designing and implementing an ...