SCOPUS 정보 검색 플랫폼 - 논문 보기

메뉴 건너뛰기

The Journal of Logic Programming

Volumn 4, Issue 2, 1987, Pages 119-155

HORNLOG: A graph-based interpreter for general Horn clauses

(2) Gallier, Jean H a Raatz, Stan a

a NONE

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER METATHEORY - FORMAL LOGIC; COMPUTER OPERATING SYSTEMS - PROGRAM INTERPRETERS;

HORN CLAUSES; HORNLOG; LOGIC PROGRAMS; PROLOG SYSTEMS;

COMPUTER PROGRAMMING;

EID: 0023367322 PISSN: 07431066 EISSN: None Source Type: Journal
DOI: 10.1016/0743-1066(87)90015-X Document Type: Article

Times cited : (10)

References (28)

1
- 84976854971
- Theorem Proving via General Matings
- (1981) Journal of the ACM , vol.28 , Issue.2 , pp. 193-214
- Andrews¹

2
- 84976837285
- Contributions to the Theory of Logic Programming
- (1982) Journal of the ACM , vol.29 , Issue.3 , pp. 841-862
- Apt¹ Van Emden²

3
- 0342890536
- IBM T.J. Watson Research Center, Yorktown Heights, N.Y. 10598, Technical Report
- (1985) Towards a Theory of Declarative Knowledge
- Apt¹ Blair² Walker³

4
- 0004243841
- North-Holland
- (1978) Model Theory
- Chang¹ Keisler²

5
- 0018505915
- Using Rewriting Rules for Connection Graphs to Prove Theorems
- (1979) Artificial Intelligence , vol.12 , Issue.2 , pp. 159-178
- Chang¹ Slagle²

6
- 0000826543
- Negation as Failure
- Plenum
- (1978) Logic and Databases , pp. 293-322
- Clark¹

7
- 84910340824
- Connery, J. and Kibler, D., Parallel Interpretation of Logic Programs, in: Proceedings of the Conference on Functional Programming Languages and Computer Architecture, Vol. 1, pp. 163–170.

8
- 0021509216
- Linear-Time Algorithms for Testing the Satisfiability of Propositional Horn Formulae
- (1984) J. Logic Programming , vol.1 , Issue.3 , pp. 267-284
- Dowling¹ Gallier²

9
- 0002436797
- First-order Unification in an Equational Theory
- Austin, Tex.
- (1979) Proceedings of the 4th Workshop on Automated Deduction
- Fay¹

10
- 0022180593
- A Kripke/Kleene Semantics for Logic Programs
- (1985) J. Logic Programming , vol.2 , Issue.4 , pp. 295-312
- Fitting¹

11
- 84910372314
- Gallier, J.H., Fast Algorithms for Testing Unsatisfiability of Ground Horn Clauses with Equations. J. Symb. Comput., submitted for publication.

12
- 0003464393
- Harper and Row
- (1986) Logic for Computer Science: Foundations of Automatic Theorem Proving
- Gallier¹

13
- 84910322143
- Gallier, J.H. and Raatz, S., Logic Programming and Graph Rewriting, in: 1985 IEEE Symposium on Logic Programming, Boston, pp. 208–219.

14
- 84910367124
- Univ. of Pennsylvania, Philadelphia, Technical Report
- (1986) Theoretical Results for the hornlog Procedure
- Gallier¹ Raatz²

15
- 84910338635
- Gallier, J.H. and Raatz, S., SLD-Resolution Methods for Horn Clauses with Equality Based on E-Unification, in: 1986 IEEE Symposium on Login Programming, Salt Lake City, Utah, to appear.

16
- 84910346267
- Gallier, J.H. and Raatz, S., Extending SLD-Resolution to Equational Horn Clauses using E-unification, J. Logic Programming, to appear.

17
- 84987256962
- Building Friendly Parsers
- Albuquerque, N. Mex.
- (1982) POPL 9 , pp. 197-206
- Jalili¹ Gallier²

18
- 0016565757
- A Proof Procedure Using Connection Graphs
- (1975) J. Assoc. Comput. Mach. , vol.22 , Issue.4 , pp. 572-595
- Kowalski¹

19
- 0003840164
- Elsevier North-Holland
- (1979) Logic for Problem Solving
- Kowalski¹

20
- 0017013056
- The Semantics of Predicate Logic as a Programming Language
- (1976) Journal of the ACM , vol.23 , Issue.4 , pp. 733-742
- Kowalski¹ Van Emden²

21
- 0008267175
- Linear Resolution with Selection Function
- (1970) Artificial Intelligence , vol.2 , pp. 227-260
- Kowalski¹ Kuehner²

22
- 0003453263
- Springer, New York
- (1984) Foundations of Logic Programming
- Lloyd¹

23
- 0003720332
- North-Holland
- (1978) Automated Theorem Proving: A Logical Basis
- Loveland¹

24
- 0011555055
- Higher-order Logic Programming
- London
- (1986) Proceedings of Third International Conference on Logic Programming
- Miller¹ Nadathur²

25
- 84910355691
- Miller, D., A Theory of Modules for Logic Programming, in: 1986 IEEE Symposium on Logic Programming, Salt Lake City, Utah, to appear.

26
- 0004219017
- Tioga Press
- (1980) Principles of Artificial Intelligence
- Nilsson¹

27
- 84910318353
- Aspects of a Graph-Based Proof Procedure for Horn Clauses
- University of Pennsylvania, Dept. of Computer and Information Science
- (1987) Ph. D. Disseration
- Raatz¹

28
- 18144387961
- Formal Grammars as Models of Logic Derivations
- (1977) Proceedings of IJCAI-77 , pp. 544-551
- Sickel¹

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.