Buscar
Mostrando ítems 1-10 de 1736
Exploring inconsistencies between modal transition systems
(Springer Heidelberg, 2011-02)
It is commonplace to have multiple behaviour models that describe the same system but have been produced by different stakeholders or synthesized from different sources. Although in practice, such models frequently exhibit ...
On Measuring Inconsistency in Spatio-Temporal Databases
(College Publications, 2018)
The problem of managing spatio-temporal data arises in many applications, such as location-based services, environmental monitoring, and geographic information systems. Often spatio-temporal data arising from such applications ...
On the Data Complexity of Consistent Query Answering
(Springer, 2015)
The framework of database repairs is a principled approach to managing inconsistency in databases. In particular, the consistent answers of a query on an inconsistent database provide sound semantics and the guarantee that ...
A generalized abstract argumentation framework for inconsistency-tolerant ontology reasoning
(Pergamon-Elsevier Science Ltd, 2016-12-01)
We propose a new family of abstract argumentation frameworks which we refer to as generalized (identified through the acronym GenAF), due to its ability of adapting to different representation languages. GenAFs are formalized ...
Continuous arch and rectangular loops for the correction of consistent and inconsistent load systems in extruded and tipped maxillary second molars
(Elsevier B.V., 2018-03-01)
Introduction: The aim of this research was to compare the load systems produced by rectangular loops and continuous arches for the correction of extruded second molars with a mesial inclination (inconsistent system) and a ...