-
2
-
-
0022042733
-
Planning english referring expressions
-
Appelt, D. E. (1985). Planning English Referring Expressions. Artificial Intelligence 26: 1-33.
-
(1985)
Artificial Intelligence
, vol.26
, pp. 1-33
-
-
Appelt, D.E.1
-
5
-
-
0031074857
-
-
Blum, A. L. & Furst, M. L. (1997). Fast Planning Through Planning Graph Analysis. Proceedings of the 14th International Joint Conference on Artificial Intelligence (IJCAI), 1995, 1636-1642. Also in Artificial Intelligence 90: 281-300.
-
Artificial Intelligence
, vol.90
, pp. 281-300
-
-
-
6
-
-
7544220330
-
HSP: Heuristic search planner
-
Entry at the AIPS-98 Planning Competition, Pittsburgh 6/98
-
Bonet, B. & Geffner, H. (2000). HSP: Heuristic Search Planner. AI Magazine 21(2): Entry at the AIPS-98 Planning Competition, Pittsburgh 6/98.
-
(2000)
AI Magazine
, vol.21
, Issue.2
-
-
Bonet, B.1
Geffner, H.2
-
7
-
-
84944068555
-
Generation as a social action
-
Nash-Webber, B. L. & Schank, R. C. (eds.). Cambridge, MA: Ass. for Computational Linguistics
-
Bruce, B. C. (1975). Generation as a Social Action. In Nash-Webber, B. L. & Schank, R. C. (eds.) Theoretical Issues in Natural Language Processing, 74-77. Cambridge, MA: Ass. for Computational Linguistics.
-
(1975)
Theoretical Issues in Natural Language Processing
, pp. 74-77
-
-
Bruce, B.C.1
-
8
-
-
7544226910
-
Dialogue and context specification
-
Bunt, H. & Black, W. (eds.). Philadelphia, PA: John Benjamins
-
Bunt, H. (2000). Dialogue and Context Specification. In Bunt, H. & Black, W. (eds.) Abduction, Belief and Context in Dialogue'. Studies in Computational Pragmatics, 81-150. Philadelphia, PA: John Benjamins.
-
(2000)
Abduction, Belief and Context in Dialogue'. Studies in Computational Pragmatics
, pp. 81-150
-
-
Bunt, H.1
-
9
-
-
0002629533
-
Rational interaction as the basis for communication
-
Cohen, P. R., Morgan, J. & Pollack, M. E. (eds.). Cambridge, MA: MTT
-
Cohen, P. R. & Levesque, H. J. (1990). Rational Interaction as the Basis for Communication. In Cohen, P. R., Morgan, J. & Pollack, M. E. (eds.) Intentions in Communication, 221-255. Cambridge, MA: MTT.
-
(1990)
Intentions in Communication
, pp. 221-255
-
-
Cohen, P.R.1
Levesque, H.J.2
-
10
-
-
0018643589
-
Elements of a plan-based theory of speech acts
-
Cohen, P. R. & Perrault, C. R. (1979). Elements of a Plan-based Theory of Speech Acts. Cognitive Science 3: 177-212.
-
(1979)
Cognitive Science
, vol.3
, pp. 177-212
-
-
Cohen, P.R.1
Perrault, C.R.2
-
11
-
-
2842560201
-
STRIPS: A new approach to the application of theorem proving to problem solving
-
Fikes, R. E. & Nilsson, N. J. (1971). STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving. Artificial Intelligence 2: 189-208.
-
(1971)
Artificial Intelligence
, vol.2
, pp. 189-208
-
-
Fikes, R.E.1
Nilsson, N.J.2
-
12
-
-
0002483151
-
Investigation into logical deduction
-
Szabo, M. E. (ed.) North-Holland, 1969
-
Geatzen, G. (1935). Investigation into Logical Deduction. In Szabo, M. E. (ed.) The Collected Papers of Gerhard Gentzen, 68-131. North-Holland, 1969. Originally published as Untersuchungen über das logische Schliessen, Mathematische Zeitschrift 39: 176-210 and 405-431.
-
(1935)
The Collected Papers of Gerhard Gentzen
, pp. 68-131
-
-
Geatzen, G.1
-
13
-
-
27944496797
-
Originally published as Untersuchungen über das logische Schliessen
-
Geatzen, G. (1935). Investigation into Logical Deduction. In Szabo, M. E. (ed.) The Collected Papers of Gerhard Gentzen, 68-131. North-Holland, 1969. Originally published as Untersuchungen über das logische Schliessen, Mathematische Zeitschrift 39: 176-210 and 405-431.
-
Mathematische Zeitschrift
, vol.39
, pp. 176-210
-
-
-
14
-
-
0014632428
-
Application of theorem proving to problem solving
-
Green, C. (1969). Application of Theorem Proving to Problem Solving. Proc. 1st IJCAI, 219-239.
-
(1969)
Proc. 1st IJCAI
, pp. 219-239
-
-
Green, C.1
-
15
-
-
0000534475
-
Logic and conversation
-
Cole, P. & Morgan, J. (eds.). New York: Academic Press
-
Grice, H. P. (1975). Logic and Conversation. In Cole, P. & Morgan, J. (eds.) Syntax and Semantics, Vol. 3: Speech Acts, 41-58. New York: Academic Press.
-
(1975)
Syntax and Semantics, Vol. 3: Speech Acts
, vol.3
, pp. 41-58
-
-
Grice, H.P.1
-
16
-
-
0002481088
-
Plans for discourse
-
Cohen, P. R., Morgan, J. & Pollack, M. E. (eds.). Cambridge, MA: MIT
-
Grosz, B. J. & Sidner, C. L. (1990). Plans for Discourse. In Cohen, P. R., Morgan, J. & Pollack, M. E. (eds.) Intentions in Communication, 416-444. Cambridge, MA: MIT.
-
(1990)
Intentions in Communication
, pp. 416-444
-
-
Grosz, B.J.1
Sidner, C.L.2
-
20
-
-
0036377352
-
The FF planning system: Fast plan generation through heuristic search
-
Hoffmann, J. & Nebel, B. (2001). The FF Planning System: Fast Plan Generation Through Heuristic Search. Journal of Artificial Intelligence Research 14: 253-302.
-
(2001)
Journal of Artificial Intelligence Research
, vol.14
, pp. 253-302
-
-
Hoffmann, J.1
Nebel, B.2
-
22
-
-
0001972488
-
Semantical considerations on modal logic
-
Kripke, S. (1963). Semantical Considerations on Modal Logic. Acta Philosophica Fennica 16: 83-94.
-
(1963)
Acta Philosophica Fennica
, vol.16
, pp. 83-94
-
-
Kripke, S.1
-
23
-
-
32844463752
-
Scorekeeping in a language game
-
Lewis, D. (1979). Scorekeeping in a Language Game. Journal of Philosophical Logic 8: 339-359.
-
(1979)
Journal of Philosophical Logic
, vol.8
, pp. 339-359
-
-
Lewis, D.1
-
24
-
-
0014638440
-
Some philosophical problems from the standpoint of artificial intelligence
-
McCarthy, J. & Hayes, P. J. (1969). Some Philosophical Problems From the Standpoint of Artificial Intelligence. Machine Intelligence 4: 463-502.
-
(1969)
Machine Intelligence
, vol.4
, pp. 463-502
-
-
McCarthy, J.1
Hayes, P.J.2
-
25
-
-
0001870364
-
A formal theory of knowledge and action
-
Hobbs, J. R. & Moore, R. C. (eds.). Norwood, NJ: Ablex
-
Moore, R. C. (1985). A Formal Theory of Knowledge and Action. In Hobbs, J. R. & Moore, R. C. (eds.) Formal Theories of the Common Sense World, 319-358. Norwood, NJ: Ablex.
-
(1985)
Formal Theories of the Common Sense World
, pp. 319-358
-
-
Moore, R.C.1
-
26
-
-
0002921687
-
GPS, a program that simulates human thought
-
Feigenbaum, E. A. & Feldman, J. (eds.). New York: McGraw-Hill
-
Newell, A. & Simon, H. A. (1963). GPS, A Program that Simulates Human Thought. In Feigenbaum, E. A. & Feldman, J. (eds.) Computers and Thought, 279-293. New York: McGraw-Hill.
-
(1963)
Computers and Thought
, pp. 279-293
-
-
Newell, A.1
Simon, H.A.2
-
28
-
-
84880865654
-
Reviving partial order planning
-
Nguyen, X. & Kambhampati, S. (2001). Reviving Partial Order Planning. Proc. IJCAI, 459-466.
-
(2001)
Proc. IJCAI
, pp. 459-466
-
-
Nguyen, X.1
Kambhampati, S.2
-
29
-
-
0002769434
-
Plans as complex mental attitudes
-
Cohen, P. R., Morgan, J. & Pollack, M. E. (eds.). Cambridge, MA: MIT
-
Pollack, M. E. (1990). Plans as Complex Mental Attitudes. In Cohen, P. R., Morgan, J. & Pollack, M. E. (eds.) Intentions in Communication, 77-103. Cambridge, MA: MIT.
-
(1990)
Intentions in Communication
, pp. 77-103
-
-
Pollack, M.E.1
-
30
-
-
7544231870
-
Speech act theory and epistemic planning
-
Bunt, H. & Black, W. (eds.). Philadelphia, PA: John Benjamins
-
Ramsay, A. (2000). Speech Act Theory and Epistemic Planning. In Bunt, H. & Black, W. (eds.) Abduction, Belief and Context in Dialogue: Studies in Computational Pragmatics, 293-310. Philadelphia, PA: John Benjamins.
-
(2000)
Abduction, Belief and Context in Dialogue: Studies in Computational Pragmatics
, pp. 293-310
-
-
Ramsay, A.1
-
31
-
-
85067541506
-
What is a speech act?
-
Black, M. (ed.). Allen and Unwin
-
Searle, J. R. (1965). What is a Speech Act? In Black, M. (ed.) Philosophy in America, 221-239. Allen and Unwin.
-
(1965)
Philosophy in America
, pp. 221-239
-
-
Searle, J.R.1
-
33
-
-
0040270082
-
Accommodation, meaning, and implicature: Interdisciplinary foundations for pragmatics
-
Cohen, P. R., Morgan, J. & Pollack, M. E. (eds.). Cambridge, MA: MIT
-
Thomason, R. H. (1990). Accommodation, Meaning, and Implicature: Interdisciplinary Foundations for Pragmatics. In Cohen, P. R., Morgan, J. & Pollack, M. E. (eds.) Intentions in Communication, 325-363. Cambridge, MA: MIT.
-
(1990)
Intentions in Communication
, pp. 325-363
-
-
Thomason, R.H.1
|