-
2
-
-
0033165498
-
Reasoning about noisy sensors and effectors in the situation calculus
-
Bacchus, F., J. Halpern, and H. Levesque: 1999, 'Reasoning about noisy sensors and effectors in the situation calculus', Artificial Intelligence 111, 171-208.
-
(1999)
Artificial Intelligence
, vol.111
, pp. 171-208
-
-
Bacchus, F.1
Halpern, J.2
Levesque, H.3
-
3
-
-
84880677805
-
Defeasible specifications in action theories
-
Baral, C. and J. Lobo: 1997, 'Defeasible specifications in action theories', in Proceedings of IJCAI'97.
-
(1997)
Proceedings of IJCAI'97
-
-
Baral, C.1
Lobo, J.2
-
4
-
-
0012607804
-
A computational model for belief change and fusing ordered belief bases
-
M. A. Williams and H. Rott, (eds.), Kluwer Academic Publishers
-
Benferhat, S., D. Dubois, and H. Prade: 2001, 'A computational model for belief change and fusing ordered belief bases', in M. A. Williams and H. Rott, (eds.), Frontiers in Belief Revision, Kluwer Academic Publishers, pp. 109-134.
-
(2001)
Frontiers in Belief Revision
, pp. 109-134
-
-
Benferhat, S.1
Dubois, D.2
Prade, H.3
-
5
-
-
0035330792
-
Planning and control in artificial intelligence. A unifying perspective
-
Bonet, B. and H. Geffner: 2001, 'Planning and control in artificial intelligence. A unifying perspective', Applied Intelligence 3(14), 237-252.
-
(2001)
Applied Intelligence
, vol.3
, Issue.14
, pp. 237-252
-
-
Bonet, B.1
Geffner, H.2
-
6
-
-
0031698943
-
A unified model of qualitative belief change: A dynamical systems perspective
-
Boutilier, C.: 1998, 'A unified model of qualitative belief change: A dynamical systems perspective', Artificial Intelligence Journal 98(1-2), 281-316.
-
(1998)
Artificial Intelligence Journal
, vol.98
, Issue.1-2
, pp. 281-316
-
-
Boutilier, C.1
-
7
-
-
0002657285
-
Reasoning with conditional ceteris paribus statements
-
Boutilier, C., R. Brafman, H. Hoos, and D. Poole: 1999, 'Reasoning with conditional ceteris paribus statements', in Proceedings of the 15th Conf. on Uncertainty in Artificial Intelligence (UAI'99), pp. 71-80.
-
(1999)
Proceedings of the 15th Conf. on Uncertainty in Artificial Intelligence (UAI'99)
, pp. 71-80
-
-
Boutilier, C.1
Brafman, R.2
Hoos, H.3
Poole, D.4
-
8
-
-
0031645256
-
Belief revision with unreliable observations
-
Boutilier, C., N. Friedman, and J. Halpern: 1998, 'Belief revision with unreliable observations', in Proceedings of the Fifteenth National Conference on Artificial Intelligence (AAAI-98), pp. 127-134.
-
(1998)
Proceedings of the Fifteenth National Conference on Artificial Intelligence (AAAI-98)
, pp. 127-134
-
-
Boutilier, C.1
Friedman, N.2
Halpern, J.3
-
10
-
-
0030712510
-
On the logic of iterated belief revision
-
Darwiche, A., and J. Pearl: 1997, 'On the logic of iterated belief revision', Artificial Intelligence 87(1-2), 1-29.
-
(1997)
Artificial Intelligence
, vol.87
, Issue.1-2
, pp. 1-29
-
-
Darwiche, A.1
Pearl, J.2
-
12
-
-
0000516376
-
Upper and lower probabilities induced by a multivaluated mapping
-
Dempster, A. P.: 1967, 'Upper and lower probabilities induced by a multivaluated mapping', in Annals Mathematics Statistics 38, 325-339.
-
(1967)
Annals Mathematics Statistics
, vol.38
, pp. 325-339
-
-
Dempster, A.P.1
-
13
-
-
0001245395
-
Possibilistic logic
-
D. M. Gabbay, C. J. Hogger, and J. A. Robinson (eds.), Clarendon Press - Oxford
-
Dubois, D., J. Lang, and H. Prade: 1994, 'Possibilistic logic', in D. M. Gabbay, C. J. Hogger, and J. A. Robinson (eds.), Handbook of logic in Artificial Intelligence and Logic Programming, volume 3, Clarendon Press - Oxford, pp. 439-513.
-
(1994)
Handbook of Logic in Artificial Intelligence and Logic Programming
, vol.3
, pp. 439-513
-
-
Dubois, D.1
Lang, J.2
Prade, H.3
-
14
-
-
0001631256
-
A synthetic view of belief revision with uncertain inputs in the framework of possibility theory
-
Dubois, D., and H. Prade: 1997, 'A synthetic view of belief revision with uncertain inputs in the framework of possibility theory', International Journal of Approximate Reasoning 17(2-3), 295-324.
-
(1997)
International Journal of Approximate Reasoning
, vol.17
, Issue.2-3
, pp. 295-324
-
-
Dubois, D.1
Prade, H.2
-
15
-
-
0003730235
-
-
MIT Press
-
Fagin, R., J. Halpen, Y. Moses, and M. Vardi: 1995, Reasoning About Knowledge, MIT Press.
-
(1995)
Reasoning about Knowledge
-
-
Fagin, R.1
Halpen, J.2
Moses, Y.3
Vardi, M.4
-
16
-
-
1642484543
-
Nonmonotonic causal theories
-
Giunchiglia, E., J. Lee, N. McCain, V. Lifschitz, and H. Turner: 2003, 'Nonmonotonic causal theories', Artificial Intelligence 153, 49-104.
-
(2003)
Artificial Intelligence
, vol.153
, pp. 49-104
-
-
Giunchiglia, E.1
Lee, J.2
McCain, N.3
Lifschitz, V.4
Turner, H.5
-
17
-
-
0010311979
-
Rank-based systems: A simple approach to belief revision, belief update, and reasoning about evidence and actions
-
Goldszmidt, M. and J. Pearl: 1992, 'Rank-based systems: A simple approach to belief revision, belief update, and reasoning about evidence and actions', in Proceedings of KR'92, pp. 661-672.
-
(1992)
Proceedings of KR'92
, pp. 661-672
-
-
Goldszmidt, M.1
Pearl, J.2
-
18
-
-
0007720422
-
Turning high-level plans into robot programs in uncertain domains
-
Grosskreutz, H. and G. Lakemeyer: 2000, 'Turning high-level plans into robot programs in uncertain domains', in Proc. ECAI-2000, pp. 548-552.
-
(2000)
Proc. ECAI-2000
, pp. 548-552
-
-
Grosskreutz, H.1
Lakemeyer, G.2
-
19
-
-
33751372095
-
A logic for planning under partial observability
-
Herzig, A., J. Lang, D. Longin, and Th. Polacsek: 2000, 'A logic for planning under partial observability', in AAAI-00, pp. 768-773.
-
(2000)
AAAI-00
, pp. 768-773
-
-
Herzig, A.1
Lang, J.2
Longin, D.3
Polacsek, T.4
-
20
-
-
84880818961
-
Action representation and partially observable planning in epistemic logic
-
Herzig, A., J. Lang, and P. Marquis: 2003, 'Action representation and partially observable planning in epistemic logic', in Proceedings of IJCAI03, pp. 1067-1072.
-
(2003)
Proceedings of IJCAI03
, pp. 1067-1072
-
-
Herzig, A.1
Lang, J.2
Marquis, P.3
-
21
-
-
3843088531
-
A modal logic for epistemic tests
-
Herzig, A., J. Lang, and T. Polacsek: 2001, 'A modal logic for epistemic tests', in Proceedings of ECAI'2000, pp. 553-557.
-
(2001)
Proceedings of ECAI'2000
, pp. 553-557
-
-
Herzig, A.1
Lang, J.2
Polacsek, T.3
-
22
-
-
0032073263
-
Planning and acting in partially observable stochastic domains
-
Kaelbling, L. P., M. L. Littman, and A. R. Cassandra: 1998, 'Planning and acting in partially observable stochastic domains', Artificial Intelligence 101, 99-134.
-
(1998)
Artificial Intelligence
, vol.101
, pp. 99-134
-
-
Kaelbling, L.P.1
Littman, M.L.2
Cassandra, A.R.3
-
23
-
-
14544275947
-
Prepositional independence : Formula-variable independence and forgetting
-
Lang, J., P. Liberatore, and P. Marquis: 2003, 'Prepositional independence : Formula-variable independence and forgetting. Journal of Artificial Intelligence Research, 18, 391-443.
-
(2003)
Journal of Artificial Intelligence Research
, vol.18
, pp. 391-443
-
-
Lang, J.1
Liberatore, P.2
Marquis, P.3
-
24
-
-
84944908818
-
Updating epistemic states
-
Springer-Verlag (ed.), Lectures Notes in Artificial Intelligence 2256
-
Lang, J., P. Marquis, and M.-A. Williams: 2001, 'Updating epistemic states', in Springer-Verlag (ed.), Lectures Notes in Artificial Intelligence 2256, Proceedings of 14th Australian Joint Conference on Artificial Intelligence, pp. 297-308.
-
(2001)
Proceedings of 14th Australian Joint Conference on Artificial Intelligence
, pp. 297-308
-
-
Lang, J.1
Marquis, P.2
Williams, M.-A.3
-
25
-
-
85017356857
-
From knowledge-based programs to graded BBPs, part I: On-line reasoning
-
Laverny, N. and J. Lang: 2004, 'From knowledge-based programs to graded BBPs, part I: on-line reasoning', in Proceedings of ECAI-04, pp. 368-372.
-
(2004)
Proceedings of ECAI-04
, pp. 368-372
-
-
Laverny, N.1
Lang, J.2
-
26
-
-
28844449067
-
From knowledge-based programs to graded BBPs, part II: Off-line reasoning
-
Laverny, N. and J. Lang: 2004, 'From knowledge-based programs to graded BBPs, part II: off-line reasoning', in Proceedings of IJCAI-05.
-
(2004)
Proceedings of IJCAI-05
-
-
Laverny, N.1
Lang, J.2
-
27
-
-
0030352324
-
What is planning in the presence of sensing?
-
Levesque, H.: 1996, 'What is planning in the presence of sensing?', in AAAI 96, pp. 1139-1146.
-
(1996)
AAAI 96
, pp. 1139-1146
-
-
Levesque, H.1
-
29
-
-
0002283458
-
Embracing causality in specifying the indeterminate effects of actions
-
Lin, F.: 1996, 'Embracing causality in specifying the indeterminate effects of actions', in Proc. of AAAI'96.
-
(1996)
Proc. of AAAI'96
-
-
Lin, F.1
-
32
-
-
85017332807
-
On knowledge-based programming with sensing in the situation calculus
-
Reiter, R.: 2001b, 'On knowledge-based programming with sensing in the situation calculus', ACM Transactions on Computational Logic 2, 433-457.
-
(2001)
ACM Transactions on Computational Logic
, vol.2
, pp. 433-457
-
-
Reiter, R.1
-
33
-
-
28844455433
-
The frame problem and knowledge-producing actions
-
Scherl, R. B. and H. J. Levesque: 1993, 'The frame problem and knowledge-producing actions', in AAAI-93, pp. 698-695.
-
(1993)
AAAI-93
, pp. 698-1695
-
-
Scherl, R.B.1
Levesque, H.J.2
-
34
-
-
0002684757
-
Iterated belief change in the situation calculus
-
Shapiro, S., M. Pagnucco, Y. Lesperance, and H. Levesque: 2000, 'Iterated belief change in the situation calculus', in Proceedings of KR2000, pp. 527-537.
-
(2000)
Proceedings of KR2000
, pp. 527-537
-
-
Shapiro, S.1
Pagnucco, M.2
Lesperance, Y.3
Levesque, H.4
-
35
-
-
0000731447
-
Ordinal conditional functions: A dynamic theory of epistemic states
-
William L. Harper and Brian Skyrms (eds.), Kluwer Academic Pub.
-
Spohn, W: 1988, 'Ordinal conditional functions: a dynamic theory of epistemic states', in William L. Harper and Brian Skyrms (eds.), Causation in Decision, Belief Change and Statistics, volume 2, Kluwer Academic Pub., pp. 105-134.
-
(1988)
Causation in Decision, Belief Change and Statistics
, vol.2
, pp. 105-134
-
-
Spohn, W.1
-
36
-
-
28844442120
-
Planning with noisy actions (preliminary report)
-
M. Brooks, D. Powers, and M. Stumptner (eds.), LNAI, Adelaide, Australia, December 2001, Springer
-
Thielscher, M.: 2001, 'Planning with noisy actions (preliminary report)', in M. Brooks, D. Powers, and M. Stumptner (eds.), Proceedings of the Australian Joint Conference on Artificial Intelligence, LNAI, Adelaide, Australia, December 2001, Springer.
-
(2001)
Proceedings of the Australian Joint Conference on Artificial Intelligence
-
-
Thielscher, M.1
-
37
-
-
25744441968
-
Graded modalities for epistemic logic
-
van der Hoek, W. and J.-J.Ch. Meyer: 1991, 'Graded modalities for epistemic logic', Logique et Analyse 133-134, 251-270.
-
(1991)
Logique et Analyse
, vol.133-134
, pp. 251-270
-
-
Van Der Hoek, W.1
Meyer, J.-J.Ch.2
-
39
-
-
0008508630
-
Tests as epistemic updates
-
van Linder, B., W. van der Hoek, and John-Jules Ch. Meyer: 1994, 'Tests as epistemic updates', in Proceedings of ECAI 1994, pp. 331-335.
-
(1994)
Proceedings of ECAI 1994
, pp. 331-335
-
-
Van Linder, B.1
Van Der Hoek, W.2
Meyer, J.-J.Ch.3
-
40
-
-
0001908301
-
Transmutations of knowledge systems
-
Williams, M.-A: 1994, 'Transmutations of knowledge systems', in Proceedings of KR'94, pp. 619-629.
-
(1994)
Proceedings of KR'94
, pp. 619-629
-
-
Williams, M.-A.1
|