Access the full text.
Sign up today, get DeepDyve free for 14 days.
Loading next page...
/lp/springer-journals/backchain-iteration-towards-a-practical-inference-method-that-is-ckSkqUiRtJ
References (45)
-
F. Bancilhon, R. Ramakrishnan (1988)
Performance Evaluation of Data Intensive Logic Programs -
A. Walker (1981)
Syllog: A knowledge based data management system -
Yi-Dong Shen, Jia-Huai You, Li-Yan Yuan (2009)
Characterizations of stable model semantics for logic programs with arbitrary constraint atomsTheory and Practice of Logic Programming, 9
-
Christoph Lell (1991)
Using a Meta-Knowledge Method for Developing an Educational Knowledge-Based Application -
(1991)
Backchain iteration: towards a practical inference method that is simple enough to be proved terminating, sound and complete', Report RC 16849 -
I. Balbin, Krishnamurthy Meenakshi, K. Ramamohanarao (1988)
A Query Independent Method for Magic Set Computation on Stratified Databases -
Fernando Pereira, D. Warren (1983)
Parsing as Deduction -
H. Seki, H. Itoh (1988)
A Query Evaluation Method for Stratified Programs Under the Extended CWA -
L. Vielle (1989)
Recursive query processing: the power of logicTheoretical Computer Science, 69
-
(1989)
VLSI physical design planning using the Syllog expert database system', Report RC 14362 -
François Bry (1990)
Query Evaluation in Recursive Databases -
K. Clark (1978)
Logic and Databases -
(1990)
The Syllog expert database system: notes for users -
(1981)
A knowledge based data management system', Report No -
F. Bancilhon, D. Maier, Y. Sagiv, J. Ullman (1985)
Magic sets and other strange ways to implement logic programs (extended abstract) -
C. Beeri, R. Ramakrishnan (1987)
On the power of magicJ. Log. Program., 10
-
(1990)
If stratification is the cure, what is the malady?' Proc -
M. Emden, R. Kowalski (1976)
The semantics of predicate logic as a programming languageJournal of the Association for Computing Machinery, 23
-
François Bry (1990)
Query Evaluation in Deductive Databases: Bottom-Up and Top-Down ReconciledData Knowl. Eng., 5
-
Teodor Przymusinski (1988)
Perfect Model Semantics -
K. Ross (1990)
Modular stratification and magic sets for DATALOG programs with negationJ. ACM, 41
-
K. Apt, H. Blair, A. Walker (1988)
Towards a Theory of Declarative Knowledge -
K. Apt, M. Emden (1982)
Contributions to the Theory of Logic ProgrammingJ. ACM, 29
-
J. Naughton, R. Ramakrishnan, Y. Sagiv, J. Ullman (1989)
Efficient evaluation of right-, left-, and multi-linear rules, 18
-
(1990)
A simple, fast algorithm', 1991 Symposium on Applied Computing, April 3-5 (1991), Kansas City, Missouri -
(1978)
Negation as failure', in Logic and Databases -
M. Emden, R. Kowalski (1976)
The Semantics of Predicate Logic as a Programming LanguageJ. ACM, 23
-
R. Kowalski (1975)
A Proof Procedure Using Connection GraphsJ. ACM, 22
-
N. Foo, Anand Rao, Andrew Taylor, A. Walker (1988)
Deduced Relevant Types and Constructive Negation -
A. Lefebvre, L. Vieille (1989)
On Deductive Query Evaluation in the DedGin* System -
J. D. Ullman (1989)
Principles of Database and Knowledge-Base Systems. Volume II:The New Technologies -
J. Ullman (1988)
Principles of Database and Knowledge-Base Systems, Volume II, 14
-
I. Balbin, K. Meenakshi, K Ramamohanarao (1988)
Proceedings of the International Conference on Fifth Generation Computer Systems -
C. Lell (1991)
Proceedings of the DEXA 91 International Conference on Database and Expert Systems Applications -
M. Wallace (1990)
Unrestricted Logic Programs or if Stratification is the Cure, what is the Malady? -
R. A. Kowalski (1975)
A proof procedure using connection graphsJournal of the Association for Computing Machinery, 22
-
R. Waldinger, M. Stickel (1991)
Proving properties of rule-based systems[1991] Proceedings. The Seventh IEEE Conference on Artificial Intelligence Application, i
-
G. Gardarin, I. Guessarian, C. Maindreville (1989)
Translation of Logic Programs into Functional Fixpoint EquationsTheor. Comput. Sci., 63
-
K. R. Apt, M. H. Emden (1982)
Contributions to the theory of logic programmingJournal of the Association for Computing Machinery, 29
-
D. Kemp, R. Topor (1988)
Completeness of a Top-Down Query Evaluation Procedure for Stratified Databases -
P. Sheridan (1991)
On reordering conjunctions of literals; a simple, fast algorithm[Proceedings] 1991 Symposium on Applied Computing
-
Keith Clark (1987)
Negation as Failure -
L. Vieille (1989)
Recursive Query Processing: The Power of LogicTheor. Comput. Sci., 69
-
A. Walker, M. McCord, J. Sowa, Walter Wilson (1990)
Knowledge systems and Prolog - developing expert, database, and natural language systems (2. ed.) -
(1986)
Meta-Programmierung und Prolog, Addison-Wesley (1988). Also Meta-Interpreter Directed Compilation of Logic Programs into Prolog, Report RC 12113
- Publisher
- Springer Journals
- Copyright
- Copyright
- Subject
- Computer Science; Mathematical Logic and Formal Languages; Artificial Intelligence; Mathematical Logic and Foundations; Symbolic and Algebraic Manipulation
- ISSN
- 0168-7433
- eISSN
- 1573-0670
- DOI
- 10.1007/BF00881898
- Publisher site
- See Article on Publisher Site
Abstract
We focus on methods for interpreting stratified datalog programs with negation, and we describe progress towards a practical, yet simple method that treats such programs as executable specifications of deductive database applications.
Journal
Journal of Automated Reasoning – Springer Journals
Published: Dec 10, 2004