-
1
-
-
0003436260
-
-
Morgan Kaufman, Los Altos (CA)
-
Allen, J., Hendler, J., Tate, J., Eds.: Readings in Planning, Morgan Kaufman, Los Altos (CA), 1990.
-
(1990)
Readings in Planning
-
-
Allen, J.1
Hendler, J.2
Tate, J.3
-
2
-
-
84977323324
-
Seeing to it that: A Canonical Form for Agentives
-
Belnap, N., Perloff, M.: Seeing to it that: A Canonical Form for Agentives, Theoria, 54, 1988, 175-199.
-
(1988)
Theoria,
, vol.54
, pp. 175-199
-
-
Belnap, N.1
Perloff, M.2
-
4
-
-
0003975273
-
-
Harvard University Press, Cambridge (MA)
-
Bratman, M.: Intention, Plans, and Practical Reason, Harvard University Press, Cambridge (MA), 1987.
-
(1987)
Intention, Plans, and Practical Reason
-
-
Bratman, M.1
-
6
-
-
0002755418
-
Commitments: From Individual Intentions to Groups and Organizations
-
Castelfranchi, C.: Commitments: From Individual Intentions to Groups and Organizations, in: Lesser [36], 41-48.
-
Lesser
, Issue.36
, pp. 41-48
-
-
Castelfranchi, C.1
-
8
-
-
0008718220
-
-
Kluwer, Dordrecht
-
Castelfranchi, C., Tan, Y.-H., Eds.: Trust and Deception in Virtual Societies, Kluwer, Dordrecht, 2001.
-
(2001)
Trust and Deception in Virtual Societies
-
-
Castelfranchi, C.1
Tan, Y.-H.2
-
9
-
-
84959058512
-
Social and Individual Commitment (Preliminary Report)
-
L. Cavedon, A. Rao, W. Wobcke, Eds. of LNAI, Springer Verlag, Berlin
-
Cavedon, L., Rao, A., Tidhar, G.: Social and Individual Commitment (Preliminary Report), in: Intelligent Agent Systems: Theoretical and Practical Issues (L. Cavedon, A. Rao, W. Wobcke, Eds.), vol. 1209 of LNAI, Springer Verlag, Berlin, 1997, 152-163.
-
(1997)
Intelligent Agent Systems: Theoretical and Practical Issues
, vol.1209
, pp. 152-163
-
-
Cavedon, L.1
Rao, A.2
Tidhar, G.3
-
10
-
-
0025403233
-
Intention is Choice with Commitment
-
Cohen, P., Levesque, H.: Intention is Choice with Commitment, Artificial Intelligence, 42, 1990, 213-261.
-
(1990)
Artificial Intelligence
, vol.42
, pp. 213-261
-
-
Cohen, P.1
Levesque, H.2
-
11
-
-
0010480892
-
Intentional Agents and Goal Formation: Extended Abstract
-
M. Singh, A. Rao, M. Wooldridge, Eds.), Providence, Rhode Island
-
Dignum, F., Conte, R.: Intentional Agents and Goal Formation: Extended Abstract, Preproceedings Fourth International Workshop on Agent Theories, Architectures and Languages (M. Singh, A. Rao, M. Wooldridge, Eds.), Providence, Rhode Island, 1997.
-
(1997)
Preproceedings Fourth International Workshop on Agent Theories, Architectures and Languages
-
-
Dignum, F.1
Conte, R.2
-
12
-
-
0242473316
-
Agent Theory for Team Formation by Dialogue
-
C. Castelfranchi, Y. Lesperance, Eds., Springer Verlag, Berlin
-
Dignum, F., Dunin-Kȩplicz, B., Verbrugge, R.: Agent Theory for Team Formation by Dialogue, Intelligent Agents VII: Agent Theories, Architectures and Languages (C. Castelfranchi, Y. Lesperance, Eds.), 1986, Springer Verlag, Berlin, 2001.
-
(1986)
Intelligent Agents VII: Agent Theories, Architectures and Languages
-
-
Dignum, F.1
Dunin-Kȩplicz, B.2
Verbrugge, R.3
-
13
-
-
0010276187
-
Creating Collective Intention through Dialogue
-
Dignum, F., Dunin-Kȩplicz, B., Verbrugge, R.: Creating Collective Intention through Dialogue, Logic Journal of the IGPL, 9, 2001, 145-158.
-
(2001)
Logic Journal of the IGPL
, vol.9
, pp. 145-158
-
-
Dignum, F.1
Dunin-Kȩplicz, B.2
Verbrugge, R.3
-
14
-
-
23544478995
-
Actions with Typical Effects: Epistemic Characterization of Scenarios]
-
Dunin-Kȩplicz, B., Radzikowska, A.: Actions with Typical Effects: Epistemic Characterization of Scenarios, in: Lesser [36], page 445.
-
Lesser
, Issue.36
, pp. 445
-
-
Dunin-Kȩplicz, B.1
Radzikowska, A.2
-
18
-
-
0010434177
-
Collective motivational attitudes in cooperative problem solving
-
V. Gorodetsky, Ed., St. Petersburg
-
Dunin-Kȩplicz, B., Verbrugge, R.: Collective motivational attitudes in cooperative problem solving, Proceedings of the First International Workshop of Eastern and Central Europe on Multi-agent Systems (CEEMAS'99) (V. Gorodetsky, Ed.), St. Petersburg, 1999.
-
(1999)
Proceedings of the First International Workshop of Eastern and Central Europe on Multi-agent Systems (CEEMAS'99)
-
-
Dunin-Kȩplicz, B.1
Verbrugge, R.2
-
19
-
-
0001939372
-
A Reconfiguration Algorithm for Distributed Problem Solving
-
Dunin-Kȩplicz, B., Verbrugge, R.: A Reconfiguration Algorithm for Distributed Problem Solving, Electronic Modeling, 22, 2000, 68-86.
-
(2000)
Electronic Modeling
, vol.22
, pp. 68-86
-
-
Dunin-Kȩplicz, B.1
Verbrugge, R.2
-
20
-
-
0010510819
-
The Role of Dialogue in Collective Problem Solving
-
E. Davis, J. McCarthy, L. Morgenstern, R. Reiter, Eds., New York
-
Dunin-Kȩplicz, B., Verbrugge, R.: The Role of Dialogue in Collective Problem Solving, Proceedings of the Fifth International Symposium on the Logical Formalization of Common sense Reasoning (Commonsense 2001) (E. Davis, J. McCarthy, L. Morgenstern, R. Reiter, Eds.), New York, 2001.
-
(2001)
Proceedings of the Fifth International Symposium on the Logical Formalization of Common Sense Reasoning (Commonsense 2001)
-
-
Dunin-Kȩplicz, B.1
Verbrugge, R.2
-
21
-
-
0036657375
-
Collective Intentions
-
Dunin-Kȩplicz, B., Verbrugge, R.: Collective Intentions, Fundamenta Informaticae, 51(3), 2002, 271-295.
-
(2002)
Fundamenta Informaticae
, vol.51
, Issue.3
, pp. 271-295
-
-
Dunin-Kȩplicz, B.1
Verbrugge, R.2
-
22
-
-
4544359828
-
Calibrating collective commitments
-
J. V.Marik, M. Pechoucek, Eds., Springer Verlag, Berlin
-
Dunin-Kȩplicz, B., Verbrugge, R.: Calibrating collective commitments, Proceedings of The 3rd International Central and Eastern European Conference on Multi-Agent Systems (J. V.Marik, M. Pechoucek, Eds.), 2691, Springer Verlag, Berlin, 2003.
-
(2003)
Proceedings of the 3rd International Central and Eastern European Conference on Multi-agent Systems
, vol.2691
-
-
Dunin-Kȩplicz, B.1
Verbrugge, R.2
-
23
-
-
0003730235
-
-
MIT Press, Cambridge, MA
-
Fagin, R., Halpern, J., Moses, Y., Vardi, M.: Reasoning about Knowledge, MIT Press, Cambridge, MA, 1995.
-
(1995)
Reasoning about Knowledge
-
-
Fagin, R.1
Halpern, J.2
Moses, Y.3
Vardi, M.4
-
24
-
-
0018454915
-
Prepositional dynamic logic of regular programs
-
Fischer, M., Ladner, R.: Prepositional dynamic logic of regular programs, Journal of Computer and System Sciences, 18(2), 1979, 194-211.
-
(1979)
Journal of Computer and System Sciences
, vol.18
, Issue.2
, pp. 194-211
-
-
Fischer, M.1
Ladner, R.2
-
25
-
-
53249127415
-
Reasoning about Information Change
-
Gerbrandy, J., Groeneveld, W.: Reasoning about Information Change, Journal of Logic, Language and Information, 6(2), 1997, 147-169.
-
(1997)
Journal of Logic, Language and Information
, vol.6
, Issue.2
, pp. 147-169
-
-
Gerbrandy, J.1
Groeneveld, W.2
-
26
-
-
0003697514
-
-
Number 7 in CSLI Lecture Notes, Center for Studies in Language and Information, Palo Alto (CA)
-
Goldblatt, R.: Logics of Time and Computation, Number 7 in CSLI Lecture Notes, Center for Studies in Language and Information, Palo Alto (CA), 1992.
-
(1992)
Logics of Time and Computation
-
-
Goldblatt, R.1
-
27
-
-
0002367531
-
Why is Modal Logic so Robustly Decidable?
-
Graedel, E.: Why is Modal Logic so Robustly Decidable?, Bulletin of the EATCS, 68, 1999, 90-103.
-
(1999)
Bulletin of the EATCS
, vol.68
, pp. 90-103
-
-
Graedel, E.1
-
28
-
-
0030263767
-
Collaborative Plans for Complex Group Action
-
Grosz, B., Kraus, S.: Collaborative Plans for Complex Group Action, Artificial Intelligence, 86(2), 1996, 269-357.
-
(1996)
Artificial Intelligence
, vol.86
, Issue.2
, pp. 269-357
-
-
Grosz, B.1
Kraus, S.2
-
29
-
-
0029325570
-
The Effect of Bounding the Number of Primitive Propositions and the Depth of Nesting on the Complexity of Modal Logic
-
Halpern, J.: The Effect of Bounding the Number of Primitive Propositions and the Depth of Nesting on the Complexity of Modal Logic, Artificial Intelligence, 75, 1995, 361-372.
-
(1995)
Artificial Intelligence
, vol.75
, pp. 361-372
-
-
Halpern, J.1
-
30
-
-
0025460546
-
Knowledge and Common Knowledge in a Distributed Environment
-
Halpern, J., Moses, Y.: Knowledge and Common Knowledge in a Distributed Environment, Journal of the ACM, 37, 1990, 549-587.
-
(1990)
Journal of the ACM
, vol.37
, pp. 549-587
-
-
Halpern, J.1
Moses, Y.2
-
31
-
-
0003879225
-
-
MIT Press, Cambridge, MA
-
Harel, D., Kozen, D., Tiuryn, J.: Dynamic Logic, MIT Press, Cambridge, MA, 2000.
-
(2000)
Dynamic Logic
-
-
Harel, D.1
Kozen, D.2
Tiuryn, J.3
-
32
-
-
0010221548
-
An Integrated Modal Approach to Rational Agents
-
A. Rao, M. Wooldridge, Eds., Kluwer, Dordrecht
-
van der Hoek, W., van Linder, B., Meyer, J.-J. C.: An Integrated Modal Approach to Rational Agents, in: Foundations of Rational Agency (A. Rao, M. Wooldridge, Eds.), Kluwer, Dordrecht, 1999, 37-75.
-
(1999)
Foundations of Rational Agency
, pp. 37-75
-
-
Van der Hoek, W.1
Van Linder, B.2
Meyer, J.-J.C.3
-
33
-
-
84880646951
-
On Evaluating Decision Procedures for Modal Logics
-
M. Pollack, Ed., Morgan Kauffman, Los Angeles (CA)
-
Hustadt, U., Schmidt, R.: On Evaluating Decision Procedures for Modal Logics, Proceedings IJCAI'97 (M. Pollack, Ed.), Morgan Kauffman, Los Angeles (CA), 1997.
-
(1997)
Proceedings IJCAI'97
-
-
Hustadt, U.1
Schmidt, R.2
-
34
-
-
0033189501
-
A Logical Approach to the Dynamics of Commitments
-
J-J. Ch. Meyer, W. v. d. H., van Linder, B.: A Logical Approach to the Dynamics of Commitments, Artificial Intelligence, 113(1-2), 1999, 1-41.
-
(1999)
Artificial Intelligence
, vol.113
, Issue.1-2
, pp. 1-41
-
-
Meyer, J.-J.Ch.1
Van Linder, W.V.D.H.B.2
-
35
-
-
0002032997
-
A representationalist theory of intention
-
R. Bajcsy, Ed., Morgan Kaufmann publishers Inc.: San Mateo, CA, USA, Chambéry, France
-
Konolige, K., Pollack, M. E.: A representationalist theory of intention, Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence (IJCAI-93) (R. Bajcsy, Ed.), Morgan Kaufmann publishers Inc.: San Mateo, CA, USA, Chambéry, France, 1993.
-
(1993)
Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence (IJCAI-93)
-
-
Konolige, K.1
Pollack, M.E.2
-
37
-
-
84985048295
-
On acting together
-
AAAI-Press and MIT Press, Menlo Park (CA), Cambridge (MA)
-
Levesque, H., Cohen, P., Nunes, J.: On acting together, Proceedings Eighth National Conference on AI (AAAI90), AAAI-Press and MIT Press, Menlo Park (CA), Cambridge (MA), 1990.
-
(1990)
Proceedings Eighth National Conference on AI (AAAI90)
-
-
Levesque, H.1
Cohen, P.2
Nunes, J.3
-
38
-
-
0002043020
-
Formalising Abilities and Opportunities of Agents
-
van Linder, B., van der Hoek, W., Meyer, J.-J. C.: Formalising Abilities and Opportunities of Agents, Fundamenta Informaticae, 34,1998, 53-101.
-
(1998)
Fundamenta Informaticae
, vol.34
, pp. 53-101
-
-
Van Linder, B.1
Van der Hoek, W.2
Meyer, J.-J.C.3
-
40
-
-
0023332209
-
Concurrent Dynamic Logic
-
Peleg, D.: Concurrent Dynamic Logic, Journal of the ACM, 34(2), 1987, 450-479.
-
(1987)
Journal of the ACM
, vol.34
, Issue.2
, pp. 450-479
-
-
Peleg, D.1
-
42
-
-
0002572155
-
Modeling Rational Agents within a BDI-architecture
-
R. Fikes, E. Sandewall, Eds., Morgan Kaufman
-
Rao, A., Georgeff, M.: Modeling Rational Agents within a BDI-architecture, Proceedings of the Second Conference on Knowledge Representation and Reasoning (R. Fikes, E. Sandewall, Eds.), Morgan Kaufman, 1991.
-
(1991)
Proceedings of the Second Conference on Knowledge Representation and Reasoning
-
-
Rao, A.1
Georgeff, M.2
-
43
-
-
0003006004
-
Social Plans: A Preliminary Report
-
E. Werner, Y. Demazeau, Eds., Elsevier, Amsterdam
-
Rao, A., Georgeff, M., Sonenberg, E.: Social Plans: A Preliminary Report, Decentralized A.I.-3 (E. Werner, Y. Demazeau, Eds.), Elsevier, Amsterdam, 1992.
-
(1992)
Decentralized A.I.-3
-
-
Rao, A.1
Georgeff, M.2
Sonenberg, E.3
-
44
-
-
0004097793
-
-
Cambridge University Press, Cambridge
-
Searle, J. R.: Speech Acts, Cambridge University Press, Cambridge, 1969.
-
(1969)
Speech Acts
-
-
Searle, J.R.1
-
46
-
-
0010478799
-
A knowledge-based Algorithm for the Internet Protocol TCP
-
Stulp, F., Verbrugge, R.: A knowledge-based Algorithm for the Internet Protocol TCP, Bulletin of Economic Research, 54(1), 2002, 69-94.
-
(2002)
Bulletin of Economic Research
, vol.54
, Issue.1
, pp. 69-94
-
-
Stulp, F.1
Verbrugge, R.2
-
47
-
-
0242556960
-
Teamwork in real-world, dynamic environments
-
Tambe, M.: Teamwork in real-world, dynamic environments, in: Tokoro [48], 361-368.
-
Tokoro
, Issue.48
, pp. 361-368
-
-
Tambe, M.1
-
49
-
-
0001939660
-
Actions that Make you Change Your Mind
-
A. Laux, H. Wansing, Eds., Akedemie Verlag, Berlin
-
van Linder, B., van der Hoek, W., Meyer, J.-J. C.: Actions that Make you Change Your Mind, in: Knowledge and Belief in Philosophy and Artificial Intelligence (A. Laux, H. Wansing, Eds.), Akedemie Verlag, Berlin, 1995, 103-146.
-
(1995)
Knowledge and Belief in Philosophy and Artificial Intelligence
, pp. 103-146
-
-
Van Linder, B.1
Van der Hoek, W.2
Meyer, J.-J.C.3
-
52
-
-
84947933288
-
Towards a Theory of Collective Problem Solving
-
J. Perram, J. Muller, Eds. of LNAI, Springer Verlag, Berlin
-
Wooldridge, M., Jennings, N.: Towards a Theory of Collective Problem Solving, in: Distributed Software Agents and Applications (J. Perram, J. Muller, Eds.), vol. 1069 of LNAI, Springer Verlag, Berlin, 1996, 40-53.
-
(1996)
Distributed Software Agents and Applications
, vol.1069
, pp. 40-53
-
-
Wooldridge, M.1
Jennings, N.2
-
53
-
-
0032683336
-
Cooperative Problem Solving
-
Wooldridge, M., Jennings, N.: Cooperative Problem Solving, Journal of Logic and Computation, 9, 1999, 563-592.
-
(1999)
Journal of Logic and Computation
, vol.9
, pp. 563-592
-
-
Wooldridge, M.1
Jennings, N.2
|