-
7
-
-
0041846009
-
Inference in cognitive maps
-
M. P. Wellman, "Inference in Cognitive Maps," SIAM Journal on Computing, vol. 36, pp. 1-12, 1994.
-
(1994)
SIAM Journal on Computing
, vol.36
, pp. 1-12
-
-
Wellman, M.P.1
-
8
-
-
0001870364
-
A formal theory of knowledge and action
-
J. R. Hobbs and R. C. Moore, Eds. Norwood, New Jearsy: Ablex Publishing Corporation
-
R. C. Moore, "A Formal Theory of Knowledge and Action," in Formal Theories of the Commonsense World, J. R. Hobbs and R. C. Moore, Eds. Norwood, New Jearsy: Ablex Publishing Corporation, 1985.
-
(1985)
Formal Theories of the Commonsense World
-
-
Moore, R.C.1
-
9
-
-
0042848077
-
Towards general theory of actions and time
-
J. Allen, J. Hendler, and A. Tate, Eds. San Mateo, CA, USA: Morgan Kaufmann Publishers, INC.
-
J. F. Allen, "Towards General Theory of Actions and Time," in Readings in Planning, J. Allen, J. Hendler, and A. Tate, Eds. San Mateo, CA, USA: Morgan Kaufmann Publishers, INC., 1990/1984, pp. 464-479.
-
(1984)
Readings in Planning
, pp. 464-479
-
-
Allen, J.F.1
-
10
-
-
0001245155
-
Some philosophical problems from the standpoint of artificial intelligence
-
J. Allen, J. Hendler, and A. Tate, Eds. San Mateo, CA, USA: Morgan Kaufmann Publishers, INC.
-
J. McCarthy and P. Hayes, "Some Philosophical Problems from the Standpoint of Artificial Intelligence," in Readings in Planning, J. Allen, J. Hendler, and A. Tate, Eds. San Mateo, CA, USA: Morgan Kaufmann Publishers, INC., 1990, pp. 393-435.
-
(1990)
Readings in Planning
, pp. 393-435
-
-
McCarthy, J.1
Hayes, P.2
-
12
-
-
0003742987
-
Aspects of temporal usability via constraint-based reasoning: The use of constraints as a debugging mechanism within general descriptions of the user's possible actions
-
Cancun, Mexico
-
A. Ayesh and G. Kelleher, "Aspects of Temporal Usability Via Constraint-Based Reasoning: The Use of Constraints as a Debugging Mechanism Within General Descriptions of The User's Possible Actions," presented at The IASTED International Conference on Artificial Intelligence and Soft Computing., Cancun, Mexico, 1998.
-
(1998)
IASTED International Conference on Artificial Intelligence and Soft Computing
-
-
Ayesh, A.1
Kelleher, G.2
-
13
-
-
4243417269
-
A reified temporal logic for nonlinear planning
-
Manchester University, Manchester, July
-
Y. Zhang and H. Barringer, "A Reified Temporal Logic For Nonlinear Planning," Manchester University, Manchester, Technical Report UMCS-94-7-1, July 1994.
-
(1994)
Technical Report
, vol.UMCS-94-7-1
-
-
Zhang, Y.1
Barringer, H.2
-
14
-
-
0042848083
-
A formal domain description language for a temporal planner
-
Florence, Italy
-
A. Cesta and A. Oddi, "A Formal Domain Description Language for a Temporal Planner," presented at 4th Congress of the Italian Association For AI, Florence, Italy, 1995/1996.
-
(1995)
4th Congress of the Italian Association for AI
-
-
Cesta, A.1
Oddi, A.2
-
15
-
-
0026154176
-
Temporal constraint network
-
I. Meiri and J. Pearl, "Temporal Constraint Network," AI 49, pp. 61-95, 1991.
-
(1991)
AI
, vol.49
, pp. 61-95
-
-
Meiri, I.1
Pearl, J.2
-
16
-
-
0000106635
-
Fuzzy multiple criteria decision making: Recent developments
-
C. Carlsson and R. Fuller, "Fuzzy Multiple Criteria Decision Making: Recent Developments," Fuzzy Sets and Systems, vol. 78, pp. 139-153, 1996.
-
(1996)
Fuzzy Sets and Systems
, vol.78
, pp. 139-153
-
-
Carlsson, C.1
Fuller, R.2
-
20
-
-
0041846013
-
From conditional oughts to qualitative decision theory
-
USA
-
J. Pearl, "From Conditional Oughts to Qualitative Decision Theory," presented at Uncertainly in AI 9th Conference, USA, 1993.
-
(1993)
Uncertainly in AI 9th Conference
-
-
Pearl, J.1
-
21
-
-
0041547042
-
Utility models for goal-directed decision-theoretic planners
-
University of Washington, Seattle, USA, June 15, 1993
-
P. Haddawy and S. Hanks, "Utility Models for Goal-Directed Decision-Theoretic Planners," University of Washington, Seattle, USA, Technical Report 93-06-04, June 15, 1993 1993.
-
(1993)
Technical Report 93-06-04
-
-
Haddawy, P.1
Hanks, S.2
-
22
-
-
0003387081
-
On the semantics of STRIPS
-
J. Allen, J. Hendler, and A. Tate, Eds. San Mateo, CA, USA: Morgan Kaufmann Publishers, INC.
-
V. Lifschitz, "On the Semantics of STRIPS," in Readings in Planning, J. Allen, J. Hendler, and A. Tate, Eds. San Mateo, CA, USA: Morgan Kaufmann Publishers, INC., 1990, pp. 523-530.
-
(1990)
Readings in Planning
, pp. 523-530
-
-
Lifschitz, V.1
-
23
-
-
0002048328
-
The frame problem in the situation calculus: A simple solution (sometimes) and a completeness result for goal regression
-
V. Lifschitz, Ed. San Diego: Academic Press, INC.; Harcourt Brace Jovanovich, Publishers
-
R. Reiter, "The Frame Problem in the Situation Calculus: A Simple Solution (Sometimes) and a Completeness Result for Goal Regression," in Artificial Intelligence and Mathematical Theory of Computation: Papers in the Honor of John McCarthy, V. Lifschitz, Ed. San Diego: Academic Press, INC.; Harcourt Brace Jovanovich, Publishers, 1991, pp. 359-380.
-
(1991)
Artificial Intelligence and Mathematical Theory of Computation: Papers in the Honor of John McCarthy
, pp. 359-380
-
-
Reiter, R.1
-
24
-
-
0027885318
-
Proving properties of states in the situation calculus
-
R. Reiter, "Proving Properties of States in The Situation Calculus," AI 64, pp. 337-351, 1993.
-
(1993)
AI
, vol.64
, pp. 337-351
-
-
Reiter, R.1
-
25
-
-
0042347066
-
Automatically derived heuristics for planning search
-
Dublin City University
-
P. Morris and R. Feldman, "Automatically Derived Heuristics For Planning Search," presented at AICS '89, Dublin City University, 1989.
-
(1989)
AICS '89
-
-
Morris, P.1
Feldman, R.2
-
28
-
-
0025632674
-
Modal logics For AI planning
-
Brighton, UK
-
J. Dix, J. E. Posegga, and P. H. Schmitt, "Modal Logics For AI Planning," presented at First International Conference On Expert Planning Systems, Brighton, UK, 1990.
-
(1990)
First International Conference on Expert Planning Systems
-
-
Dix, J.1
Posegga, J.E.2
Schmitt, P.H.3
-
29
-
-
0004237431
-
-
Cambridge: Cambridge University Press
-
S. Haack, Philosophy of Logics. Cambridge: Cambridge University Press, 1978.
-
(1978)
Philosophy of Logics
-
-
Haack, S.1
-
31
-
-
0042848035
-
-
London, New York: Routledge & Kegan Paul Ltd. Dover Publications Inc.
-
Y. Murakami, Logic and Scoial Choice. London, New York: Routledge & Kegan Paul Ltd. Dover Publications Inc., 1968.
-
(1968)
Logic and Scoial Choice
-
-
Murakami, Y.1
-
35
-
-
0006354861
-
Languages with self-reference II: Knowldge, belief, and modality
-
D. Perils, "Languages with Self-Reference II: Knowldge, Belief, and Modality," AI 34, pp. pp 179-212, 1988.
-
(1988)
AI
, vol.34
, pp. 179-212
-
-
Perils, D.1
-
43
-
-
0041846015
-
Thinking-learning by argument
-
N. Zhong, J. Liu, S. Ohsuga, and J. Bradshaw, Eds. New Jersey: World Scientific
-
A. Ayesh, "Thinking-Learning by Argument," in Intelligent Agent Technology: Research and Development, N. Zhong, J. Liu, S. Ohsuga, and J. Bradshaw, Eds. New Jersey: World Scientific, 2001.
-
(2001)
Intelligent Agent Technology: Research and Development
-
-
Ayesh, A.1
-
44
-
-
0041345313
-
Distributed memory and represenatation of general and specific information
-
D. R. Shanks, Ed. London: Arnold
-
J. L. McClelland and D. E. Rumelhart, "Distributed Memory and Represenatation of General and Specific Information," in Human Memory: A Reader, D. R. Shanks, Ed. London: Arnold, 1997, pp. 273-314.
-
(1997)
Human Memory: A Reader
, pp. 273-314
-
-
McClelland, J.L.1
Rumelhart, D.E.2
-
46
-
-
0042848026
-
The structure and organization of memory
-
D. R. Shanks, Ed, London: Arnold
-
L. R. Squire, B. Knowlton, and G. Musen, "The Structure and Organization of Memory," in Human Memory: A Reader, D. R. Shanks, Ed, London: Arnold, 1997, pp. 152-200.
-
(1997)
Human Memory: A Reader
, pp. 152-200
-
-
Squire, L.R.1
Knowlton, B.2
Musen, G.3
-
49
-
-
0042848081
-
-
Computer Science Dept. Colchester: University of Essex
-
A. Ayesh, "Self Reference in AI," in Computer Science Dept. Colchester: University of Essex, 1995.
-
(1995)
Self Reference in AI
-
-
Ayesh, A.1
|