SCOPUS 정보 검색 플랫폼

International Journal of Intelligent Systems

Volumn 13, Issue 9, 1998, Pages 821-840

Logical inference of clauses based on Petri net models

(2) Lin, Chuang a Chanson, Samuel T b

a Economic Forecasting Department (China)

b HONG KONG UNIVERSITY OF SCIENCE AND TECHNOLOGY (Hong Kong)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; MATHEMATICAL MODELS; PETRI NETS; PROBLEM SOLVING;

FOUR-VALUED LOGIC; HORN CLAUSES; LOGICAL INFERENCE; MONOTONIC REASONING;

FORMAL LOGIC;

EID: 0032163149 PISSN: 08848173 EISSN: None Source Type: Journal
DOI: 10.1002/(SICI)1098-111X(199809)13:9<821::AID-INT3>3.0.CO;2-K Document Type: Article

Times cited : (8)

References (10)

1
- 0027612164
- Logical inference of Horn clauses in Petri net models
- C. Lin, A. Chaudhury, A.B. Whinston, and D.C. Marinescu, "Logical inference of Horn clauses in Petri net models," IEEE Trans. Knowledge Data Eng., 5, 416-425 (1993).
- (1993) IEEE Trans. Knowledge Data Eng. , vol.5 , pp. 416-425
- Lin, C.¹ Chaudhury, A.² Whinston, A.B.³ Marinescu, D.C.⁴

2
- 0026220611
- A Petri net model for reasoning in the presence of inconsistency
- T. Murata, V.S. Subrahmanian, and T. Wakayama, "A Petri net model for reasoning in the presence of inconsistency," IEEE Trans. Knowledge Data Eng., 3, 281-292 (1991).
- (1991) IEEE Trans. Knowledge Data Eng. , vol.3 , pp. 281-292
- Murata, T.¹ Subrahmanian, V.S.² Wakayama, T.³

3
- 0028530374
- A Petri net model for nonmonotonic reasoning based on annotated logic programs
- C. Lin and T. Murata, "A Petri net model for nonmonotonic reasoning based on annotated logic programs," IEICE Trans. Fund., E77-A, 1579-1587 (1994).
- (1994) IEICE Trans. Fund. , vol.E77-A , pp. 1579-1587
- Lin, C.¹ Murata, T.²

4
- 0024611746
- Proof procedure and answer extraction in Petri net model of logic programs
- G. Peterka and T. Murata, "Proof procedure and answer extraction in Petri net model of logic programs," IEEE Trans. Software Eng., 15, 209-217 (1989).
- (1989) IEEE Trans. Software Eng. , vol.15 , pp. 209-217
- Peterka, G.¹ Murata, T.²

5
- 11744340082
- Tech. Rep. EECS-87-2, Univ. Illinois at Chicago, April
- D. Zhang and T. Murata, Fixpoint Semantics for Predicate-Transition Net Model for Horn Clause Logic Programs, Tech. Rep. EECS-87-2, Univ. Illinois at Chicago, April 1987.
- (1987) Fixpoint Semantics for Predicate-Transition Net Model for Horn Clause Logic Programs
- Zhang, D.¹ Murata, T.²

6
- 79959900593
- Exploiting T-invariant analysis in diagnostic reasoning on Petri-net models
- LNCS 691, Springer-Verlag, Berlin
- L. Portinale, "Exploiting T-invariant analysis in diagnostic reasoning on Petri-net models," in Application and Theory of Petri Nets. LNCS 691, Springer-Verlag, Berlin, 1993, pp. 339-356.
- (1993) Application and Theory of Petri Nets. , pp. 339-356
- Portinale, L.¹

7
- 84944981235
- Net-based computational models of knowledge processing systems
- April
- A. Chaudhury, D.C. Marinescu, and A.B. Whinston, "Net-based computational models of knowledge processing systems," IEEE Expert, April, 79-86 (1993).
- (1993) IEEE Expert , pp. 79-86
- Chaudhury, A.¹ Marinescu, D.C.² Whinston, A.B.³

8
- 0003840164
- Elsevier Science, New York
- R. Kowalski, Logic for Problem Solving, Elsevier Science, New York, 1979.
- (1979) Logic for Problem Solving
- Kowalski, R.¹

9
- 84990623190
- A functional approach to nonmonotonic logic
- E. Sandewall, "A functional approach to nonmonotonic logic," Computer Intell. 1, 80-87 (1985).
- (1985) Computer Intell. , vol.1 , pp. 80-87
- Sandewall, E.¹

10
- 0025595344
- A Petri net-based algorithm for proofs in Horn clause propositional logic
- May
- T. Watanabe, Y. Mizobata, and K. Onaga, "A Petri net-based algorithm for proofs in Horn clause propositional logic," ISCAS 1990, May 1990.
- (1990) ISCAS 1990
- Watanabe, T.¹ Mizobata, Y.² Onaga, K.³

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