-
2
-
-
0010271205
-
Modal tableaux with propagation rules and structural rules
-
M. Castilho, L. Farinas del Cerro, O. Gasquet, and A. Herzig. Modal tableaux with propagation rules and structural rules. Fundamenta Informaticae, 32(3/4), 1997.
-
(1997)
Fundamenta Informaticae
, vol.32
, Issue.3-4
-
-
Castilho, M.1
Farinas Del Cerro, L.2
Gasquet, O.3
Herzig, A.4
-
3
-
-
84898688608
-
Modal tableaux for reasoning about actions and plans
-
Sam Steel and Rachid Alami, editors number 1348 in LNAI Springer-Verlag
-
Marcos A. Castilho, Olivier Gasquet, and Andreas Herzig. Modal tableaux for reasoning about actions and plans. In Sam Steel and Rachid Alami, editors, European Conference on Planning (ECP'97), number 1348 in LNAI, pages 104-116. Springer-Verlag, 1997.
-
(1997)
European Conference on Planning (ECP'97)
, pp. 104-116
-
-
Castilho, M.A.1
Gasquet, O.2
Herzig, A.3
-
5
-
-
0002629533
-
Rational interaction as the basis for communication
-
Philip R. Cohen, Jerry Morgan, and Martha E. Pollack, editors chapter 12 MIT Press
-
Philip R. Cohen and Hector J. Levesque. Rational interaction as the basis for communication. In Philip R. Cohen, Jerry Morgan, and Martha E. Pollack, editors, Intentions in Communication, chapter 12, pages 221-255. MIT Press, 1990.
-
(1990)
Intentions in Communication
, pp. 221-255
-
-
Cohen, P.R.1
Levesque, H.J.2
-
6
-
-
0042410709
-
On sentences of the kind "sentence "p" is about topic t": Some steps towards a formal-logical analysis
-
Hans Jürgen Ohlbach and Uwe Reyle, editors Kluwer
-
Robert Demolombe and Andrew J.I. Jones. On sentences of the kind "sentence "p" is about topic t": some steps towards a formal-logical analysis. In Hans Jürgen Ohlbach and Uwe Reyle, editors, Essays in Honor of Dov Gabbay. Kluwer, 1998.
-
(1998)
Essays in Honor of Dov Gabbay
-
-
Demolombe, R.1
Andrew, J.I.J.2
-
7
-
-
84867756875
-
-
Propositional Logic. Kluwer Academic Publishers
-
R. L. Epstein. The Semantic Fundations of Logic Volume 1: Propositional Logic. Kluwer Academic Publishers, 1990.
-
(1990)
The Semantic Fundations of Logic
, vol.1
-
-
Epstein, R.L.1
-
8
-
-
0040032022
-
About
-
N. Goodman. About. Mind, LXX(277), 1961.
-
(1961)
Mind
, vol.70
, Issue.277
-
-
Goodman, N.1
-
9
-
-
0001273055
-
Dynamic logic
-
D. Gabbay and F. Guenthner, editors D. Reidel Publishing Company
-
David Harel. Dynamic logic. In D. Gabbay and F. Guenthner, editors, Handbook of Philosophical Logic, volume II. D. Reidel Publishing Company, 1984.
-
(1984)
Handbook of Philosophical Logic
, vol.2
-
-
Harel, D.1
-
11
-
-
0002975739
-
General semantics
-
D. Davidson and G. Harman, editors D. Reidel Publishing Company
-
D.K. Lewis. General semantics. In D. Davidson and G. Harman, editors, Semantics of natural language. D. Reidel Publishing Company, 1972.
-
(1972)
Semantics of Natural Language
-
-
Lewis, D.K.1
-
12
-
-
0000027967
-
An application of default logic to speech act theory
-
Philip R. Cohen, Jerry Morgan, and Martha E. Pollack, editors chapter 9 MIT Press
-
C. Raymond Perrault. An application of default logic to speech act theory. In Philip R. Cohen, Jerry Morgan, and Martha E. Pollack, editors, Intentions in Communication, chapter 9, pages 161-185. MIT Press, 1990.
-
(1990)
Intentions in Communication
, pp. 161-185
-
-
Raymond Perrault, C.1
-
14
-
-
49149147322
-
A logic for default reasoning
-
Ray Reiter. A logic for default reasoning. Artificial Intelligence, 13:81-132, 1980.
-
(1980)
Artificial Intelligence
, vol.13
, pp. 81-132
-
-
Reiter, R.1
-
16
-
-
0028712067
-
Towards a theory of belief reconstruction: Application to communication
-
(From International Symposium on Spoken Dialogue of Tokyo, Japan, November 1993)
-
David Sadek. Towards a theory of belief reconstruction: Application to communication. Speech Communication Journal'94, special issue on Spoken Dialogue, 15(3-4):251-263, 1994. (From International Symposium on Spoken Dialogue of Tokyo, Japan, November 1993).
-
(1994)
Speech Communication Journal'94, Special Issue on Spoken Dialogue
, vol.15
, Issue.3-4
, pp. 251-263
-
-
Sadek, D.1
-
17
-
-
0004097793
-
-
Cambridge University Press, Cambridge
-
John R. Searle. Speech Acts. Cambridge University Press, Cambridge, 1969.
-
(1969)
Speech Acts
-
-
Searle, J.R.1
|