SCOPUS 정보 검색 플랫폼

IJCAI International Joint Conference on Artificial Intelligence

Volumn , Issue , 2011, Pages 313-318

Agents, actions and goals in dynamic environments

(2) Novák, Peter a Jamroga, Wojciech b

a CZECH TECHNICAL UNIVERSITY IN PRAGUE (Czech Republic)

b UNIVERSITY OF LUXEMBOURG (Luxembourg)

Author keywords

[No Author keywords available]

Indexed keywords

AGENT-ORIENTED PROGRAMMING; CONCEPTUAL FRAMEWORKS; DYNAMIC ENVIRONMENTS; MODEL OF EXECUTIONS;

ARTIFICIAL INTELLIGENCE;

EID: 84881068915 PISSN: 10450823 EISSN: None Source Type: Conference Proceeding
DOI: 10.5591/978-1-57735-516-8/IJCAI11-062 Document Type: Conference Paper

Times cited : (5)

References (11)

1
- 77049084629
- It usually works: The temporal logic of stochastic systems
- Proceedings of CAV
- A. Aziz, V. Singhal, R. K. Brayton, and A. L. Sangiovanni-Vincentelli. It usually works: The temporal logic of stochastic systems. In Proceedings of CAV, volume 939 of LNCS, pages 155-165, 1995.
- (1995) LNCS , vol.939 , pp. 155-165
- Aziz, A.¹ Singhal, V.² Brayton, R.K.³ Sangiovanni-Vincentelli, A.L.⁴

2
- 0010276940
- A logic for suspicious players
- A. Baltag. A logic for suspicious players. Bulletin of Economic Research, 54(1):1-46, 2002.
- (2002) Bulletin of Economic Research , vol.54 , Issue.1 , pp. 1-46
- Baltag, A.¹

3
- 0001700171
- A Markovian decision process
- R. Bellman. A Markovian decision process. Journal of Mathematics and Mechanics, 6:679-684, 1957.
- (1957) Journal of Mathematics and Mechanics , vol.6 , pp. 679-684
- Bellman, R.¹

4
- 33144455844
- A survey of programming languages and platforms for multi-agent systems
- Rafael H. Bordini, Lars Braubach, Mehdi Dastani, Amal El Fallah Seghrouchni, Jorge J. Gomez-Sanz, João Leite, Gregory O'Hare, Alexander Pokahr, and Alessandro Ricci. A survey of programming languages and platforms for multi-agent systems. Informatica, 30:33-44, 2006.
- (2006) Informatica , vol.30 , pp. 33-44
- Bordini, R.H.¹ Braubach, L.² Dastani, M.³ Seghrouchni, A.E.F.⁴ Gomez-Sanz, J.J.⁵ Leite, J.⁶ O'Hare, G.⁷ Pokahr, A.⁸ Ricci, A.⁹

5
- 0001449325
- Temporal and modal logic
- J. van Leeuwen, editor, Elsevier Science Publishers
- E. A. Emerson. Temporal and modal logic. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, volume B, pages 995-1072. Elsevier Science Publishers, 1990.
- (1990) Handbook of Theoretical Computer Science , vol.B , pp. 995-1072
- Emerson, E.A.¹

6
- 0003096318
- A logic for reasoning about time and reliability
- H. Hansson and B. Jonsson. A logic for reasoning about time and reliability. Formal Aspects of Computing, 6(5):512-535, 1994.
- (1994) Formal Aspects of Computing , vol.6 , Issue.5 , pp. 512-535
- Hansson, H.¹ Jonsson, B.²

7
- 0020194420
- PROCESS LOGIC: EXPRESSIVENESS, DECIDABILITY, COMPLETENESS.
- DOI 10.1016/0022-0000(82)90003-4
- D. Harel and D. Kozen. Process logic: Expressiveness, decidability, completeness. Journal of Computer and System Sciences, 25(2):144-170, 1982. (Pubitemid 13459078)
- (1982) Journal of Computer and System Sciences , vol.25 , Issue.2 , pp. 144-170
- Harel, D.¹ Kozen, D.² Parikh, R.³

8
- 0003415457
- Van Nostrand
- J. G. Kemeny, L. J. Snell, and A. W. Knapp. Denumerable Markov Chains. Van Nostrand, 1966.
- (1966) Denumerable Markov Chains
- Kemeny, J.G.¹ Snell, L.J.² Knapp, A.W.³

9
- 79955653673
- Code patterns for agent oriented programming
- P. Novák andW. Jamroga. Code patterns for agent oriented programming. In Proceedings of AAMAS'09, pages 105-112, 2009.
- (2009) Proceedings of AAMAS'09 , pp. 105-112
- Novák, P.¹ Jamroga, W.²

10
- 85047040703
- The temporal logic of programs
- A. Pnueli. The temporal logic of programs. In Proceedings of FOCS, pages 46-57, 1977.
- (1977) Proceedings of FOCS , pp. 46-57
- Pnueli, A.¹

11
- 0022954740
- A choppy logic
- R. Rosner and A. Pnueli. A choppy logic. In Proceedings of LICS, pages 306-313, 1986.
- (1986) Proceedings of LICS , pp. 306-313
- Rosner, R.¹ Pnueli, A.²

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