MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Hierarchical Deduction." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

9 documents found, showing 1 through 9.

ATOM

Towards Integration Of Deductive Databases And Object-Oriented Databases: A Limited Survey
by Kazumasa Yokota, Shojiro Nishio — 1989 — Proc. Advanced Database System Symposium, Kyoto
…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
by Michael Leuschel, Danny De Schreye — 1995
… 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
by Albano Gargiulo Salerno, G. Albano, G. Gargiulo, S. Salerno — 2001
… 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
by T. C. Wang, Allen Goldberg — 1994 — Proceedings of 12th Conference on Automated Deduction
… 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
by Werner Winiwarter — 1995 — Proc. ACLIC/PacFoCoL
… 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
by Michael Leuschel, Bern Martens — 1995 — Proceedings of ILPS'95, the International Logic Programming Symposium
…. 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
by Leo Bachmair, Harald Ganzinger — 1994
… 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
by Sanda Harabagiu, Dan I. Moldovan — 1996 — Natural Language Engineering
… 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
by Jean-Daniel Zucker , Jean-Gabriel Ganascia — 1998 — IN PROC. 8TH INTERNATIONAL CONFERENCE ON ILP
…] incorporated ASSISTANT—an ID3-like algorithm— and NEWGEM— an AQ-like algorithm— in a hierarchical deductive…
Cited by 8 (2 self) – Add To MetaCart

Showing 1 through 9.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB