Buscar
Mostrando ítems 31-40 de 1461
An integrated framework for the diagnosis and correction of rule-based programs
(ELSEVIER SCIENCE BV, 2010-10-29)
We present a generic scheme for the declarative debugging of programs that are written in rewriting-based languages that are equipped with narrowing. Our aim is to provide an integrated development environment in which it ...
An integrated framework for the diagnosis and correction of rule-based programs
(ELSEVIER SCIENCE BV, 2010-10-29)
We present a generic scheme for the declarative debugging of programs that are written in rewriting-based languages that are equipped with narrowing. Our aim is to provide an integrated development environment in which it ...
A knowledge-driven approach for process supervision in chemical plants
(Pergamon-Elsevier Science Ltd, 2013-06)
In this work, an ontology-based framework for process supervision in chemical plants is presented. A conceptualization of equipment, control systems and hazards has been developed. This conceptual model includes the semantic ...
Modelling inference in argumentation through labelled deduction: Formalization and logical properties
(Springer, 2007-01)
Artificial Intelligence (AI) has long dealt with the issue of finding a suitable formalization for commonsense reasoning. Defeasible argumentation has proven to be a successful approach in many respects, proving to be a ...