-
1
-
-
0000128393
-
On the logic of theory change: Partial meet contraction and revision functions
-
Alchourrón, C.E., Gärdenfors, P., Makinson, D.: On the logic of theory change: Partial meet contraction and revision functions. J. Symb. Log. 50(2), 510-530 (1985)
-
(1985)
J. Symb. Log
, vol.50
, Issue.2
, pp. 510-530
-
-
Alchourrón, C.E.1
Gärdenfors, P.2
Makinson, D.3
-
2
-
-
84959060945
-
Dynamic goal hierarchies
-
Foo, N.Y, Göbel, R, eds, PRICAI 1996, Springer, Heidelberg
-
Bell, J., Huang, Z.: Dynamic goal hierarchies. In: Foo, N.Y., Göbel, R. (eds.) PRICAI 1996. LNCS, vol. 1114, pp. 88-103. Springer, Heidelberg (1997)
-
(1997)
LNCS
, vol.1114
, pp. 88-103
-
-
Bell, J.1
Huang, Z.2
-
3
-
-
84880714041
-
Over-subscription planning with numeric goals
-
Kaelbling, L.P, Saffiotti, A, eds, Edinburgh, Scotland, UK, July 30-August 5, pp, Professional Book Center
-
Benton, J., Do, M.B., Kambhampati, S.: Over-subscription planning with numeric goals. In: Kaelbling, L.P., Saffiotti, A. (eds.) IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30-August 5, pp. 1207-1213. Professional Book Center (2005)
-
(2005)
IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence
, pp. 1207-1213
-
-
Benton, J.1
Do, M.B.2
Kambhampati, S.3
-
4
-
-
84874006735
-
Towards a framework for goal revision
-
Pierre-Yvese Schobbens, W.V, Schwanen, G, eds, Namur, Belgium, October 5-6, University of Namur
-
da Costa Pereira, C., Tettamanzi, A.: Towards a framework for goal revision. In: Pierre-Yvese Schobbens, W.V., Schwanen, G. (eds.) BNAIC-06, Proceedings of the 18th Belgium-Netherlands Conference on Artificial Intelligence, Namur, Belgium, October 5-6, 2006, pp. 99-106. University of Namur (2006)
-
(2006)
BNAIC-06, Proceedings of the 18th Belgium-Netherlands Conference on Artificial Intelligence
, pp. 99-106
-
-
da Costa Pereira, C.1
Tettamanzi, A.2
-
5
-
-
84885990000
-
-
da Costa Pereira, C., Tettamanzi, A., Amgoud, L.: Goal revision for a rational agent. In: Brewka, G., Coradeschi, S., Perini, A., Traverso, P. (eds.) ECAI 2006, Proceedings of the 17th European Conference on Artificial Intelligence, Riva del Garda, Italy, A, August 29-September 1, pp. 747-748. IOS Press, Amsterdam (2006)
-
da Costa Pereira, C., Tettamanzi, A., Amgoud, L.: Goal revision for a rational agent. In: Brewka, G., Coradeschi, S., Perini, A., Traverso, P. (eds.) ECAI 2006, Proceedings of the 17th European Conference on Artificial Intelligence, Riva del Garda, Italy, A, August 29-September 1, pp. 747-748. IOS Press, Amsterdam (2006)
-
-
-
-
6
-
-
1142269071
-
Goal generation in the boid architecture
-
Hulstijn, J., Broersen, J., Dastani, M., van der Torre, L.: Goal generation in the boid architecture. Cognitive Science Quarterly Journal 2(3-4), 428-447 (2002)
-
(2002)
Cognitive Science Quarterly Journal
, vol.2
, Issue.3-4
, pp. 428-447
-
-
Hulstijn, J.1
Broersen, J.2
Dastani, M.3
van der Torre, L.4
-
8
-
-
34447283274
-
-
Shapiro, S., Lespérance, Y., Levesque, H.J.: Goal change. In: Kaelbling, L.P., Saffiotti, A. (eds.) IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30-August 5, pp. 582-588. Professional Book Center (2005)
-
Shapiro, S., Lespérance, Y., Levesque, H.J.: Goal change. In: Kaelbling, L.P., Saffiotti, A. (eds.) IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30-August 5, pp. 582-588. Professional Book Center (2005)
-
-
-
-
9
-
-
13444250180
-
Choosing objectives in over-subscription planning
-
Zilberstein, S, Koehler, J, Koenig, S, eds, Whistler, British Columbia, Canada, June 3-7, pp, AAAI, Stanford, California, USA
-
Smith, D.E.: Choosing objectives in over-subscription planning. In: Zilberstein, S., Koehler, J., Koenig, S. (eds.) Proceedings of the Fourteenth International Conference on Automated Planning and Scheduling (ICAPS 2004), Whistler, British Columbia, Canada, June 3-7, pp. 393-401. AAAI, Stanford, California, USA (2004)
-
(2004)
Proceedings of the Fourteenth International Conference on Automated Planning and Scheduling (ICAPS
, pp. 393-401
-
-
Smith, D.E.1
-
10
-
-
14844356443
-
Representation and reasoning for goals in bdi agents
-
Australia, pp, Australian Computer Society, Inc
-
Thangarajah, J., Padgham, L., Harland, J.: Representation and reasoning for goals in bdi agents. In: CRPITS '02: Proceedings of the twenty-fifth Australasian conference on Computer science, Darlinghurst, Australia, pp. 259-265. Australian Computer Society, Inc (2002)
-
(2002)
CRPITS '02: Proceedings of the twenty-fifth Australasian conference on Computer science, Darlinghurst
, pp. 259-265
-
-
Thangarajah, J.1
Padgham, L.2
Harland, J.3
|