Searching for "Hierarchical Deduction." – sorted by Relevance.
-
Towards Integration Of Deductive Databases And Object-Oriented Databases: A Limited Survey
- TOWARDS INTEGRATION OF DEDUCTIVE DATABASES AND OBJECT-ORIENTED DATABASES: A Limited Survey 3
- Cited by 7 (7 self) – Add To MetaCart
-
Towards Creating Specialised Integrity Checks Through Partial Evaluation
- this scheme to specialise integrity checking in deductive databases. We present an interpreter which can
- Cited by 16 (14 self) – Add To MetaCart
-
Modelling for Understanding of Scientific Knowledge
- generally, formalisable) domain in which additional points are stressed besides the traditional hierarchical
- Add To MetaCart
-
KITP-93: An Automated Inference System for Program Analysis
- restriction is based on a partial set of support strategy of hierarchical deduction [4]). Many KB rules have
- Cited by 2 (2 self) – Add To MetaCart
-
Extended CUG for Free Word Order Languages and its Efficient Implementation within an IDA Architecture
- language interface is built out of canonical forms as hierarchical deductive database in LDL. This allows
- Cited by 4 (4 self) – Add To MetaCart
-
Partial Deduction of the Ground Representation and its Application to Integrity Checking
- . The approach was however limited to hierarchical deductive databases. In this paper, we show how to overcome
- Cited by 18 (11 self) – Add To MetaCart
-
Buchberger's algorithm: A constraint-based completion procedure
- are dealt with via constraints within a hierarchical deductive system. We shall outline both approaches
- Cited by 10 (2 self) – Add To MetaCart
-
TextNet -- A Text-based Intelligent System
- and hierarchical deductions are possible. The same for some of the verb relations such as entail or causation
- Cited by 8 (3 self) – Add To MetaCart
-
Learning Structurally Indeterminate Clauses
- ] incorporated ASSISTANT—an ID3-like algorithm— and NEWGEM— an AQ-like algorithm— in a hierarchical deductive
- Cited by 8 (2 self) – Add To MetaCart

