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

메뉴 건너뛰기

The Journal of Logic Programming

Volumn 12, Issue 4, 1992, Pages 335-367

Theory of generalized annotated logic programming and its applications* * A preliminary report on this research has appeared in [34].

(2) Kifer, Michael a Subrahmanian, V S a

a NONE

Author keywords

[No Author keywords available]

Indexed keywords

EID: 44049120122 PISSN: 07431066 EISSN: None Source Type: Journal
DOI: 10.1016/0743-1066(92)90007-P Document Type: Article

Times cited : (316)

References (47)

1
- 0023561592
- Temporal Logic Programming
- (1987) Proceedings of the 4th IEEE Symposium on Logic Programming
- Abadi¹ Manna²

2
- 0002198395
- Towards a Theory of Declarative Knowledge
- J. Minker, Morgan-Kauffman, California, Los Altos
- (1988) Foundations of Deductive Databases and Logic Programming
- Apt¹ Blair² Walker³

3
- 0024860212
- Temporal Logic Programming is Complete and Expressive
- (1989) Proceedings of the ACM Conference on Principles of Programming Languages
- Baudinet¹

4
- 0001842932
- A Useful Four-Valued Logic
- G. Epstein, J.M. Dunn, G. Epstein, J.M. Dunn, Amsterdam, D. Reidel
- (1977) Modern Uses of Many-valued Logic
- Belnap¹

5
- 0024752094
- Paraconsistent Logic Programming
- (1989) Theoret. Comput. Sci. , vol.68 , pp. 135-154
- Blair¹ Subrahmanian²

6
- 84910843252
- Strong Completeness Results for Paraconsistent
- Syracuse University
- (1989) Logic Programming, Technical Report
- Blair¹ Subrahmanian²

7
- 2342636285
- Paraconsistent Foundations for Logic Programming
- (1988) J. Non-Classical Logic , vol.5 , pp. 45-73
- Blair¹ Subrahmanian²

8
- 0022583554
- A System That Extends Prolog with Modal Logic
- Tokyo
- (1986) New Generation Computing , vol.4 , pp. 35-50
- Farinas del¹ Molog²

9
- 84972535699
- On the Theory of Inconsistent Formal Systems
- (1974) Notre Dame Journal of Formal Logic , vol.15 , pp. 497-510
- da Costa¹

10
- 84972518108
- n
- (1977) Notre Dame Journal of Formal Logic , vol.18 , pp. 621-630
- da Costa¹ Alves²

11
- 11544260693
- Relations between Paraconsistent Logic and Many-valued Logic
- (1981) Bull. Section Logic , vol.10 , pp. 185-191
- da Costa¹ Alves²

12
- 84887121634
- Automatic Theorem Proving in Paraconsistent Logics: Theory and Implementation
- Lecture Notes in Computer Science
- (1990) Proceedings of the 10th International Conference on Automated Deduction
- da Costa¹ Henschen² Lu³ Subrahmanian⁴

13
- 84910833705
- da Costa, N.C.A., Subrahmanian, V.S., and Vago, C., The Paraconsistent Logics ⊙PT, Zeitschrift fur Mathematische Logik und Grundlagen der Mathematik, 37:139-148.

14
- 0009996547
- Toward Useful Type-Free Theories
- (1984) The Journal of Symbolic Logic , vol.49 , pp. 75-111
- Feferman¹

15
- 84910875559
- Fitting, M.C., Bilattices and the Theory of Truth, J. Philosophical Logic, to appear.

16
- 0023306087
- Enumeration Operators and Modular Logic Programming
- (1987) J. Logic Programming , vol.4 , pp. 11-21
- Fitting¹

17
- 0024034424
- Logic Programming on a Topological Bilattice
- (1988) Fundamenta Informaticae , vol.11 , pp. 209-218
- Fitting¹

18
- 44949277265
- Bilattices and the Semantics of Logic Programming
- (1991) J. Logic Programming , vol.11 , pp. 91-116
- Fitting¹

19
- 0024901611
- Negation as Refutation
- (1989) Proceedings of the 4th Symposium on Logic in Computer Science
- Fitting¹

20
- 0002642843
- Modal and Temporal Logic Programming
- A. Galton, Academic Press, Orlando, FL
- (1987) Temporal Logic in Computer Science
- Gabbay¹

21
- 0011654518
- Academic Press, Orlando, FL
- (1987) Temporal Logic in Computer Science
- Galton¹

22
- 84910834630
- Ganguly, D.D., and Ranka, S., A Space Efficient Coding Algorithm for Lattice Computations, draft manuscript.

23
- 84990616630
- Multivalued Logics A Uniform Approach To Reasoning in Artificial Intelligence
- (1988) Computational Intelligence , vol.4 , pp. 265-316
- Ginsberg¹

24
- 0039130249
- Bilattices and Modal Operators
- Morgan Kaufmann, California, Los Altos
- (1990) Proceedings of the 1990 International Conference on Theoretical Aspects of Reasoning about Knowledge
- Ginsberg¹

25
- 0004508444
- A High-Level Semantics Based on Interval Logic
- Springer, New York
- (1983) Proceedings of International Colloquium an Automata, Languages, and Programming
- Halpern¹ Manna² aiMoszkowski³

26
- 84910864316
- An Improved Resolution Procedure for Paraconsistent Logics
- Northwestern University
- (1990) Tech. Report
- Henschen¹ Lu² Subrahmanian³

27
- 0011780925
- Analysis of Meta-Programs
- University of Bristol, England
- (1988) Technical Report CS-88-08
- Hill¹ Lloyd²

28
- 1642428976
- Inference Methods Based on Extended Dempster and Shafer's Theory with Uncertainty/Fuzziness
- (1983) New Generation Comput. , vol.1 , pp. 159-168
- Ishizuka¹

29
- 0242648919
- PROLOG-ELF Incorporating Fuzzy Logic
- Tokyo
- (1985) New Generation Computing , vol.3 , pp. 479-486
- Ishizuka¹ Kanai²

30
- 0039193003
- Munich, Germany, POPL-87
- (1987) Constraint Logic Programming
- Jaffar¹ Lassez²

31
- 0001528031
- On the Semantics of Rule-Based Expert Systems with Uncertainty
- M. Gyssens, J. Paredaens, D. Van Gucht, Bruges, Belgium, Springer Verlag LNCS 326
- (1988) Second International Conference on Database Theory
- Kifer¹ Li²

32
- 0024876283
- RI: A Logic for Reasoning with Inconsistency
- Asilomar, California
- (1989) Proceedings of the Fourth Symposium on Logic in Computer Science
- Kifer¹ Lozinskii²

33
- 84910831238
- Kifer, M., and Lozinskii, E.L., A Logic for Reasoning with Inconsistency, J. Automated Reasoning, to appear.

34
- 0005314245
- On the Expressive Power of Annotated Logic Programs
- MIT Press, Cambridge, Massachusetts
- (1989) Proceedings of the 1989 North American Conference on Logic Programming
- Kifer¹ Subrahmanian²

35
- 0003453263
- Springer-Verlag, New York
- (1987) Foundations of Logic Programming
- Lloyd¹

36
- 3042997254
- A Unified Approach to Semantics of Multi-Valued Logic Programs
- IBM Tokyo, Tokyo, Japan
- (1990) Technical Report RT 5006
- Morishita¹

37
- 0022027701
- Languages with Self-Reference I: Foundations
- (1985) Artif. Intell. , vol.25 , pp. 301-322
- Perlis¹

38
- 0006354861
- Languages with Self-Reference II: Knowledge, Belief, and Modality
- (1988) Artif. Intell. , vol.34 , pp. 179-212
- Perlis¹

39
- 0022584035
- Some Relationships Between Logic Programming and Multiple-Valued Logic
- (1986) Proceedings of the IEEE International Symposium on Multiple-Valued Logic
- Rine¹

40
- 0020909774
- Logic Programs with Uncertainties: A Tool for Implementing Expert Systems
- William Kauffman
- (1983) Proceedings of IJCAI'83
- Shapiro¹

41
- 0003606771
- MIT Press, Cambridge, Massachusetts
- (1988) Reasoning About Change
- Shoham¹

42
- 0003810266
- Elsevier Science, New York
- (1976) Computer-Based Medical Consultation: MYCIN
- Shortliffe¹

43
- 0023590496
- On the Semantics of Quantitative Logic Programs
- Computer Society Press, Washington, D.C
- (1987) Proceedings of the 4th IEEE Symposium on Logic Programming
- Subrahmanian¹

44
- 0039387393
- Mechanical Proof Procedures for Many Valued Lattice Based Logic Programming
- (1990) J. of Non-Classical Logic , vol.7 , pp. 7-41
- Subrahmanian¹

45
- 84910837128
- Foundations of Metalogic Programming
- J. Lloyd, Bristol, England
- (1988) Proceedings of the Workshop on Meta-Programming in Logic Programming
- Subrahmanian¹

46
- 84910816940
- Paraconsistent Disjunctive Databases
- to appear
- (1992) Theoretical Computer Science Journal
- Subrahmanian¹

47
- 0022693287
- Quantitative Deduction and its Fixpoint Theory
- (1986) J. Logic Programming , vol.4 , pp. 37-53
- van¹

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