-
1
-
-
0000128393
-
On the logic of theory change: Partial meet contraction and revision functions
-
C. Alchourrón, P. Gärdenfors, and D. Makinson. On the logic of theory change: partial meet contraction and revision functions, Journal of Symbolic Logic, 50, 510-530, 1985.
-
(1985)
Journal of Symbolic Logic
, vol.50
, pp. 510-530
-
-
Alchourrón, C.1
Gärdenfors, P.2
Makinson, D.3
-
2
-
-
0031645256
-
Belief revision with unreliable observations
-
C. Boutilier, N. Friedman, and J. Y. Halpern. Belief revision with unreliable observations. In AAAI98, Madison, WI, pp. 127-134, 1998.
-
(1998)
AAAI98, Madison, WI
, pp. 127-134
-
-
Boutilier, C.1
Friedman, N.2
Halpern, J.Y.3
-
3
-
-
0030712510
-
On the logic of iterated belief revision
-
A. Darwiche and I. Pearl. On the logic of iterated belief revision, Artificial Intelligence, 89, 1-29, 1997.
-
(1997)
Artificial Intelligence
, vol.89
, pp. 1-29
-
-
Darwiche, A.1
Pearl, I.2
-
4
-
-
0018544688
-
A truth maintenance system
-
J. Doyle. A truth maintenance system, Artificial Intelligence, 12, 231-272, 1979.
-
(1979)
Artificial Intelligence
, vol.12
, pp. 231-272
-
-
Doyle, J.1
-
5
-
-
0002404185
-
Reason maintenance and belief revision - Foundations vs. Coherence theories
-
P. Gärdenfors, ed.; Cambridge University Press
-
J. Doyle. Reason maintenance and belief revision - Foundations vs. Coherence theories. In Belief Revision, P. Gärdenfors, ed., pp. 29-51. Cambridge University Press 1992.
-
(1992)
Belief Revision
, pp. 29-51
-
-
Doyle, J.1
-
6
-
-
0000225039
-
A knowledge-based framework for belief change, Part II: Revision and update
-
J. Doyle, E. Sandewall, and P. Torasso, eds; Morgan Kaufmann, San Francisco, CA
-
N. Friedman and J. Y. Halpern. A knowledge-based framework for belief change, Part II: revision and update. In Principles of Knowledge Representation and Reasoning: Proceedings of the Fourth International Conference (KR '94), J. Doyle, E. Sandewall, and P. Torasso, eds, pp. 190-201. Morgan Kaufmann, San Francisco, CA, 1994.
-
(1994)
Principles of Knowledge Representation and Reasoning: Proceedings of the Fourth International Conference (KR '94)
, pp. 190-201
-
-
Friedman, N.1
Halpern, J.Y.2
-
9
-
-
12244300879
-
Compromise update and revision: A position paper
-
R. Pareschi and B. Fronhöfer, eds; Applied Logic Series (12). Kluwer Academic Publishers, Dordrecht and Boston
-
D. M. Gabbay. Compromise update and revision: a position paper. In Dynamic Worlds - From the Frame Problem to Knowledge Management, R. Pareschi and B. Fronhöfer, eds, pp. 111-148, Applied Logic Series (12). Kluwer Academic Publishers, Dordrecht and Boston. 1999.
-
(1999)
Dynamic Worlds - from the Frame Problem to Knowledge Management
, pp. 111-148
-
-
Gabbay, D.M.1
-
10
-
-
0013328168
-
Revision by translation
-
B. Bouchon-Meunier, R. R. Yager and L. A. Zadeh, eds.; Kluwer Academic Publishers, Dordrecht and Boston
-
D. M. Gabbay, O. Rodrigues, and A. Russo. Revision by translation. In Information, Uncertainty and Fusion, B. Bouchon-Meunier, R. R. Yager and L. A. Zadeh, eds. pp. 3-31. Kluwer Academic Publishers, Dordrecht and Boston, 2000.
-
(2000)
Information, Uncertainty and Fusion
, pp. 3-31
-
-
Gabbay, D.M.1
Rodrigues, O.2
Russo, A.3
-
11
-
-
0003172978
-
Dynamics of practical reasoning
-
M. Zakharyaschev, K. Segerberg, M. de Rijke, and H. Wansing, eds; CSLI Publications, 2001
-
D. M. Gabbay. Dynamics of Practical Reasoning. In Advances in Modal Logic, Vol 2, M. Zakharyaschev, K. Segerberg, M. de Rijke, and H. Wansing, eds, pp. 179-224. CSLI Publications, 2001.
-
Advances in Modal Logic
, vol.2
, pp. 179-224
-
-
Gabbay, D.M.1
-
13
-
-
12244269677
-
-
North-Holland, Amsterdam; to appear
-
D.M. Gabbay and J. Woods. Agenda Relevance: A Study in Formal Pragmatics, Volume 1 of The Practical Logic of Cognitive Systems, North-Holland, Amsterdam, 2003, to appear.
-
(2003)
Agenda Relevance: A Study in Formal Pragmatics, Volume 1 The Practical Logic of Cognitive Systems
, vol.1
-
-
Gabbay, D.M.1
Woods, J.2
-
14
-
-
85038484750
-
-
to appear
-
D. M. Gabbay and J. Woods. The Reach of Abduction: Insight and Trial, Volume 2 of The Practical Logic of Cognitive Systems, North-Holland, Amsterdam, 2003, to appear.
-
(2003)
The Reach of Abduction: Insight and Trial, Volume 2 The Practical Logic of Cognitive Systems, North-Holland, Amsterdam
, vol.2
-
-
Gabbay, D.M.1
Woods, J.2
-
16
-
-
0002428155
-
The dynamics of belief systems: Foundations vs. Coherence theories
-
P. Gärdenfors. The dynamics of belief systems: Foundations vs. Coherence theories. In Revue Internationale de Philosophie, 44, 42-46, 1990.
-
(1990)
Revue Internationale de Philosophie
, vol.44
, pp. 42-46
-
-
Gärdenfors, P.1
-
18
-
-
0002695051
-
Belief revision
-
D. M. Gabbay, C. J. Hogger and J. A. Robinson, eds. Oxford University Press, Oxford
-
P. Gärdenfors and H. Rott. Belief revision. In Handbook of Logic in Artificial Intelligence and Logic Programming, Vol. 4, D. M. Gabbay, C. J. Hogger and J. A. Robinson, eds. Oxford University Press, Oxford, 1995.
-
(1995)
Handbook of Logic in Artificial Intelligence and Logic Programming
, vol.4
-
-
Gärdenfors, P.1
Rott, H.2
-
19
-
-
0000103388
-
In defense of base contraction
-
S. O. Hansson. In defense of base contraction. Synthese, 91, 239-245, 1992.
-
(1992)
Synthese
, vol.91
, pp. 239-245
-
-
Hansson, S.O.1
-
21
-
-
0026383919
-
Propositional knowledge base revision and minimal change
-
H. Katsuno and A. Mendelzon. Propositional knowledge base revision and minimal change, Artificial Intelligence, 52, 263-294, 1991.
-
(1991)
Artificial Intelligence
, vol.52
, pp. 263-294
-
-
Katsuno, H.1
Mendelzon, A.2
-
22
-
-
0001697333
-
On the difference between updating a knowledge base and revising it
-
P. Gärdenfors, ed.; Cambridge University Press
-
H. Katsuno and A. Mendelzon. On the difference between updating a knowledge base and revising it. In Belief Revision, P. Gärdenfors, ed., pp. 183-203. Cambridge University Press, 1992.
-
(1992)
Belief Revision
, pp. 183-203
-
-
Katsuno, H.1
Mendelzon, A.2
-
24
-
-
84968442805
-
Relations between the logic of theory change and nonmonotonic logic
-
A. Fuhrmann and M. Morreau, eds; Volume 465 of Lecture Notes in Artificial Intelligence. Springer-Verlag, Berlin
-
D. Makinson and P. Gärdenfors. Relations between the logic of theory change and nonmonotonic logic. In The Logic of Theory Change, A. Fuhrmann and M. Morreau, eds, pp. 185-205. Volume 465 of Lecture Notes in Artificial Intelligence. Springer-Verlag, Berlin, 1991.
-
(1991)
The Logic of Theory Change
, vol.465
, pp. 185-205
-
-
Makinson, D.1
Gärdenfors, P.2
-
25
-
-
0003093745
-
General patterns in nonmonotonic reasoning
-
D. M. Gabbay, C. J. Hogger and J. A. Robinson, eds; Oxford: Oxford University Press
-
D. Makinson. General patterns in nonmonotonic reasoning. In Handbook of Logic in Artificial Intelligence and Logic Programming, Vol. 3, Nonmonotonic Reasoning and Uncertain Reasoning, D. M. Gabbay, C. J. Hogger and J. A. Robinson, eds, pp. 335-110. Oxford: Oxford University Press, 1994.
-
(1994)
Handbook of Logic in Artificial Intelligence and Logic Programming, Vol. 3, Nonmonotonic Reasoning and Uncertain Reasoning
, pp. 335-110
-
-
Makinson, D.1
-
26
-
-
0002130827
-
Syntax-based approaches to belief revision
-
P. Gärdenfors, ed., Cambridge University Press, Cambridge, MA
-
B. Nebel. Syntax-based approaches to belief revision. In Belief Revision, P. Gärdenfors, ed., pp. 52-88. Cambridge University Press, Cambridge, MA, 1992.
-
(1992)
Belief Revision
, pp. 52-88
-
-
Nebel, B.1
-
29
-
-
0023329093
-
A theory of diagnosis from first principles
-
R. Reiter. A theory of diagnosis from first principles. Artificial Intelligence, 32, 57-95, 1987.
-
(1987)
Artificial Intelligence
, vol.32
, pp. 57-95
-
-
Reiter, R.1
-
30
-
-
0013328737
-
Conditionals and theory change: Revision, expansions, and additions
-
H. Rott. Conditionals and theory change: Revision, expansions, and additions, Synthese, 81, 91-113, 1989.
-
(1989)
Synthese
, vol.81
, pp. 91-113
-
-
Rott, H.1
-
31
-
-
85026643511
-
Logics of mental attitudes in AI
-
G. Lakemeyer and B. Nebel, eds; Vol 810 of Lecture Notes in Computer Science (Subseries LNAI). Springer-Verlag, Berlin
-
Y. Shoham and S. B. Cousins. Logics of mental attitudes in AI. In Foundations of Knowledge Representation and Reasoning, G. Lakemeyer and B. Nebel, eds, pp. 296-309. Vol 810 of Lecture Notes in Computer Science (Subseries LNAI). Springer-Verlag, Berlin, 1994.
-
(1994)
Foundations of Knowledge Representation and Reasoning
, vol.810
, pp. 296-309
-
-
Shoham, Y.1
Cousins, S.B.2
|