Results 211 to 220 of about 22,113 (265)
Some of the next articles are maybe not open access.
Constraint-based deductive model checking
International Journal on Software Tools for Technology Transfer, 2001zbMATH Open Web Interface contents unavailable due to conflicting licenses.
DELZANNO, GIORGIO, PODELSKI A.
openaire +3 more sources
A Deterministic Model for P2P Deductive Databases
Proceedings of the 20th International Database Engineering & Applications Symposium on - IDEAS '16, 2016This paper aims to provide a contribution to the specific topic related to the integration of information and the computation of queries in an open ended network of distributed peers. Each peer joining a P2P system provides or imports data from its neighbors by using a set of mapping rules, i.e.
Caroprese L, ZUMPANO, Ester
openaire +2 more sources
A temporal deductive database model
Proceedings of the 35th Annual Southeast Regional Conference on - ACM-SE 35, 1997We extend the deductive database model by incorporating the notion of time. We define the notion of temporal Horn clauses. The declarative semantics of temporal deductive databases is presented. Then, we develop a bottom-up evaluation scheme for temporal deductive rules. We establish the correctness of the bottom-up approach.
openaire +1 more source
The Kinematics of Plate Models: A Geometrical Deduction
Journal of Elasticity, 2007zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Geymonat, Giuseppe +2 more
openaire +3 more sources
Modeling uncertainty in deductive databases
1994Information Source Tracking (IST) method has been developed recently for the modeling and manipulation of uncertain and inaccurate data in relational databases. In this paper we extend the IST method to deductive databases. We show that positive uncertain databases, i.e.
Laks V. S. Lakshmanan, Fereidoon Sadri
openaire +1 more source
1981
As will be shown in this study, the Deductive Model constitutes the formal basis upon which both the logical empiricist and Popperian conceptions of science and scientific progress are built.
openaire +1 more source
As will be shown in this study, the Deductive Model constitutes the formal basis upon which both the logical empiricist and Popperian conceptions of science and scientific progress are built.
openaire +1 more source
On a deductive reasoning model and method for uncertainty
Proceedings 11th International Conference on Tools with Artificial Intelligence, 2003Discusses a problem of deduction with uncertainty that has been dealt with by various diagnostic expert systems. First, we propose a mathematical framework of deductive reasoning with uncertainty. The subject of the reasoning is the calculation of conditional probabilities. Second, we establish a new reasoning method.
Makoto Suzuki +2 more
openaire +1 more source
A deductive data model for query expansion
Proceedings of the 19th annual international ACM SIGIR conference on Research and development in information retrieval - SIGIR '96, 1996We present a deductive data model for concept-based query expansion. It is based on three abstraction levels: the conceptual, the expression and the occurrence level. Concepts and their relationships are represented at the conceptual level. The expression level represents natural language expressions for concepts.
Kalervo Järvelin +4 more
openaire +1 more source
Deduction and Modelling (model II)
1980Model I consists of methodological hypotheses which state how the ideal researcher, characterized by the assumptions p 1-p 5 carries out his basic research objectives: how he formulates laws, constructs theories and tests them, and explains facts.
openaire +1 more source