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

메뉴 건너뛰기

Artificial Intelligence

Volumn 96, Issue 2, 1997, Pages 451-465

On the logic of causal explanation

(1) Lifschitz, Vladimir a

a University of Texas at Austin (United States)

Author keywords

Actions; Causal logic; Circumscription

Indexed keywords

FORMAL LOGIC;

CAUSAL LOGIC; MCCAIN TURNER LOGIC;

COMPUTATIONAL LINGUISTICS;

EID: 0031274918 PISSN: 00043702 EISSN: None Source Type: Journal
DOI: 10.1016/S0004-3702(97)00057-X Document Type: Article

Times cited : (54)

References (13)

1
- 0009444778
- Untersuchungen über das eliminationsproblem der mathematischen logik
- W. Ackermann, Untersuchungen über das Eliminationsproblem der mathematischen Logik, Math. Ann. 110 (1935) 390-413.
- (1935) Math. Ann. , vol.110 , pp. 390-413
- Ackermann, W.¹

2
- 0141780306
- Embedding defaults into terminological knowledge representation formalisms
- F. Baader and B. Hollunder, Embedding defaults into terminological knowledge representation formalisms, J. Automated Reasoning 14 (1995) 149-180.
- (1995) J. Automated Reasoning , vol.14 , pp. 149-180
- Baader, F.¹ Hollunder, B.²

3
- 0000826543
- Negation as failure
- H. Gallaire and J. Minker Plenum Press, New York
- K. Clark, Negation as failure, in: H. Gallaire and J. Minker, eds., Logic and Data Bases (Plenum Press, New York, 1978) 293-322.
- (1978) Logic and Data Bases , pp. 293-322
- Clark, K.¹

4
- 85158046265
- Causal theories for nonmonotonic reasoning
- Boston, MA
- H. Geffner, Causal theories for nonmonotonic reasoning, in: Proceedings AAAI-90, Boston, MA (1990) 524-530.
- (1990) Proceedings AAAI-90 , pp. 524-530
- Geffner, H.¹

5
- 0027694534
- Representing action and change by logic programs
- M. Gelfond and V. Lifschitz, Representing action and change by logic programs, J. Logic Programming 17 (1993) 301-322.
- (1993) J. Logic Programming , vol.17 , pp. 301-322
- Gelfond, M.¹ Lifschitz, V.²

6
- 0002303187
- Planning as satisfiability
- Vienna, Austria
- H. Kautz and B. Selman, Planning as satisfiability, in: Proceedings ECAI-92, Vienna, Austria (1992) 359-363.
- (1992) Proceedings ECAI-92 , pp. 359-363
- Kautz, H.¹ Selman, B.²

7
- 1642604709
- Things that change by themselves
- Detroit, MI
- V. Lifschitz and A. Rabinov, Things that change by themselves, in: Proceedings IJCAI-89, Detroit, MI (1989) 864-867.
- (1989) Proceedings IJCAI-89 , pp. 864-867
- Lifschitz, V.¹ Rabinov, A.²

8
- 0000185454
- Circumscription
- D.M. Gabbay, C.J. Hogger and J.A. Robinson, eds., Oxford University Press, Oxford
- V. Lifschitz, Circumscription, in: D.M. Gabbay, C.J. Hogger and J.A. Robinson, eds., The Handbook of Logic in AI and Logic Programming, Vol. 3 (Oxford University Press, Oxford, 1994) 298-352.
- (1994) The Handbook of Logic in AI and Logic Programming , vol.3 , pp. 298-352
- Lifschitz, V.¹

9
- 0005498652
- Embracing causality in specifying the indirect effects of actions
- Montreal, Que.
- F. Lin, Embracing causality in specifying the indirect effects of actions, in: Proceedings IJCAI-95, Montreal, Que. (1995) 1985-1991.
- (1995) Proceedings IJCAI-95 , pp. 1985-1991
- Lin, F.¹

10
- 85168160290
- A causal theory of ramifications and qualifications
- Montreal, Que.
- N. McCain and H. Turner, A causal theory of ramifications and qualifications, in: Proceedings IJCAI-95, Montreal, Que. (1995) 1978-1984.
- (1995) Proceedings IJCAI-95 , pp. 1978-1984
- McCain, N.¹ Turner, H.²

11
- 0031348986
- Causal theories of action and change
- Providence, RI
- N. McCain and H. Turner, Causal theories of action and change, in: Proceedings AAAI-97, Providence, RI (1997) 460-465.
- (1997) Proceedings AAAI-97 , pp. 460-465
- McCain, N.¹ Turner, H.²

12
- 30244490496
- Satisfiability planning with causal theories
- Providence, RI
- N. McCain and H. Turner, Satisfiability planning with causal theories, in: Working Notes AAAI-97 Workshop on Robots, Softbots, Immobots: Theories of Action, Planning and Control, Providence, RI (1997) 61-81.
- (1997) Working Notes AAAI-97 Workshop on Robots, Softbots, Immobots: Theories of Action, Planning and Control , pp. 61-81
- McCain, N.¹ Turner, H.²

13
- 49149147322
- A logic for default reasoning
- R. Reiter, A logic for default reasoning, Artificial Intelligence 13 (1980) 81-132.
- (1980) Artificial Intelligence , vol.13 , pp. 81-132
- Reiter, R.¹

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