-
1
-
-
0000128393
-
On the logic of theory change: Partial meet contraction and revision findings
-
Alchourrón, C., Gärdenfors, P. and Makinson, D. (1985), 'On the Logic of Theory Change: Partial Meet Contraction and Revision Findings', The Journal of Symbolic Logic 50, pp. 510-530.
-
(1985)
The Journal of Symbolic Logic
, vol.50
, pp. 510-530
-
-
Alchourrón, C.1
Gärdenfors, P.2
Makinson, D.3
-
8
-
-
0038216322
-
Connections between the ATMS and AGM belief revision
-
Chambery, France: Morgan Kaufmann
-
Dixon, S. and Foo, N. (1993), 'Connections Between the ATMS and AGM Belief Revision', in Proceedings of the 13th International Joint Conference on Artificial Intelligence (IJCAI), Chambery, France: Morgan Kaufmann, pp. 534-539.
-
(1993)
Proceedings of the 13th International Joint Conference on Artificial Intelligence (IJCAI)
, pp. 534-539
-
-
Dixon, S.1
Foo, N.2
-
9
-
-
0018544688
-
A truth maintenance system
-
Doyle, J. (1979), 'A Truth Maintenance System', Artificial Intelligence 12, pp. 231-272.
-
(1979)
Artificial Intelligence
, vol.12
, pp. 231-272
-
-
Doyle, J.1
-
10
-
-
0002404185
-
Reason maintenance and belief revision. Foundations vs. coherence theories
-
Gärdenfors P., ed., Belief Revision, Cambridge: Cambridge University Press
-
Doyle, J. (1992), 'Reason Maintenance and Belief Revision. Foundations vs. Coherence Theories', in Gärdenfors P., ed., Belief Revision, volume 29 of Cambridge Tracts in Theoretical Computer Science, Cambridge: Cambridge University Press, pp. 29-51.
-
(1992)
Cambridge Tracts in Theoretical Computer Science
, vol.29
, pp. 29-51
-
-
Doyle, J.1
-
11
-
-
0031167835
-
Belief revision: From theory to practice
-
Dragoni, A.F. (1997), 'Belief Revision: From Theory to Practice', The Knowledge Engineering Review 12(2), pp. 147-179.
-
(1997)
The Knowledge Engineering Review
, vol.12
, Issue.2
, pp. 147-179
-
-
Dragoni, A.F.1
-
14
-
-
0003353428
-
Belief revision: An introduction
-
Gärdenfors P., ed., Belief Revision, Cambridge: Cambridge University Press
-
Gärdenfors P. (1992), 'Belief Revision: An Introduction', in Gärdenfors P., ed., Belief Revision, volume 29 of Cambridge Tracts in Theoretical Computer Science, Cambridge: Cambridge University Press, pp. 1-28.
-
(1992)
Cambridge Tracts in Theoretical Computer Science
, vol.29
, pp. 1-28
-
-
Gärdenfors, P.1
-
16
-
-
0004237431
-
-
Cambridge: Cambridge University Press
-
Haack, S. (1978), Philosophy of Logics, Cambridge: Cambridge University Press.
-
(1978)
Philosophy of Logics
-
-
Haack, S.1
-
19
-
-
0004088235
-
-
MacNabb, D.G.C., ed., Glasgow: William Collins and Son
-
Hume, D. (1987), in MacNabb, D.G.C., ed., A Treatise of Human Nature, Glasgow: William Collins and Son.
-
(1987)
A Treatise of Human Nature
-
-
Hume, D.1
-
21
-
-
0038600631
-
The influence of epistemology on the design of artificial agents
-
Lee, M. and Lacey, N. (2003), 'The Influence of Epistemology on the Design of Artificial Agents', Minds and Machines 13, pp. 367-395.
-
(2003)
Minds and Machines
, vol.13
, pp. 367-395
-
-
Lee, M.1
Lacey, N.2
-
22
-
-
0003212645
-
A fundamental tradeoff in knowledge representation and reasoning (revised version)
-
Levesque, H.J. and Brachman, R.J., eds, Los Altos, CA: Morgan Kaufmann
-
Levesque, H.J. and Brachman, R.J. (1985), 'A Fundamental Tradeoff in Knowledge Representation and Reasoning (revised version)', in Levesque, H.J. and Brachman, R.J., eds, Readings in Knowledge Representation, Los Altos, CA: Morgan Kaufmann, pp. 41-70.
-
(1985)
Readings in Knowledge Representation
, pp. 41-70
-
-
Levesque, H.J.1
Brachman, R.J.2
-
23
-
-
0001245155
-
Some philosophical problems from the standpoint of artificial intelligence
-
Ginsberg, M.L., ed., Los Altos, CA: Morgan Kaufmann
-
McCarthy, J. and Hayes, P. (1987), 'Some Philosophical Problems from the Standpoint of Artificial Intelligence', in Ginsberg, M.L., ed., Readings in Nonmonotonic Reasoning, Los Altos, CA: Morgan Kaufmann, pp. 26-45.
-
(1987)
Readings in Nonmonotonic Reasoning
, pp. 26-45
-
-
McCarthy, J.1
Hayes, P.2
-
25
-
-
0001370888
-
An integrated traffic and pedestrian model-based vision system
-
University of Essex, UK
-
Remagnino, P., Baumbderg, A., Grove, T., Hogg, D., Tan, T., Worrall, A. and Baker, K. (1997), 'An Integrated Traffic and Pedestrian Model-Based Vision System', in Proceedings of BMVC97, volume 2, University of Essex, UK, pp. 380-389.
-
(1997)
Proceedings of BMVC97
, vol.2
, pp. 380-389
-
-
Remagnino, P.1
Baumbderg, A.2
Grove, T.3
Hogg, D.4
Tan, T.5
Worrall, A.6
Baker, K.7
-
30
-
-
0038216325
-
The raft and the pyramid: Coherence versus foundations in the theory of knowledge
-
Moser, P.K., Nat, A., eds., Oxford: Oxford University Press
-
Sosa, E. (1995), 'The Raft and the Pyramid: Coherence versus Foundations in the Theory of Knowledge', in Moser, P.K., Nat, A., eds., Human Knowledge Classical and Contemporary Approaches. Oxford: Oxford University Press, pp. 341-356.
-
(1995)
Human Knowledge Classical and Contemporary Approaches
, pp. 341-356
-
-
Sosa, E.1
-
34
-
-
0037540826
-
-
International Library of Philosophy, London: Routledge
-
Walker, R.C.S. (1989), The Coherence Theory of Truth; Realism, Anti- Realism, Idealism, International Library of Philosophy, London: Routledge.
-
(1989)
The Coherence Theory of Truth: Realism, Anti-Realism, Idealism
-
-
Walker, R.C.S.1
|