-
3
-
-
0003975273
-
-
Harvard University Press, Cambrdige, MA
-
M. E. Bratman. Intention, Plans, and Practical Reason. Harvard University Press, Cambrdige, MA, 1987.
-
(1987)
Intention, Plans, and Practical Reason
-
-
Bratman, M. E.1
-
7
-
-
84989382912
-
Speech-gesture mismatches: evidence for one underlying representation of linguistic and nonlinguistic information
-
J. Cassell, D. McNeill, and K. E. McCullough. Speech-gesture mismatches: evidence for one underlying representation of linguistic and nonlinguistic information. Pragmatics and Cognition, 6(2), 1999.
-
(1999)
Pragmatics and Cognition
, vol.6
, Issue.2
-
-
Cassell, J.1
McNeill, D.2
McCullough, K. E.3
-
8
-
-
0003322272
-
Nudge nudge wink wink: Elements of face-to-face conversation for embodied conversational agents
-
J. Cassell, J. Sullivan, S. Prevost, and E. Churchill, editors, pages MIT Press, Cambridge, MA
-
J. Cassell. Nudge nudge wink wink: Elements of face-to-face conversation for embodied conversational agents. In J. Cassell, J. Sullivan, S. Prevost, and E. Churchill, editors, Embodied Conversational Agents, pages 1–28. MIT Press, Cambridge, MA, 2000.
-
(2000)
Embodied Conversational Agents
, pp. 1-28
-
-
Cassell, J.1
-
10
-
-
0002326416
-
Definite reference and mutual knowledge
-
A. K. Joshi, B. L. Webber, and I. Sag, editors, pages Cambridge University Press, Cambridge
-
H. H. Clark and C. R. Marshall. Definite reference and mutual knowledge. In A. K. Joshi, B. L. Webber, and I. Sag, editors, Elements of Discourse Understanding, pages 10–63. Cambridge University Press, Cambridge, 1981.
-
(1981)
Elements of Discourse Understanding
, pp. 10-63
-
-
Clark, H. H.1
Marshall, C. R.2
-
12
-
-
0022671781
-
Referring as a collaborative process
-
H. H. Clark and D. Wilkes-Gibbs. Referring as a collaborative process. Cognition, 22:1–39, 1986.
-
(1986)
Cognition
, vol.22
, pp. 1-39
-
-
Clark, H. H.1
Wilkes-Gibbs, D.2
-
13
-
-
1842653460
-
-
Cambridge University Press, Cambridge, UK
-
H. H. Clark. Using Language. Cambridge University Press, Cambridge, UK, 1996.
-
(1996)
Using Language
-
-
Clark, H. H.1
-
16
-
-
0018643589
-
Elements of a plan-based theory of speech acts
-
P. R. Cohen and C. R. Perrault. Elements of a plan-based theory of speech acts. Cognitive Science, 3(3):177–212, 1979.
-
(1979)
Cognitive Science
, vol.3
, Issue.3
, pp. 177-212
-
-
Cohen, P. R.1
Perrault, C. R.2
-
17
-
-
0043159618
-
Knowledge preconditions for plans
-
E. Davis. Knowledge preconditions for plans. Journal of Logic and Computation, 4(5):721–766, 1994.
-
(1994)
Journal of Logic and Computation
, vol.4
, Issue.5
, pp. 721-766
-
-
Davis, E.1
-
18
-
-
0003730235
-
-
MIT Press, Cambridge MA
-
R. Fagin, J. Y. Halpern, Y. Moses, and M. Y. Vardi. Reasoning About Knowledge. MIT Press, Cambridge MA, 1995.
-
(1995)
Reasoning About Knowledge
-
-
Fagin, R.1
Halpern, J. Y.2
Moses, Y.3
Vardi, M. Y.4
-
20
-
-
2842560201
-
STRIPS: A new approach to the application of theorem proving to problem solving
-
R. E. Fikes and N. J. Nilsson. STRIPS: A new approach to the application of theorem proving to problem solving. Artificial Intelligence, 2:189–208, 1971.
-
(1971)
Artificial Intelligence
, vol.2
, pp. 189-208
-
-
Fikes, R. E.1
Nilsson, N. J.2
-
23
-
-
0027556932
-
Constructive logics. I. A tutorial on proof systems and typed -calculi
-
J. Gallier. Constructive logics. I. A tutorial on proof systems and typed -calculi. Theoretical Computer Science, 110(2):249–339, 1993.
-
(1993)
Theoretical Computer Science
, vol.110
, Issue.2
, pp. 249-339
-
-
Gallier, J.1
-
25
-
-
0011636953
-
A guide to the modal logics of knowledge and belief: preliminary draft
-
J. Y. Halpern and Y. Moses. A guide to the modal logics of knowledge and belief: preliminary draft. In Proceedings of the Ninth IJCAI, pages 480–490, 1985.
-
(1985)
Proceedings of the Ninth IJCAI
, pp. 480-490
-
-
Halpern, J. Y.1
Moses, Y.2
-
27
-
-
0007670401
-
Semantics for propositional attitudes
-
Linsky, editor, pages Oxford
-
J. Hintikka. Semantics for propositional attitudes. In Linsky, editor, Reference and Modality, pages 145–167. Oxford, 1971.
-
(1971)
Reference and Modality
, pp. 145-167
-
-
Hintikka, J.1
-
29
-
-
0003774234
-
From Discourse to Logic: Introduction to Modeltheoretic Semantics of Natural Language
-
Kluwer, Boston
-
H. Kamp and U. Reyle. From Discourse to Logic: Introduction to Modeltheoretic Semantics of Natural Language, Formal Logic and Discourse Representation Theory. Kluwer, Boston, 1993.
-
(1993)
Formal Logic and Discourse Representation Theory
-
-
Kamp, H.1
Reyle, U.2
-
30
-
-
0039764897
-
Scorekeeping in a language game
-
Springer Verlag, Berlin
-
D. Lewis. Scorekeeping in a language game. In Semantics from Different Points of View, pages 172–187. Springer Verlag, Berlin, 1979.
-
(1979)
Semantics from Different Points of View
, pp. 172-187
-
-
Lewis, D.1
-
32
-
-
0000968273
-
A logic programming language with lambda-abstraction, function variables, and simple unification
-
D. Miller. A logic programming language with lambda-abstraction, function variables, and simple unification. Journal of Logic and Computation, 1(4):497–536, 1991.
-
(1991)
Journal of Logic and Computation
, vol.1
, Issue.4
, pp. 497-536
-
-
Miller, D.1
-
33
-
-
0001870364
-
A formal theory of knowledge and action
-
Jerry R. Hobbs and Robert C. Moore, editors, pages Ablex, Norwood NJ
-
R. C. Moore. A formal theory of knowledge and action. In Jerry R. Hobbs and Robert C. Moore, editors, FormalTheories of the Commonsense World, pages 319–358. Ablex, Norwood NJ, 1985.
-
(1985)
FormalTheories of the Commonsense World
, pp. 319-358
-
-
Moore, R. C.1
-
35
-
-
0042858638
-
Combining Montague semantics and discourse representation
-
R. Muskens. Combining Montague semantics and discourse representation. Linguistics and Philosophy, 19(2):143–186, 1996.
-
(1996)
Linguistics and Philosophy
, vol.19
, Issue.2
, pp. 143-186
-
-
Muskens, R.1
-
36
-
-
0001313425
-
Higher-order logic programming
-
D. Gabbay, C. J. Hogger, and J. A. Robinson, editors, pages Oxford
-
G. Nadathur and D. Miller. Higher-order logic programming. In D. Gabbay, C. J. Hogger, and J. A. Robinson, editors, Handbookof Logics for Artificial Intelligence and Logic Programming, pages 499–590. Oxford, 1998.
-
(1998)
Handbookof Logics for Artificial Intelligence and Logic Programming
, pp. 499-590
-
-
Nadathur, G.1
Miller, D.2
-
38
-
-
0034711981
-
Structural cut elimination I. Intuitionistic and classical logic
-
(/2)
-
F. Pfenning. Structural cut elimination I. Intuitionistic and classical logic. Information and Computation, 157(1/2):84–141, 2000.
-
(2000)
Information and Computation
, vol.157
, Issue.1
, pp. 84-141
-
-
Pfenning, F.1
-
39
-
-
0002769434
-
Plans as complex mental attitudes
-
P. R. Cohen, J. Morgan, and M. E. Pollack, editors, pages MIT Press, Cambridge MA
-
M. E. Pollack. Plans as complex mental attitudes. In P. R. Cohen, J. Morgan, and M. E. Pollack, editors, Intentions in Plans and Communication, pages 77–103. MIT Press, Cambridge MA, 1990.
-
(1990)
Intentions in Plans and Communication
, pp. 77-103
-
-
Pollack, M. E.1
-
43
-
-
0002136540
-
Monotonic solution of the frame problem in the situation calculus: an efficient method for worlds with fully specified actions
-
H. E. Kyburg, R. P. Loui, and G. N. Carlson, editors, pages Kluwer, Boston
-
L. K. Schubert. Monotonic solution of the frame problem in the situation calculus: an efficient method for worlds with fully specified actions. In H. E. Kyburg, R. P. Loui, and G. N. Carlson, editors, Knowledge Representation and Defeasible Reasoning, pages 23–67. Kluwer, Boston, 1990.
-
(1990)
Knowledge Representation and Defeasible Reasoning
, pp. 23-67
-
-
Schubert, L. K.1
-
45
-
-
84880690038
-
Designing comprehensible agents
-
P. Sengers. Designing comprehensible agents. In Proceedings of IJCAI, 1999.
-
(1999)
Proceedings of IJCAI
-
-
Sengers, P.1
-
46
-
-
0031623590
-
Abductive planning with sensing
-
Madison, WI
-
M. Stone. Abductive planning with sensing. In AAAI, pages 631–636, Madison, WI, 1998.
-
(1998)
AAAI
, pp. 631-636
-
-
Stone, M.1
-
47
-
-
0033148914
-
Building agent teams using an explicit teamwork model and learning
-
M. Tambe, J. Adibi, Y. Al-Onaizan, A. Erdem, G. A. Kaminka, S. C. Marsella, and I. Muslea. Building agent teams using an explicit teamwork model and learning. Artificial Intelligence, 110:215–240, 1999.
-
(1999)
Artificial Intelligence
, vol.110
, pp. 215-240
-
-
Tambe, M.1
Adibi, J.2
Al-Onaizan, Y.3
Erdem, A.4
Kaminka, G. A.5
Marsella, S. C.6
Muslea, I.7
-
48
-
-
0040270082
-
Accommodation, meaning and implicature
-
P. R. Cohen, J. Morgan, and M. E. Pollack, editors, pages MIT Press, Cambridge, MA
-
R. H. Thomason. Accommodation, meaning and implicature. In P. R. Cohen, J. Morgan, and M. E. Pollack, editors, Intentions in Communication, pages 325–363. MIT Press, Cambridge, MA, 1990.
-
(1990)
Intentions in Communication
, pp. 325-363
-
-
Thomason, R. H.1
-
49
-
-
0002854575
-
Presupposition projection as anaphora resolution
-
R. van der Sandt. Presupposition projection as anaphora resolution. Journal of Semantics, 9(2):333–377, 1992.
-
(1992)
Journal of Semantics
, vol.9
, Issue.2
, pp. 333-377
-
-
van der Sandt, R.1
-
50
-
-
0040835645
-
-
PhD thesis, Department of Computer and Information Science, University of Pennsylvania
-
K. Vijay-Shanker. A Study of Tree Adjoining Grammars. PhD thesis, Department of Computer and Information Science, University of Pennsylvania, 1987.
-
(1987)
A Study of Tree Adjoining Grammars
-
-
Vijay-Shanker, K.1
|