-
1
-
-
0033897011
-
Using temporal logics to express search control knowledge for planning
-
Bacchus, F., Kabanza, F.: Using temporal logics to express search control knowledge for planning. Artif. Intell. 116, 123-191 (2000).
-
(2000)
Artif. Intell.
, vol.116
, pp. 123-191
-
-
Bacchus, F.1
Kabanza, F.2
-
2
-
-
67650691551
-
An ACO approach to planning
-
Baioletti, M., Milani, A., Poggioni, V., Rossi, F.: An ACO approach to planning. In: Proceedings of the 9th European Conference on Evolutionary Computation in Combinatorial Optimisation, EVOCOP 2009 (2009).
-
(2009)
Proceedings of the 9th European Conference On Evolutionary Computation In Combinatorial Optimisation, EVOCOP 2009
-
-
Baioletti, M.1
Milani, A.2
Poggioni, V.3
Rossi, F.4
-
3
-
-
78650591009
-
Ant search strategies for planning optimization
-
Baioletti, M., Milani, A., Poggioni, V., Rossi, F.: Ant search strategies for planning optimization. In: Proceedings of the International Conference on Planning and Scheduling, ICAPS 2009 (2009).
-
(2009)
Proceedings of the International Conference On Planning and Scheduling, ICAPS 2009
-
-
Baioletti, M.1
Milani, A.2
Poggioni, V.3
Rossi, F.4
-
4
-
-
78650700296
-
Optimal planning with ACO
-
Baioletti, M., Milani, A., Poggioni, V., Rossi, F.: Optimal planning with ACO. In: Proceedings of AI*IA 2009. LNCS, vol. 5883, pp. 212-221 (2009).
-
(2009)
Proceedings of AI*IA 2009. LNCS
, vol.5883
, pp. 212-221
-
-
Baioletti, M.1
Milani, A.2
Poggioni, V.3
Rossi, F.4
-
5
-
-
70350518877
-
PlACO: Planning with Ants
-
Baioletti, M., Milani, A., Poggioni, V., Rossi, F.: PlACO: Planning with Ants. In: Proceedings of The 22nd International FLAIRS Conference. AAAI (2009).
-
(2009)
Proceedings of the 22nd International FLAIRS Conference. AAAI
-
-
Baioletti, M.1
Milani, A.2
Poggioni, V.3
Rossi, F.4
-
6
-
-
0031074857
-
Fast planning through planning graph analysis
-
Blum, A., Furst, M.: Fast planning through planning graph analysis. Artif. Intell. 90, 281-300 (1997).
-
(1997)
Artif. Intell.
, vol.90
, pp. 281-300
-
-
Blum, A.1
Furst, M.2
-
7
-
-
28944454561
-
Ant colony optimization: introduction and recent trends
-
Blum, C.: Ant colony optimization: introduction and recent trends. Physics of Life Reviews 2(4), 353-373 (2005).
-
(2005)
Physics of Life Reviews
, vol.2
, Issue.4
, pp. 353-373
-
-
Blum, C.1
-
8
-
-
0035369022
-
Planning as heuristic search
-
Bonet, B., Geffner, H.: Planning as heuristic search. Artif. Intell. 129(1-2), 5-33 (2001).
-
(2001)
Artif. Intell.
, vol.129
, Issue.1-2
, pp. 5-33
-
-
Bonet, B.1
Geffner, H.2
-
9
-
-
0028498153
-
The computational complexity of propositional strips planning
-
Bylander, T.: The computational complexity of propositional strips planning. Artif. Intell. 69 (1-2), 165-204 (1994).
-
(1994)
Artif. Intell.
, vol.69
, Issue.1-2
, pp. 165-204
-
-
Bylander, T.1
-
10
-
-
33845317913
-
Linear temporal logic as an executable semantics for planning languages
-
Cialdea, M., Limongelli, C., Poggioni, V., Orlandini, A.: Linear temporal logic as an executable semantics for planning languages. J. Logic, Lang. Inf. 16, 63-89 (2007).
-
(2007)
J. Logic, Lang. Inf.
, vol.16
, pp. 63-89
-
-
Cialdea, M.1
Limongelli, C.2
Poggioni, V.3
Orlandini, A.4
-
12
-
-
27444445193
-
Sapa: a multi-objective metric temporal planner
-
Do, M. B., Kambhampati, S.: Sapa: a multi-objective metric temporal planner. J. Artif. Intell. Res. (JAIR) 20, 155-194 (2003).
-
(2003)
J. Artif. Intell. Res. (JAIR)
, vol.20
, pp. 155-194
-
-
Do, M.B.1
Kambhampati, S.2
-
13
-
-
1842611240
-
-
Cambridge, MA, USA: MIT Press
-
Dorigo, M., Stuetzle, T.: Ant Colony Optimization. MIT Press, Cambridge, MA, USA (2004).
-
(2004)
Ant Colony Optimization
-
-
Dorigo, M.1
Stuetzle, T.2
-
14
-
-
84866455188
-
Gamer: Bridging planning and general game playing with symbolic search
-
Edelkamp, S., Kissmann, P.: Gamer: bridging planning and general game playing with symbolic search. In: Proceedings of IPC-6 Competition (2008).
-
(2008)
Proceedings of IPC-6 Competition
-
-
Edelkamp, S.1
Kissmann, P.2
-
15
-
-
67349090384
-
Path planning for autonomous mobile robot navigation with ant colony optimization and fuzzy cost function evaluation
-
Garcia, M. P., Oscar Montiel, O. C., Sepulveda, R., Melin, P.: Path planning for autonomous mobile robot navigation with ant colony optimization and fuzzy cost function evaluation. Appl. Soft Comput. 9, 1102-1110 (2008).
-
(2008)
Appl. Soft Comput.
, vol.9
, pp. 1102-1110
-
-
Garcia, M.P.1
Oscar Montiel, O.C.2
Sepulveda, R.3
Melin, P.4
-
17
-
-
33749001469
-
The fast downward planning system
-
Helmert, M.: The fast downward planning system. J. Artif. Intell. Res. (JAIR). 26, 191-246 (2006).
-
(2006)
J. Artif. Intell. Res. (JAIR)
, vol.26
, pp. 191-246
-
-
Helmert, M.1
-
19
-
-
0036377352
-
The FF planning system: fast plan generation through heuristic search
-
Hoffmann, J., Nebel, B.: The FF planning system: fast plan generation through heuristic search. J. Artif. Intell. Res. (JAIR) 14, 253-302 (2001).
-
(2001)
J. Artif. Intell. Res. (JAIR)
, vol.14
, pp. 253-302
-
-
Hoffmann, J.1
Nebel, B.2
-
20
-
-
0001793083
-
Encoding plans in propositional logic
-
Massachusetts, USA: Cambridge
-
Kautz, H., McAllester, D., Selman, B.: Encoding plans in propositional logic. In: Proceedings of KR-96, Cambridge, Massachusetts, USA (1996).
-
(1996)
Proceedings of KR-96
-
-
Kautz, H.1
McAllester, D.2
Selman, B.3
-
22
-
-
84879223199
-
Heuristics for planning with action costs revisited
-
Keyder, E., Geffner, H.: Heuristics for planning with action costs revisited. In: Proceedings of ECAI 2008, pp. 588-592 (2008).
-
(2008)
Proceedings of ECAI 2008
, pp. 588-592
-
-
Keyder, E.1
Geffner, H.2
-
23
-
-
44449168150
-
Loosely coupled formulations for automated planning: an integer programming perspective
-
Menkes van den Briel, T. V., Kambhampati, S.: Loosely coupled formulations for automated planning: an integer programming perspective. J. Artif. Intell. Res. (JAIR) 31, 217-257 (2007).
-
(2007)
J. Artif. Intell. Res. (JAIR)
, vol.31
, pp. 217-257
-
-
Menkes van den Briel, T.V.1
Kambhampati, S.2
-
25
-
-
77958556194
-
The lama planner using landmark counting in heuristic search
-
Richter, S., Westphal, M.: The lama planner using landmark counting in heuristic search. In: Proc. of IPC-6 Competition (2008).
-
(2008)
Proc. of IPC-6 Competition
-
-
Richter, S.1
Westphal, M.2
-
26
-
-
84856537820
-
-
Ph. D. thesis, Mathematics and Computer Science Dept., University of Perugia, Italy
-
Rossi, F.: An aco approach to planning. Ph. D. thesis, Mathematics and Computer Science Dept., University of Perugia, Italy (2009).
-
(2009)
An Aco Approach to Planning
-
-
Rossi, F.1
|