SCOPUS 정보 검색 플랫폼

IJCAI International Joint Conference on Artificial Intelligence

Volumn , Issue , 2007, Pages 1175-1180

On the logic of normative systems

(5) Ag̊otnes, Thomas a Van Der Hoek, Wiebe b Rodríguez Aguilar, Juan A c Sierra, Carles c Wooldridge, Michael b

a BERGEN UNIVERSITY COLLEGE (Norway)

b UNIVERSITY OF LIVERPOOL (United Kingdom)

c ARTIFICIAL INTELLIGENCE RESEARCH INSTITUTE IIIA CSIC (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

AXIOMATI-SATION; DEONTIC OPERATORS; GENERALISATION; MODEL CHECKING PROBLEM; NORMATIVE SYSTEM; PATH QUANTIFIERS; SOUND AND COMPLETE; SYMBOLIC REPRESENTATION;

MODEL CHECKING; TEMPORAL LOGIC;

ARTIFICIAL INTELLIGENCE;

EID: 84880858349 PISSN: 10450823 EISSN: None Source Type: Conference Proceeding
DOI: None Document Type: Conference Paper

Times cited : (103)

References (12)

1
- 0009005388
- In press
- R. Alur and T. A. Henzinger. Computer aided verification . In press.
- Computer Aided Verification
- Alur, R.¹ Henzinger, T.A.²

2
- 0032638016
- Reactive modules
- R. Alur and T. A. Henzinger. Reactive modules. Form. Meth. Sys. Des., 15(11), 1999.
- (1999) Form. Meth. Sys. Des. , vol.15 , Issue.11
- Alur, R.¹ Henzinger, T.A.²

3
- 0042908709
- Alternating-time temporal logic
- R. Alur, T. A. Henzinger, and O. Kupferman. Alternating-time temporal logic. JACM, 49(5):672-713, 2002.
- (2002) JACM , vol.49 , Issue.5 , pp. 672-713
- Alur, R.¹ Henzinger, T.A.² Kupferman, O.³

4
- 0346300919
- Tech. Rep. RS-95-18, Uni. Aarhus
- A. Cheng. Complexity results for model checking. Tech. Rep. RS-95-18, Uni. Aarhus, 1995.
- (1995) Complexity Results for Model Checking
- Cheng, A.¹

5
- 0003962322
- MIT Press
- E. M. Clarke, O. Grumberg, and D. A. Peled. Model Checking. MIT Press 2000.
- (2000) Model Checking
- Clarke, E.M.¹ Grumberg, O.² Peled, D.A.³

6
- 0001449325
- Temporal and modal logic
- J. van Leeuwen, editor, Elsevier
- E. A. Emerson. Temporal and modal logic. In J. van Leeuwen, editor, Hand. of Theor. Comp. Sci. Vol. B, pages 996-1072. Elsevier, 1990.
- (1990) Hand. of Theor. Comp. Sci. , vol.B , pp. 996-1072
- Emerson, E.A.¹

7
- 33845211223
- On the complexity of practical ATL model checking
- W. van der Hoek, A. Lomuscio, and M.Wooldridge. On the complexity of practical ATL model checking. In Proc. AAMAS-2006, 2006.
- (2006) Proc. AAMAS-2006
- Van Der Hoek, W.¹ Lomuscio, A.² Wooldridge, M.³

8
- 84880867732
- Wiley
- J.-J. Ch. Meyer and R. J. Wieringa, eds. Deontic Logic in Comp. Sci. Wiley, 1993.
- (1993) Deontic Logic in Comp. Sci.
- Ch Meyer, J.-J.¹ Wieringa, R.J.²

9
- 9444298254
- The complexity of temporal logic model checking
- P. Schnoebelen. The complexity of temporal logic model checking. In Advances in Modal Logic Vol 4, 2003.
- (2003) Advances in Modal Logic , vol.4
- Schnoebelen, P.¹

10
- 23844531545
- On social laws for artificial agent societies: Offline design
- MIT Press
- Y. Shoham and M. Tennenholtz. On social laws for artificial agent societies: Offline design. In Computational Theories of Interaction and Agency. MIT Press, 1996.
- (1996) Computational Theories of Interaction and Agency
- Shoham, Y.¹ Tennenholtz, M.²

11
- 0007861782
- Provably difficult combinatorial games
- L. J. Stockmeyer and A. K. Chandra. Provably difficult combinatorial games. SIAM Jnl of Comp., 8(2):151-174, 1979.
- (1979) SIAM Jnl of Comp. , vol.8 , Issue.2 , pp. 151-174
- Stockmeyer, L.J.¹ Chandra, A.K.²

12
- 23844527858
- On obligations and normative ability
- M. Wooldridge and W. van der Hoek. On obligations and normative ability. Jnl Appl. Logic, 4(3-4):396-420, 2005.
- (2005) Jnl Appl. Logic , vol.4 , Issue.3-4 , pp. 396-420
- Wooldridge, M.¹ Van Der Hoek, W.²

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