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

메뉴 건너뛰기

Proceedings of the International Conference on Autonomous Agents

Volumn , Issue 1, 2002, Pages 920-927

A logic of intention with cooperation principles and with assertive speech acts as communication primitives

(2) Herzig, Andreas a Longin, Dominique a

a IRIT (France)

Author keywords

And action; Belief; Cognitive robotics; Cooperation; Logic of intention

Indexed keywords

ARTIFICIAL INTELLIGENCE; COGNITIVE SYSTEMS; FORMAL LOGIC; MULTI AGENT SYSTEMS; ROBOTICS; SEMANTICS; THEOREM PROVING;

COGNITIVE ROBOTICS;

INTELLIGENT AGENTS;

EID: 0036355541 PISSN: None EISSN: None Source Type: Conference Proceeding
DOI: 10.1145/544951.544954 Document Type: Conference Paper

Times cited : (18)

References (30)

1
- 0003586486
- Oxford University Press
- (1962) How to Do Things with Words
- Austin, J.L.¹

2
- 0003975273
- Harvard University Press, Cambridge, MA
- (1987) Intention, Plans, and Practical Reason
- Bratman, M.E.¹

3
- 0010271205
- Modal tableaux with propagation rules and structural rules
- (1997) Fundamenta Informaticae , vol.32 , Issue.3-4 , pp. 281-297
- Castilho, M.A.¹ Del Cerro, L.F.² Gasquet, O.³ Herzig, A.⁴

4
- 85159754937
- Formalisation logique de la communication non littérale à la lumière d'aperçus pragmatiques et neuropsycholinguistiques
- B. Chaib-draa and P. Enjalbert, editors, 17 pages
- (2001) Proc. Journées Francophones Modèles Formels de l'Interaction (MFI'01) , vol.1 , pp. 31-47
- Champagne, M.¹ Faure, R.² Herzig, A.³ Longin, D.⁴ Luc, C.⁵ Nespoulous, J.-L.⁶ Virbel, J.⁷

5
- 85159746689
- Non literal communication: From pragmatical to logical and psycholinguistical aspects
- 23 pages
- (2001) Int. Colloc. on Cognitive Sciences (ICCS'01)
- Champagne, M.¹ Longin, D.²

6
- 0004232390
- Cambridge University Press
- (1980) Modal Logic: An introduction
- Chellas, B.F.¹

7
- 0025403233
- Intention is choice with commitment
- (1990) Artificial Intelligence Journal , vol.42 , Issue.2-3
- Cohen, P.R.¹ Levesque, H.J.²

8
- 0002629533
- Rational interaction as the basis for communication
- P. R. Cohen, J. Morgan, and M. E. Pollack, editors, MIT Press
- (1990) Intentions in Communication
- Cohen, P.R.¹ Levesque, H.J.²

9
- 0007895761
- Modal deduction with applications in epistemic and temporal logic
- D. Gabbay, C. J. Hogger, and J. A. Robinson, editors, Handbook of Logic and Artificial Intelligence, Oxford University Press
- (1995) Espistemic and Temporal Reasoning , vol.4 , pp. 499-594
- Del Cerro, L.F.¹ Herzig, A.²

10
- 0000925682
- From classical to normal modal logics
- H. Wansing, editor, Proof Theory of Modal Logics. Kluwer Academic Publishers
- (1996) Applied Logic Series , vol.2
- Gasquet, O.¹ Herzig, A.²

11
- 85159744195
- An analysis of communication in a logic of belief, intention and action
- Mar.
- (2001) Technical Report IRIT/2001-07-R , pp. 22
- Gasquet, O.¹ Herzig, A.² Longin, D.³

12
- 0000534475
- Logic and conversation
- J. Cole and J. Morgan, editors. Academic Press
- (1975) Syntaxe and Semantics: Speech acts, volume 3: Speech Acts , vol.3
- Grice, H.P.¹

13
- 84937329384
- Belief dynamics in cooperative dialogues
- 20 pages
- (2000) Journal of Semantics , vol.17 , Issue.2
- Herzig, A.¹ Longin, D.²

14
- 0002032997
- A representationalist theory of intention
- Morgan Kaufmann Publishers
- (1993) Proc. 13th Int. Joint Conf. on Artificial Intelligence (IJCAI'93)
- Konolige, K.¹ Pollack, M.E.²

15
- 0002572155
- Modeling rational agents within a BDI-architecture
- J. A. Allen, R. Fikes, and E. Sandewall, editors, Morgan Kaufmann Publishers
- (1991) Proc. Second Int. Conf. on Principles of Knowledge Representation and Reasoning (KR'91) , pp. 473-484
- Rao, A.S.¹ Georgeff, M.P.²

16
- 0002048328
- The frame problem in the situation calculus: A simple solution (sometimes) and a completeness result for goal regression
- V. Lifschitz, editor, Academic Press, San Diego, CA
- (1991) Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy , pp. 359-380
- Reiter, R.¹

17
- 0002638558
- A study in the logic of intention
- B. Nebel, C. Rich, and W. Swartout, editors, Morgan Kaufmann Publishers
- (1992) Proc. Third Int. Conf. on Principles of Knowledge Representation and Reasoning (KR'92) , pp. 462-473
- Sadek, M.D.¹

18
- 0002546649
- Dialogue acts are rational plans
- M. Taylor, F. Nel, and D. Bouwhuis, editors, Philadelphia/Amsterdam. John Benjamins publishing company. From ESCA/ETRW, Workshop on The Structure of Multimodal Dialogue (Venaco II)
- (1991) The structure of multimodal dialogue , pp. 167-188
- Sadek, M.D.¹

19
- 77956968248
- Completeness and correspondence in the first and second order semantics for modal logics
- S. Kanger, editor
- (1975) Proc. 3rd Scandinavian Logic Symposium, volume 82 of Studies in Logic , vol.82
- Sahlqvist, H.¹

20
- 0027704415
- The frame problem and knowledge producing actions
- AAAI Press
- (1993) Proc. Nat. Conf. on AI (AAAI'93) , pp. 689-695
- Scherl, R.¹ Levesque, H.J.²

21
- 0003488717
- Cambridge University Press
- (1969) Speech acts: An essay in the philosophy of language
- Searle, J.R.¹

22
- 0004077561
- Cambridge University Press
- (1979) Expression and Meaning
- Searle, J.R.¹

23
- 0003526087
- Cambridge University Press
- (1983) Intentionality: An essay in the philosophy of mind
- Searle, J.R.¹

24
- 0010252013
- PhD Thesis, Université Paul Sabatier, Toulouse, France, Mar.
- (1992) De l'action l'intention: Vers une caractrisation formelle des agents
- Seguin, C.¹

25
- 0010221571
- Modeling multiagent systems with the cognitive agents specification language - A feature interaction resolution application
- C. Castelfranchi and Y. Lesprance, editors. Springer-Verlag
- (2000) Intelligent Agents Vol. VII - Proc. 2000 Workshop on Agent Theories, Architectures, and Languages (ATAL-2000) , vol.7
- Shapiro, S.¹ Lespérance, Y.²

26
- 0010221403
- Specifying communicative multi-agent systems with ConGolog
- AAAI Press
- (1997) Working notes of the AAAI fall symposium on Communicative Action in Humans and Machines , pp. 75-82
- Shapiro, S.¹ Lespérance, Y.² Levesque, H.J.³

27
- 84959058880
- Specifying communicative multi-agent systems
- W. Wobcke, M. Pagnucco, and C. Zhang, editors, Springer-Verlag, LNAI 1441
- (1998) Agents and Multi-Agent Systems - Formalisms, Methodologies, and Applications , pp. 1-14
- Shapiro, S.¹ Lespérance, Y.² Levesque, H.J.³

28
- 0002684757
- Iterated belief change in the situation calculus
- (2000) Proc. Seventh Int. Conf. on Principles of Knowledge Representation and Reasoning (KR 2000) , pp. 527-538
- Shapiro, S.¹ Pagnucco, M.² Lespérance, Y.³ Levesque, H.J.⁴

29
- 0001206380
- Representing the knowledge of a robot
- A. Cohn, F. Giunchiglia, and B. Selman, editors, Morgan Kaufmann
- (2000) Proc. KR'00 , pp. 109-120
- Thielscher, M.¹

30
- 0010222355
- Formal pragmatics of non literal meaning
- (1997) Linguistische Berichte
- Vanderveken, D.¹

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