Smallest Horn Clause Programs

Smallest Horn Clause Programs (1994)

Cached

Download Links

[www.ps.uni-sb.de]

Other Repositories/Bibliography

DBLP

by P. Devienne , P. Lebègue , A. Parrain , J. C. Routier , J. Würtz , J. Würtz

Citations:

8 - 0 self

BibTeX

@MISC{Devienne94smallesthorn,
    author = {P. Devienne and P. Lebègue and A. Parrain and J. C. Routier and J. Würtz and J. Würtz},
    title = {Smallest Horn Clause Programs},
    year = {1994}
}

Years of Citing Articles

Bookmark

OpenURL

Abstract

Citations

713	Theory of Recursive Functions and Effective Computability - Rogers - 1967
135	PROLOG: Programming for artificial intelligence - Bratko - 2001
130	Fundamental properties of infinite trees - Courcelle - 1983
127	Termination of logic programs: The never-ending story - Schreye, Decorte - 1994
108	Flow Diagrams, Turing Machines and Languages with Only Two Formation Rules - Böhm, Jacopini - 1966
106	A variant of a recursively unsolvable problem - Post - 1946
79	The 3x + 1 problem and its generalizations - Lagarias - 1985
28	Some low-level source transformations for logic programs - Gallagher, Bruynooghe
23	On folk theorems - Harel - 1980
20	Simulation of Turing machines by a regular rewrite rule - Dauchet - 1992
19	Unpredictable Iterations - Conway - 1972
16	Decidability and undecidability results for boundedness of linear recursive queries - Vardi - 1988
10	Foundation of Logic Programming", Second Extended Edition, Springer-Verlag - Lloyd - 1987
9	Recurrence domains: Their unification and application to logic programming - Chen, Hsiang - 1995
9	Weighted graphs: A tool for studying the halting problem and time complexity in term rewrite systems and logic programming', Theoretical Computer Science 75(1&2 - Devienne
9	Satisfiability of the Smallest Binary Program - Hanschke, Wurtz
9	Horn Clause Computability - Tärnlund - 1977
8	Program transformation by data structure mapping - Hansson, Tarnlund - 1982
7	Implication of clauses is undecidable - Schmidt-Schau - 1988
6	Cycle unification - Bibel, Hölldobler, et al.
4	The decision problem for formulas with a small number of atomic subformulas - Goldfarb, Lewis - 1973
4	Solvable Classes of Cycle Unification Problems - Salzer - 1992
4	Unifying Cycles - Wurtz - 1992
3	Routier J.C. "Halting Problem of One Binary Horn Clause is Undecidable - Devienne, Leb`egue - 1993
3	Undecidable Optimisation Problems for Database Logic Programs - Gaifman, Mairson, et al. - 1987
3	The 3 Frenchmen Method Proves Undecidability of the Uniform Boundedness for Single Recursive Rule Ternary Datalog Programs - Marcinkowski
2	The recursion-theoretic complexity of predicate logic as programming language - Blair - 1982
2	Logic programming and Attribute grammars - Bouquard - 1992
2	Les Graphes orient'es pond'er'es : un outil pour l"etude de la terminaison et de la complexit'e dans les syst`emes de r'e'ecritures et en programmation logique - Devienne - 1987
2	Routier J.C. "The Emptiness Problem of One Binary Recursive Horn Clause is Undecidable - Devienne, Leb`egue - 1993
2	Contribution `a l'Etude de la Programmation Logique par les Graphes Orient'es Pond'er'es - Leb`egue - 1988
2	Unidecidability of Uniform Boundedness for Single Rule Datalog Programs." Submitted - Marcinkowski - 1995
2	Computation : Finite and Infinite Machines." Prentice--Hall - Minsky - 1967
2	Prolog programs transformations and Meta-- Interpreters." Logic program synthesis and transformation - Parrain, Devienne, et al. - 1991
1	editors. "Meta-Programming in Logic Programming ". Logic Programming serie - Abramson, Rogers - 1989
1	Devienne P., Leb`egue P. "Weighted Graphs : a Tool for Logic Programming. " 11th CAAP86 - Dauchet - 1986
1	Devienne P., Leb`egue P. "Weighted Systems of Equations - Dauchet - 1991
1	S'emantique logique et d'enotationnelle des interpr'eteurs Prolog - J-P - 1988
1	Verschaetse K., Bruynooghe M. "A practical technique for detecting nonterminating queries for a restricted class of Horn clauses, using directed weighted graphs - Schreye
1	Leb`egue P., Routier J.C. "Weighted Systems of Equations revisited - Devienne
1	One Binary Horn Clause is Enough - Devienne, Leb`egue, et al.
1	Smallest Horn Clause Programs (extended - Devienne, Leb`egue, et al.
1	Conway's Prime Producing Machine - Guy
1	Annoted Bibliography on Collatz Problem". Private Communication - Lagarias
1	The decision Problem for Formulae with a Bounded Number of Atomic Subformulae - Lewis - 1973
1	A Horn Clause that Implies an Undecidable Set of Horn Clauses." private communication - Marcinkowski - 1993
1	Undecidability of the Horn--Clause Implication Problem." FOCS - Marcinkowski, Pacholski - 1992
1	Transformations de Programmes Logiques et S'emantique Op'erationnelle - Parrain - 1994
1	Termination, Satisfiability and Computational Power of One Binary Horn Clause - Routier - 1994
1	A Single Recursive Predicate is Sufficient for Pure Datalog - Shmueli