SCOPUS 정보 검색 플랫폼

Volumn 1919, Issue , 2000, Pages 361-375

A framework for belief update

Author keywords

[No Author keywords available]

Indexed keywords

SEMANTICS;

REASONING ABOUT ACTIONS;

ARTIFICIAL INTELLIGENCE;

EID: 84943169148 PISSN: 03029743 EISSN: None Source Type: Conference Proceeding
DOI: 10.1007/3-540-40006-0_25 Document Type: Conference Paper

Times cited : (12)

References (14)

1
- 0031119829
- Representing actions: Laws, observations, and hypothesis
- C.Baral, M.Gelfond, and A.Provetti.Representing actions: laws, observations, and hypothesis.J.of Logic Programming, 31, 1997.
- (1997) J.of Logic Programming , vol.31
- Baral, C.¹ Gelfond, M.² Provetti, A.³

2
- 0002618729
- Generalized update: Belief change in dynamic settings
- C.Boutilier.Generalized update: belief change in dynamic settings.In Proc.of IJCAI'95, pages 1550-1556, 1995.
- (1995) Proc.of IJCAI'95 , pp. 1550-1556
- Boutilier, C.¹

3
- 0030146995
- Abduction to plausible causes: An event-based model of belief update
- C.Boutilier.Abduction to plausible causes: An event-based model of belief update.Artificial Intelligence, 83:143-166, 1996.
- (1996) Artificial Intelligence , vol.83 , pp. 143-166
- Boutilier, C.¹

4
- 0009455641
- Deriving properties of belief update from theories of action
- A.del Val and Y.Shoham.Deriving properties of belief update from theories of action.J.of Logic, Language and Information, 3:81-119, 1994.
- (1994) J.of Logic, Language and Information , vol.3 , pp. 81-119
- Del Val, A.¹ Shoham, Y.²

5
- 0000225039
- A knowledge-based framework for belief change, part II: Revision and update
- N.Friedman and J.Y.Halpern.A knowledge-based framework for belief change, part II: Revision and update.In Proc.of KR'94, pages 190-200, 1994.
- (1994) Proc.of KR'94 , pp. 190-200
- Friedman, N.¹ Halpern, J.Y.²

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

7
- 0026383919
- Propositional knowledge base revision and minimal change
- H.Katsuno and A.O.Mendelzon.Propositional knowledge base revision and minimal change.Artificial Intelligence, 52:263-294, 1991.
- (1991) Artificial Intelligence , vol.52 , pp. 263-294
- Katsuno, H.¹ Mendelzon, A.O.²

8
- 0030372121
- What is believed is what is explained
- R.Li and L.Pereira.What is believed is what is explained.In Proc.of AAAI'96, pages 550-555, 1996.
- (1996) Proc.of AAAI'96 , pp. 550-555
- Li, R.¹ Pereira, L.²

9
- 0242324512
- BReLS: A system for the integration of knowledge bases
- P.Liberatore and M.Schaerf.BReLS: A system for the integration of knowledge bases.In Proc.of KR 2000, pages 145-152, 2000.
- (2000) Proc.of KR 2000 , pp. 145-152
- Liberatore, P.¹ Schaerf, M.²

10
- 0342402433
- PMA epistemic entrenchment: The general case
- P.Peppas.PMA epistemic entrenchment: The general case.In Proc.of ECAI'96, pages 85-89, 1996.
- (1996) Proc.of ECAI'96 , pp. 85-89
- Peppas, P.¹

11
- 0004222285
- Oxford University Press
- E.Sandewall.Features and Fluents.Oxford University Press, 1994.
- (1994) Features and Fluents
- Sandewall, E.¹

12
- 84949982443
- Introduction to the fluent calculus
- M.Thielscher.Introduction to the fluent calculus.ETAI, 3, 19 9 8.
- ETAI , vol.3 , pp. 1998
- Thielscher, M.¹

13
- 85156267281
- Reasoning about actions using a possible models approach
- M.Winslett.Reasoning about actions using a possible models approach.In Proc.of AAAI'88, pages 89-93, 1988.
- (1988) Proc.of AAAI'88 , pp. 89-93
- Winslett, M.¹

14
- 0004246129
- Cambridge University Press
- M.Winslett.Updating Logical Databases.Cambridge University Press, 1990.
- (1990) Updating Logical Databases
- Winslett, M.¹

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