SCOPUS 정보 검색 플랫폼

Artificial Intelligence

Volumn 139, Issue 1, 2002, Pages 47-89

Clausal resolution in a logic of rational agency

(3) Dixon, Clare a Fisher, Michael a Bolotov, Alexander b

a UNIVERSITY OF LIVERPOOL (United Kingdom)

b UNIVERSITY OF WESTMINSTER (United Kingdom)

Author keywords

Automated deduction; Modal logics; Rational agents; Resolution; Temporal logics; Verification

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTATION THEORY; COMPUTER SOFTWARE; MULTI AGENT SYSTEMS;

PROOF SYSTEMS; RATIONAL AGENTS; TEMPORAL LOGICS;

LOGIC PROGRAMMING;

EID: 0036642061 PISSN: 00043702 EISSN: None Source Type: Journal
DOI: 10.1016/S0004-3702(02)00196-0 Document Type: Article

Times cited : (15)

References (47)

1
- 0005857679
- Ph.D. Thesis, Department of Computer Science, Stanford University, CA
- (1987) Temporal-logic theorem proving
- Abadi, M.¹

2
- 85034827823
- Modal theorem proving
- Springer, Berlin
- (1986) Lecture Notes in Computer Science , vol.230 , pp. 172-189
- Abadi, M.¹ Manna, Z.²

3
- 0005825950
- Modal theorem proving: An equational viewpoint
- Detroit, MI, Morgan Kaufmann, San Mateo, CA
- (1989) Proc. IJCAI-89 , pp. 441-445
- Auffray, Y.¹ Enjalbert, P.²

4
- 0036500398
- Combinations of modal logics
- to appear
- Artificial Intelligence Rev.
- Bennett, B.¹ Dixon, C.² Fisher, M.³ Franconi, E.⁴ Horrocks, I.⁵ Hustadt, U.⁶ De Rijke, M.⁷

5
- 0001856762
- Why combine logics?
- (1997) Studia Logica , vol.59 , pp. 5-27
- Blackburn, P.¹ De Rijke, M.²

6
- 4243305357
- Ph.D. Thesis, Department of Computing and Mathematics, Manchester Metropolitan University
- (2000) Clausal resolution for branching-time temporal logic
- Bolotov, A.¹

7
- 84949941695
- Resolution for branching time temporal logics: Applying the temporal resolution rule
- S. Goodwin, A. Trudel (Eds.), Cape Breton, NS, IEEE Computer Society Press, Los Alamitos, CA
- (2000) Proceedings of TIME-00 - The 7th International Workshop on Temporal Representation and Reasoning , pp. 163-172
- Bolotov, A.¹ Dixon, C.²

8
- 0031315112
- A resolution method for CTL branching-time temporal logic
- Daytona Beach, FL, IEEE Computer Society Press, Los Alamitos, CA
- (1997) Proceedings of TIME-97 - The 4th International Workshop on Temporal Representation and Reasoning , pp. 20-27
- Bolotov, A.¹ Fisher, M.²

9
- 0442282930
- A clausal resolution method for CTL branching time temporal logic
- (1999) J. Experiment. Theoret. Artificial Intelligence , vol.11 , pp. 77-93
- Bolotov, A.¹ Fisher, M.²

10
- 84976651772
- A decision method for linear temporal logic
- R.E. Shostak (Ed.), Proceedings of the 7th International Conference on Automated Deduction, Springer, Berlin
- (1984) Lecture Notes in Computer Science , vol.170 , pp. 113-127
- Cavalli, A.¹ Fariñas del Cerro, L.²

11
- 85037030721
- Design and synthesis of synchronisation skeletons using branching time temporal logic
- D. Kozen (Ed.), Proceedings of the Workshop on the Logic of Programs, Springer, Berlin
- (1981) Lecture Notes in Computer Science , vol.131 , pp. 52-71
- Clarke, E.M.¹ Emerson, E.A.²

12
- 84957714518
- Search strategies for resolution in temporal logics
- M.A. McRobbie, J.K. Slaney (Eds.), Proceedings of the 13th International Conference on Automated Deduction (CADE), New Brunswick, NJ, Springer, Berlin
- (1996) Lecture Notes in Artificial Intelligence , vol.1104 , pp. 672-687
- Dixon, C.¹

13
- 0032362014
- Temporal resolution using a breadth-first search algorithm
- (1998) Ann. Math. Artificial Intelligence , vol.22 , pp. 87-115
- Dixon, C.¹

14
- 0005783923
- Clausal resolution for logics of time and knowledge with synchrony and perfect recall
- H. Wansing, F. Wolter (Eds.), Leipzig, Germany
- (2000) Proceedings of ICTL-00 - The 3rd International Conference on Temporal Logic
- Dixon, C.¹ Fisher, M.²

15
- 0005782247
- Resolution-based proof for multi-modal temporal logics of knowledge
- S. Goodwin, A. Trudel (Eds.), Cape Breton, NS, IEEE Computer Society Press, Los Alamitos, CA
- (2000) Proceedings of TIME-00 - The 7th International Workshop on Temporal Representation and Reasoning , pp. 69-78
- Dixon, C.¹ Fisher, M.²

16
- 0005819457
- Resolution in a logic of rational agency
- Berlin, Germany, IOS Press, Amsterdam
- (2000) Proceedings 14th European Conference on Artificial Intelligence (ECAI 2000) , pp. 358-362
- Dixon, C.¹ Fisher, M.² Bolotov, A.³

17
- 0032093567
- Resolution for temporal logics of knowledge
- (1998) J. Logic Comput. , vol.8 , Issue.3 , pp. 345-372
- Dixon, C.¹ Fisher, M.² Wooldridge, M.³

18
- 0001449325
- Temporal and modal logic
- J. van Leeuwen (Ed.), Elsevier Science, Amsterdam
- (1990) Handbook of Theoretical Computer Science , pp. 996-1072
- Emerson, E.A.¹

19
- 0022012464
- Decision procedures and expressiveness in the temporal logic of branching time
- (1985) J. Comput. System Sci. , vol.30 , Issue.1 , pp. 1-24
- Emerson, E.A.¹ Halpern, J.Y.²

20
- 0024683313
- Modal resolution in clausal form
- (1989) Theoret. Comput. Sci. , vol.65 , pp. 1-33
- Enjalbert, P.¹ Fariñas del Cerro, L.²

21
- 0003730235
- MIT Press, Cambridge, MA
- (1995) Reasoning About Knowledge
- Fagin, R.¹ Halpern, J.Y.² Moses, Y.³ Vardi, M.Y.⁴

22
- 84880692588
- Implementing BDI-like systems by direct execution
- Nagoya, Japan, Morgan Kaufmann, San Mateo, CA
- (1997) Proceedings IJCAI-97 , pp. 316-321
- Fisher, M.¹

23
- 26644453020
- On the formal specification and verification of multi-agent systems
- (1997) Internat. J. Cooperat. Inform. Syst. , vol.6 , Issue.1 , pp. 37-66
- Fisher, M.¹ Wooldridge, M.²

24
- 0005860231
- Towards formal methods for agent-based systems
- D. Duke, A. Evans (Eds.), Electronic Workshops in Computing, Springer, Berlin
- (1997) Proceedings of the Northern Formal Methods Workshop (NFMW)
- Fisher, M.¹ Wooldridge, M.²

25
- 85016913363
- Clausal temporal resolution
- (2001) ACM Trans. Comput. Logic , vol.2 , Issue.1 , pp. 12-56
- Fisher, M.¹ Dixon, C.² Peim, M.³

26
- 0030300444
- Fibred-semantics and the weaving of logics, Part 1: Modal and intuitionistic logics
- (1996) J. Symbolic Logic , vol.61 , Issue.4 , pp. 1057-1120
- Gabbay, D.M.¹

27
- 0004340552
- submitted for publication
- (1999) Complete axiomatizations for reasoning about knowledge and time
- Halpern, J.Y.¹ Van der Meyden, R.² Vardi, M.³

28
- 0003015809
- The complexity of reasoning about knowledge and time: Extended abstract
- Berkeley, CA
- (1986) Proceedings of the 18th Annual ACM Symposium on Theory of Computing , pp. 304-315
- Halpern, J.Y.¹ Vardi, M.Y.²

29
- 0024605916
- The complexity of reasoning about knowledge and time, I: Lower bounds
- (1989) J. Comput. System Sci. , vol.38 , pp. 195-237
- Halpern, J.Y.¹ Vardi, M.Y.²

30
- 84886308598
- The FaCT system
- Automated Reasoning with Analytic Tableaux and Related Methods: International Conference (Tableaux'98), Springer, Berlin
- (1998) Lecture Notes in Computer Science , vol.1397 , pp. 307-312
- Horrocks, I.¹

31
- 84949225153
- Normal forms and proofs in combined modal and temporal logics
- Proceedings of the 3rd International Workshop on Frontiers of Combining Systems (FroCoS'2000), Springer, Berlin
- (2000) Lecture Notes in Artificial Intelligence , vol.1794 , pp. 73-87
- Hustadt, U.¹ Dixon, C.² Schmidt, R.A.³ Fisher, M.⁴

32
- 26844440891
- Verification within the KARO agent theory
- Proceedings of the First Goddard Workshop on Formal Approaches to Agent-Based Systems, Goddard Space, Flight Center, Greenbelt, MD, Springer, Berlin
- (2000) Lecture Notes in Computer Science , pp. 33-47
- Hustadt, U.¹ Dixon, C.² Schmidt, R.A.³ Fisher, M.⁴ Meyer, J.J.⁵ Van der Hoek, W.⁶

33
- 84880058914
- Reasoning about agents in the KARO framework
- C. Bettini, A. Montanari (Eds.), Cividale del Friuli, Italy, IEEE Press
- (2001) Proceedings of the 8th International Symposium on Temporal Representation and Reasoning (TIME-01) , pp. 206-213
- Hustadt, U.¹ Dixon, C.² Schmidt, R.A.³ Fisher, M.⁴ Meyer, J.-J.⁵ Van der Hoek, W.⁶

34
- 84867760693
- Tableaux for temporal description logic with constant domains
- Automated Reasoning, Springer, Berlin
- (2001) Lecture Notes in Artificial Intelligence , vol.2083 , pp. 121-136
- Lutz, C.¹ Sturm, H.² Wolter, F.³ Zakharyaschev, M.⁴

35
- 33746222270
- Gentzen-type systems and resolution rules, Part I: Propositional logic
- Springer, Berlin
- (1990) Lecture Notes in Computer Science , vol.417 , pp. 198-231
- Mints, G.¹

36
- 0002803311
- A formal theory of knowledge and action
- J.F. Allen, J. Hendler A. Tate (Eds.), Morgan Kaufmann, San Mateo, CA
- (1990) Readings in Planning , pp. 480-519
- Moore, R.C.¹

37
- 0000037297
- Resolution-based methods for modal logics
- (2000) Logic J. IGPL , vol.8 , Issue.3 , pp. 265-292
- De Nivelle, H.¹ Schmidt, R.A.² Hustadt, U.³

38
- 84957685576
- Resolution-based calculi for modal and temporal logics
- M.A. McRobbie, J.K. Slaney (Eds.), Proceedings of the 13th International Conference on Automated Deduction (CADE), New Brunswick, NJ, Springer Berlin
- (1996) Lecture Notes in Artificial Intelligence , vol.1104 , pp. 598-612
- Nonnengart, A.¹

39
- 84990592461
- A resolution calculus for modal logics
- Springer, Berlin
- (1988) Lecture Notes in Computer Science , vol.310 , pp. 500-516
- Ohlbach, H.-J.¹

40
- 84888496147
- A structure-preserving clause form translation
- (1986) J. Symbolic Comput. , vol.2 , Issue.3 , pp. 293-304
- Plaisted, D.A.¹ Greenbaum, S.A.²

41
- 0002742299
- Decision procedures for propositional linear-time belief-desire-intention logics
- M. Wooldridge, K. Fischer, P. Gmytrasiewicz, N.R. Jennings, J.P. Müller, M. Tambe (Eds.), Montréal, Quebec
- (1995) Proceedings IJCAI-95 Workshop on Agent Theories, Architectures, and Languages , pp. 102-118
- Rao, A.S.¹

42
- 0002572155
- Modeling rational agents within a BDI-architecture
- J.F. Allen, R. Fikes, E. Sandewall (Eds.), Cambridge, MA, Morgan Kaufmann, San Mateo, CA
- (1991) Proceedings KR-91 , pp. 473-484
- Rao, A.S.¹ Georgeff, M.P.²

43
- 0032092102
- Decision procedures for BDI logics
- (1998) J. Logic Comput. , vol.8 , Issue.3 , pp. 293-342
- Rao, A.S.¹ Georgeff, M.P.²

44
- 84957630429
- Formalising motivational attitudes of agents: On preferences, goals and commitments
- M. Wooldridge, J.P. Müller, M. Tambe (Eds.), Intelligent Agents II, Springer, Berlin
- (1996) Lecture Notes in Artificial Intelligence , vol.1037 , pp. 17-32
- Van Linder, B.¹ Van der Hoek, W.² Meyer, J.J.Ch.³

45
- 85034811871
- A decision method for temporal logic based on resolution
- Springer, Berlin
- (1986) Lecture Notes in Computer Science , vol.206 , pp. 272-289
- Venkatesh, G.¹

46
- 0000640250
- A tableau-based proof method for temporal logics of knowledge and belief
- (1998) J. Appl. Non-Classical Logics , vol.8 , Issue.3 , pp. 225-258
- Wooldridge, M.¹ Dixon, C.² Fisher, M.³

47
- 84974593008
- A decision procedure for a temporal belief logic
- D.M. Gabbay, H.J. Ohlbach (Eds.), Proceedings Temporal Logic, First International Conference, ICTL'94, Bonn, Germany, Springer Berlin
- (1994) Lecture Notes in Artificial Intelligence , vol.827
- Wooldridge, M.¹ Fisher, M.²

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