Results 281 to 290 of about 202,857 (337)
Semantic Modeling for Deductive Question-Answering [PDF]
IEEE Transactions on Computers, 1976 A description of techniques used for semantic modeling in a deductive question-answering system is given. The system maintains a dialog and is able to understand situations which can be expressed as a series of sequential time-frames. Specific relevant questions are asked by the system when it is unable to succeed in a given task.
Kenneth Biss +3 more
openaire +1 more source
Some of the next articles are maybe not open access.
Related searches:
Related searches:
Trends in Cognitive Sciences, 2001
According to the mental-model theory of deductive reasoning, reasoners use the meanings of assertions together with general knowledge to construct mental models of the possibilities compatible with the premises. Each model represents what is true in a possibility. A conclusion is held to be valid if it holds in all the models of the premises.
openaire +2 more sources
According to the mental-model theory of deductive reasoning, reasoners use the meanings of assertions together with general knowledge to construct mental models of the possibilities compatible with the premises. Each model represents what is true in a possibility. A conclusion is held to be valid if it holds in all the models of the premises.
openaire +2 more sources
A knowledge model for unifying deductive and non-deductive heterogeneous databases
IEEE Transactions on Knowledge and Data Engineering, 1995A new, much-needed knowledge model for integrating heterogeneous knowledge represented by independently developed deductive rules and diverse data models has been developed and is presented. It has the strength and expressiveness necessary to unify seemingly disparate, autonomous components.
Linda Sirounian, William I. Grosky
openaire +1 more source
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
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
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
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