-
1
-
-
0013328373
-
Hierarchies of regulation and their logic
-
Hilpinen, R., ed. New Studies in Deontic Logic
-
Alchourrón, C. & Makinson, D. 1981. Hierarchies of regulation and their logic. In Hilpinen, R. (ed.),New Studies in Deontic Logic, 125-148.
-
(1981)
New Studies in Deontic Logic
, pp. 125-148
-
-
Alchourrón, C.1
Makinson, D.2
-
2
-
-
0013383199
-
On the logic of theory change: Safe contraction
-
D. Reidel Publishing Company
-
Alchourrón, C. & Makinson, D. 1985. On the logic of theory change: safe contraction. Studia Logica,D. Reidel Publishing Company 44, 405-422.
-
(1985)
Studia Logica
, vol.44
, pp. 405-422
-
-
Alchourrón, C.1
Makinson, D.2
-
3
-
-
0000128393
-
On the logic of theory change: Partial meet contraction and revision functions
-
Alchourrón, C., Gärdenfors, P. & Makinson, D. 1985. On the logic of theory change: partial meet contraction and revision functions. The Journal of Symbolic Logic 50, 510-530.
-
(1985)
The Journal of Symbolic Logic
, vol.50
, pp. 510-530
-
-
Alchourrón, C.1
Gärdenfors, P.2
Makinson, D.3
-
4
-
-
0003242215
-
How to infer from inconsistent beliefs without revising
-
Montreal, Quebec, Canada
-
Benferhat, S., Dubois, D. & Prade, H. 1995. How to infer from inconsistent beliefs without revising.In Proceedings of IJCAI'.95. Montreal, Quebec, Canada, 1449-1455.
-
(1995)
Proceedings of IJCAI'.95
, pp. 1449-1455
-
-
Benferhat, S.1
Dubois, D.2
Prade, H.3
-
5
-
-
84872977649
-
Dung argumentation and AGM belief revision (position paper)
-
Estoril, Portugal
-
Boella, G., da Costa Perera, C., Tettamanzi, A. & van der Torre, L. 2008a. Dung argumentation and AGM belief revision (position paper). In Fifth International Workshop on Argumentation in Multi-Agent Systems (ArgMAS), Estoril, Portugal.
-
(2008)
In Fifth International Workshop on Argumentation in Multi-Agent Systems (ArgMAS
-
-
Boella, G.1
Da Costa Perera, C.2
Tettamanzi, A.3
Van Der Torre, L.4
-
6
-
-
48949121030
-
Making others believe what they want
-
Milan, Italy
-
Boella, G., da Costa Perera, C., Tettamanzi, A. & van der Torre, L. 2008b. Making others believe what they want. In IFIP 20th World Computer Congress, TC 12 IFIP AI 2008, Milan, Italy, 215-224.
-
(2008)
IFIP 20th World Computer Congress, TC 12 IFIP AI 2008
, pp. 215-224
-
-
Boella, G.1
Da Costa Perera, C.2
Tettamanzi, A.3
Van Der Torre, L.4
-
7
-
-
0027709267
-
Abduction as belief revision: A model of preferred explanations
-
DC, USA
-
Boutilier, C. & Becher, V. 1993. Abduction as belief revision: a model of preferred explanations. In AAAI,Washington, DC, USA, 642-648.
-
(1993)
AAAI,Washington
, pp. 642-648
-
-
Boutilier, C.1
Becher, V.2
-
8
-
-
77957863669
-
Change in abstract argumentation frameworks: Adding an argument
-
Cayrol, C., de Saint-Cyr, F. D. & Lagasquie-Schiex, M.-C. 2010. Change in abstract argumentation frameworks: adding an argument. Journal of Artificial Intelligence Research 84, 49-84.
-
(2010)
Journal of Artificial Intelligence Research
, vol.84
, pp. 49-84
-
-
Cayrol, C.1
De Saint-Cyr, F.D.2
Lagasquie-Schiex, M.-C.3
-
9
-
-
0022680851
-
An assumption-based TMS
-
De Kleer, J. 1986. An assumption-based TMS. Artificial Intelligence 28(2), 127-162.
-
(1986)
Artificial Intelligence
, vol.28
, Issue.2
, pp. 127-162
-
-
De Kleer, J.1
-
10
-
-
0018544688
-
A truth maintenance system
-
Doyle, J. 1979. A truth maintenance system. Artificial Intelligence 12, 231-272.
-
(1979)
Artificial Intelligence
, vol.12
, pp. 231-272
-
-
Doyle, J.1
-
11
-
-
0002404185
-
Reason maintenance and belief revision: Foundations versus coherence theories
-
Gä rdenfors, P. (ed.). Cambridge University Press
-
Doyle, J. 1992. Reason maintenance and belief revision: foundations versus coherence theories. In Belief Revision, Gä rdenfors, P. (ed.). Cambridge University Press, 29-51.
-
(1992)
Belief Revision
, pp. 29-51
-
-
Doyle, J.1
-
12
-
-
0029368659
-
On the acceptability of arguments and its fundamental role in nonmonotonic reasoning,logic programming and n-person games
-
Dung, P. M. 1995. On the acceptability of arguments and its fundamental role in nonmonotonic reasoning,logic programming and n-person games. Artificial Intelligence 77, 321-357.
-
(1995)
Artificial Intelligence
, vol.77
, pp. 321-357
-
-
Dung, P.M.1
-
13
-
-
0036783874
-
Belief revision, explanations and defeasible reasoning
-
Falappa, M. A., Kern-Isberner, G. & Simari, G. R. 2002. Belief revision, explanations and defeasible reasoning. Artificial Intelligence Journal 141, 1-28.
-
(2002)
Artificial Intelligence Journal
, vol.141
, pp. 1-28
-
-
Falappa, M.A.1
Kern-Isberner, G.2
Simari, G.R.3
-
14
-
-
84885701057
-
Belief revision and argumentation theory
-
Rahwan I. & Simari, G. R. (eds). chapter 17 Springer
-
Falappa, M. A., Kern-Isberner, G. & Simari, G. R. 2009. Belief revision and argumentation theory. In Argumentation in Artificial Intelligence, Rahwan, I. & Simari, G. R. (eds). chapter 17, Springer, 341-360.
-
(2009)
Argumentation in Artificial Intelligence
, pp. 341-360
-
-
Falappa, M.A.1
Kern-Isberner, G.2
Simari G.R3
-
16
-
-
30244485851
-
Rule for rational changes of belief
-
Pauli, T. (ed.), University of Uppsala, Sweden
-
Gärdenfors, P. 1982. Rule for rational changes of belief. In Philosophical Essay Dediccated To Lennart A° qvist on his Fiftieth Birthday, Pauli, T. (ed.), University of Uppsala, Sweden, 88-101.
-
(1982)
Philosophical Essay Dediccated To Lennart A° qvist on his Fiftieth Birthday
, pp. 88-101
-
-
Gärdenfors, P.1
-
19
-
-
0002069345
-
Revisions of knowledge systems using epistemic entrenchment
-
Asilomar, California, USA
-
Gärdenfors, P. & Makinson, D. 1988. Revisions of knowledge systems using epistemic entrenchment.In Second Conference on Theoretical Aspects of Reasoning About Knowledge. Asilomar, California, USA,83-95.
-
(1988)
Second Conference on Theoretical Aspects of Reasoning About Knowledge
, pp. 83-95
-
-
Gärdenfors, P.1
Makinson, D.2
-
22
-
-
79953138366
-
Theoria: Special issue on non-prioritized belief revision
-
Uppsala University
-
Hansson, S. O. 1997. Theoria: Special Issue on Non-Prioritized Belief Revision. Department of Philosophy,Uppsala University.
-
(1997)
Department of Philosophy
-
-
Hansson, S.O.1
-
24
-
-
0035733101
-
Credibility limited revision
-
Hansson, S. O., Fermeacute; , E., Cantwell, J. & Falappa, M. 2001. Credibility limited revision. The Journal of Symbolic Logic 66(4), 1581-1596. (Pubitemid 33579739)
-
(2001)
Journal of Symbolic Logic
, vol.66
, Issue.4
, pp. 1581-1596
-
-
Hansson S.O1
Ferme, E.L.2
Cantwell, J.3
Falappa, M.A.4
-
25
-
-
0004775492
-
Rational belief change, popper functions and counterfactuals
-
Harper, W. 1975. Rational belief change, popper functions and counterfactuals. Synthese 30, 221-262.
-
(1975)
Synthese
, vol.30
, pp. 221-262
-
-
Harper, W.1
-
26
-
-
0001697333
-
On the difference between updating a knowledge database and revising it
-
Gärdenfors, P. (ed.), Cambridge University Press
-
Katsuno, H. & Mendelzon, A. 1992. On the difference between updating a knowledge database and revising it. In Belief Revision, Gärdenfors, P. (ed.), Cambridge University Press, 183-203.
-
(1992)
Belief Revision
, pp. 183-203
-
-
Katsuno, H.1
Mendelzon, A.2
-
27
-
-
0004271399
-
-
Harvard University Press
-
Lewis, D. 1973. Counterfactuals. Harvard University Press.
-
(1973)
Counterfactuals
-
-
Lewis, D.1
-
28
-
-
57749168815
-
Argument theory change applied to defeasible logic programming
-
AAAI'.2008. Chicago, Illinois, USA
-
Moguillansky, M. O., Rotstein, N. D., Falappa, M. A., Garciacute;a, A. J. & Simari, G. R. 2008. Argument theory change applied to defeasible logic programming. In Proceedings of The Twenty-Third Conference on Artificial Intelligence, AAAI'.2008. Chicago, Illinois, USA, 132-137.
-
(2008)
Proceedings of The Twenty-Third Conference on Artificial Intelligence
, pp. 132-137
-
-
Moguillansky, M.O.1
Rotstein, N.D.2
Falappa, M.A.3
Garciacute4
a, A.J.5
Simari, G.R.6
-
29
-
-
49049136479
-
The knowledge level
-
Newell, A. 1982. The knowledge level. Artificial Intelligence 18, 87-127.
-
(1982)
Artificial Intelligence
, vol.18
, pp. 87-127
-
-
Newell, A.1
-
30
-
-
60449088562
-
The Toulmin test: Framing argumentation within belief revision theories
-
Hitchcock, D. & Verheij, B. (eds), Springer
-
.Paglieri, F. & Castelfranchi, C. 2006. The Toulmin test: Framing argumentation within belief revision theories. In Arguing on the Toulmin model, Hitchcock, D. & Verheij, B. (eds), Springer, 359-377.
-
(2006)
Arguing on the Toulmin model
, pp. 359-377
-
-
Paglieri, F.1
Castelfranchi, C.2
-
31
-
-
26844534600
-
Belief revision and epistemology
-
Pollock, J. L. & Gillies, A. S. 2000. Belief revision and epistemology. Synthese 122(1-2), 69-92.
-
(2000)
Synthese
, vol.122
, Issue.1-2
, pp. 69-92
-
-
Pollock, J.L.1
Gillies, A.S.2
-
32
-
-
84875922665
-
Argument theorychange: Revision upon warrant
-
COMMA'.2008.Toulouse, France
-
Rotstein, N. D., Moguillansky, M. O., Falappa, M. A., Garciacute;a, A. J. & Simari, G. R. 2008. Argument theorychange: revision upon warrant. In Proceedings of the Computational Models of Argument, COMMA'.2008.Toulouse, France, 336-347.
-
(2008)
Proceedings of the Computational Models of Argument
, pp. 336-347
-
-
Rotstein, N.D.1
Moguillansky, M.O.2
Falappa, M.A.3
Garciacute4
a, A.J.5
Simari, G.R.6
-
33
-
-
1642604184
-
Preferential belief change using generalized epistemic entrenchment
-
Rott, H. 1992. Preferential belief change using generalized epistemic entrenchment. The Journal of Logic,Language and Information 1, 45-78.
-
(1992)
The Journal of Logic,Language and Information
, vol.1
, pp. 45-78
-
-
Rott, H.1
-
34
-
-
0010360880
-
Determining explanations using transmutations
-
Montreal, Quebec, Canada
-
Williams, M.-A., Pagnucco, M., Foo, N. & Sims, B. 1995. Determining explanations using transmutations.In Proceedings of IJCAI-95. Montreal, Quebec, Canada, 822-830.
-
(1995)
Proceedings of IJCAI-95
, pp. 822-830
-
-
Williams, M.A.1
Pagnucco, M.2
Foo, N.3
Sims, B.4
|