SLR Inference: An Inference System For Fixed-Mode Logic Programs, Based On SLR Parsing

SLR Inference: An Inference System For Fixed-Mode Logic Programs, Based On SLR Parsing (1994)

Cached

Download Links

[cic2.iimas.unam.mx]

by David A. Rosenblueth , Julio C. Peralta

BibTeX

@MISC{Rosenblueth94slrinference:,
    author = {David A. Rosenblueth and Julio C. Peralta},
    title = {SLR Inference: An Inference System For Fixed-Mode Logic Programs, Based On SLR Parsing},
    year = {1994}
}

Bookmark

OpenURL

Abstract

Citations

1739	Foundations of logic programming - Lloyd
413	Semantics of context-free languages - Knuth - 1968
318	Definite Clause Grammars for Language Analysis—A Survey of the Formalism and a Comparison with Augmented Transition Networks - Pereira, Warren - 1980
139	On the Translation of Languages from Left to Right - Knuth - 1965
135	Parsing as deduction - Pereira, Warren - 1983
83	Predicate logic as a computational formalism - Clark - 1979
78	Deterministic techniques for efficient non-deterministic parsers - Lang - 1974
76	Reasoning about Prolog programs: From modes through types to assertions - Apt, Marchiori - 1994
68	A Grammatical View of Logic Programming - Deransart, Ma̷luszyński - 1993
65	An Efficient Augmented-Context-Free Parsing Algorithm - Tomita - 1987
21	Declarative programming in Prolog - Apt - 1993
18	Complete evaluation of Horn Clauses, an automata theoretic approach - Lang - 1988
14	Defimte clause translation grammars - ABRAMSON - 1984
14	A direct proof for the completeness of SLD-resolution - Stärk - 1990
12	AID: An Alternative Implementation of DCGs - Nilsson - 1986
12	LR inference: Inference systems for fixed-mode logic programs, based on LR parsing - Rosenblueth, Peralta - 1994
10	Datalog automata - Lang - 1988
9	logic programs resemble programs in conventional languages - Do - 1987
7	Decidable properties of monadic functional schemas - Ashcroft, Manna, et al. - 1973
7	Attribute-influenced LR parsing - Jones, Madsen
6	Consequence verification of flowcharts - Clark, Emden - 1981
6	Simple Program Schemes and Formal Languages - Engelfriet - 1974
5	On Ianov's program schemata - Rutledge - 1964
2	What kind of grammars are logic programs - Deransart, Maluszy'nski - 1992
2	Recursive algorithms and formal - Mazurkiewicz - 1972
2	Fixed-mode logic programs as state-oriented programs - Rosenblueth - 1991
1	Chart parsers as inference systems for fixed-mode logic programs - Rosenblueth - 1996
1	Deterministic and bottom-up parsing in Prolog - Stabler - 1983
1	A bottom-up parser based on predicate logic: A survey of the formalism and its implementation techique - Uehara, Ochitani, et al. - 1984
1	Coupled context-free grammar as a programming paradigm - Yamashita, Nakata - 1988