-
1
-
-
26444462481
-
A SAT-based decision procedure for the boolean combination of difference constraints
-
Berlin, Heidelberg, New York. Springer-Verlag. SAT 2004 LNCS Volume
-
Armando, A., Castellini, C., Giunchiglia, E., & Maratea, M. (2004). A SAT-based decision procedure for the boolean combination of difference constraints. In Proceedings of the Seventh International Conference on Theory and Applications of Satisfiability Testing (SAT-04), Berlin, Heidelberg, New York. Springer-Verlag. SAT 2004 LNCS Volume.
-
(2004)
Proceedings of the Seventh International Conference on Theory and Applications of Satisfiability Testing (SAT-04)
-
-
Armando, A.1
Castellini, C.2
Giunchiglia, E.3
Maratea, M.4
-
2
-
-
0031074857
-
Fast planning through planning graph analysis
-
Blum, A., & Furst, M. (1997). Fast planning through planning graph analysis. Artificial Intelligence, 90, pp. 281-300.
-
(1997)
Artificial Intelligence
, vol.90
, pp. 281-300
-
-
Blum, A.1
Furst, M.2
-
3
-
-
33646734501
-
SGPlan: Subgoal partitioning and resolution in planning
-
Edelkamp, S., Hoffmann, J., Littman, M., & Younes, H. (Eds.)
-
Chen, Y., Hsu, C., & Wah B., W. (2004). SGPlan: Subgoal partitioning and resolution in planning. In Edelkamp, S., Hoffmann, J., Littman, M., & Younes, H. (Eds.), In Abstract Booklet of the Competing Planners of ICAPS-04, pp. 30-32.
-
(2004)
Abstract Booklet of the Competing Planners of ICAPS-04
, pp. 30-32
-
-
Chen, Y.1
Hsu, C.2
Wah, B.W.3
-
4
-
-
85017359510
-
Adapting LPGP to plan with deadlines
-
Amsterdam, The Netherlands. IOS Press
-
Cresswell, S., & Coddington, A. (2004). Adapting LPGP to plan with deadlines. In Proceedings of the Sixteenth European Conference on Artificial Intelligence (ECAI-04), pp. 983-984, Amsterdam, The Netherlands. IOS Press.
-
(2004)
Proceedings of the Sixteenth European Conference on Artificial Intelligence (ECAI-04)
, pp. 983-984
-
-
Cresswell, S.1
Coddington, A.2
-
5
-
-
0026154176
-
Temporal constraint networks
-
Dechter, R., Meiri, I., & Pearl, J. (1991). Temporal constraint networks. Artificial Intelligence, 49, pp. 61-95.
-
(1991)
Artificial Intelligence
, vol.49
, pp. 61-95
-
-
Dechter, R.1
Meiri, I.2
Pearl, J.3
-
6
-
-
33744460018
-
Planning - Scheduling connections through exogenous events
-
Do, M., B., Kambhampati, S., & Zimmerman, T. (2004). Planning - scheduling connections through exogenous events. In Proceedings of the ICAPS-04 Workshop on Integrating Planning into Scheduling, pp. 32-37.
-
(2004)
Proceedings of the ICAPS-04 Workshop on Integrating Planning into Scheduling
, pp. 32-37
-
-
Do, M.B.1
Kambhampati, S.2
Zimmerman, T.3
-
9
-
-
25144522234
-
PDDL2.2: The language for the classic part of the 4th international planning competition
-
Institut für Informatik, Freiburg, Germany
-
Edelkamp, S., & Hoffmann, J. (2004). PDDL2.2: The language for the classic part of the 4th international planning competition. Technical report 195, Institut für Informatik, Freiburg, Germany.
-
(2004)
Technical Report
, vol.195
-
-
Edelkamp, S.1
Hoffmann, J.2
-
10
-
-
33744468834
-
-
Edelkamp, S., Hoffmann, J., Littman, M., & Younes, H. (2004) In Abstract Booklet of the competing planners of ICAPS-04.
-
(2004)
Abstract Booklet of the Competing Planners of ICAPS-04
-
-
Edelkamp, S.1
Hoffmann, J.2
Littman, M.3
Younes, H.4
-
11
-
-
0016973040
-
Finding some essential characteristics of the feasible solutions for a scheduling problem
-
Erschler, J., Roubellat, F., & Vernhes, J. P. (1976). Finding some essential characteristics of the feasible solutions for a scheduling problem. Operations Research (OR), 24, pp. 772-782.
-
(1976)
Operations Research (OR)
, vol.24
, pp. 772-782
-
-
Erschler, J.1
Roubellat, F.2
Vernhes, J.P.3
-
12
-
-
27444434099
-
PDDL2.1: An extension to PDDL for expressing temporal planning domains
-
Fox, M., & Long, D. (2003). PDDL2.1: An extension to PDDL for expressing temporal planning domains. Journal of Artificial Intelligence Research (JAIR), 20, pp. 61-124.
-
(2003)
Journal of Artificial Intelligence Research (JAIR)
, vol.20
, pp. 61-124
-
-
Fox, M.1
Long, D.2
-
13
-
-
77956768069
-
Planning in time
-
Fisher, M., Gabbay, D., & Vila, L. (Eds.). Elsevier Science Publishers, New York, NY, USA
-
Fox, M., & Long, D. (2005). Planning in time. In Fisher, M., Gabbay, D., & Vila, L. (Eds.), Handbook of Temporal Reasoning in Artificial Intelligence, pp. 497-536. Elsevier Science Publishers, New York, NY, USA.
-
(2005)
Handbook of Temporal Reasoning in Artificial Intelligence
, pp. 497-536
-
-
Fox, M.1
Long, D.2
-
14
-
-
31144469503
-
An investigation into the expressive power of PDDL2.1
-
Amsterdam, The Netherlands. IOS Press
-
Fox, M., Long, D., & Halsey, K. (2004). An investigation into the expressive power of PDDL2.1. In Proceedings of the Sixteenth European Conference on Artificial Intelligence (ECAI-04), pp. 338-342, Amsterdam, The Netherlands. IOS Press.
-
(2004)
Proceedings of the Sixteenth European Conference on Artificial Intelligence (ECAI-04)
, pp. 338-342
-
-
Fox, M.1
Long, D.2
Halsey, K.3
-
16
-
-
84880658764
-
On finding a solution in temporal constraint satisfaction problems
-
San Francisco, CA, USA. Morgan Kaufmann Publishers
-
Gerevini, A., & Cristani, M. (1997). On finding a solution in temporal constraint satisfaction problems. In Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence (IJCAI-97), Vol. 2, pp. 1460-1465, San Francisco, CA, USA. Morgan Kaufmann Publishers.
-
(1997)
Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence (IJCAI-97)
, vol.2
, pp. 1460-1465
-
-
Gerevini, A.1
Cristani, M.2
-
17
-
-
13444258399
-
Planning through stochastic local search and temporal action graphs
-
Gerevini, A., Saetti, A., & Serina, I. (2003). Planning through stochastic local search and temporal action graphs. Journal of Artificial Intelligence Research (JAIR), 20, pp. 239-290.
-
(2003)
Journal of Artificial Intelligence Research (JAIR)
, vol.20
, pp. 239-290
-
-
Gerevini, A.1
Saetti, A.2
Serina, I.3
-
18
-
-
13444250186
-
An empirical analysis of some heuristic features for local search in LPG
-
Menlo Park, CA, USA. AAAI Press
-
Gerevini, A., Saetti, A., & Serina, I. (2004). An empirical analysis of some heuristic features for local search in LPG. In Proceedings of the Fourteenth International Conference on Automated Planning and Scheduling (ICAPS-04), pp. 171-180, Menlo Park, CA, USA. AAAI Press.
-
(2004)
Proceedings of the Fourteenth International Conference on Automated Planning and Scheduling (ICAPS-04)
, pp. 171-180
-
-
Gerevini, A.1
Saetti, A.2
Serina, I.3
-
19
-
-
33744480815
-
Integrating planning and temporal reasoning for domains with durations and time windows
-
Menlo Park, CA, USA. International Joint Conference on Artificial Intelligence Inc.
-
Gerevini, A., Saetti, A., & Serina, I. (2005a). Integrating planning and temporal reasoning for domains with durations and time windows. In Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence (IJCAI-05), pp. 1226-1235, Menlo Park, CA, USA. International Joint Conference on Artificial Intelligence Inc.
-
(2005)
Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence (IJCAI-05)
, pp. 1226-1235
-
-
Gerevini, A.1
Saetti, A.2
Serina, I.3
-
20
-
-
29344463930
-
Fast planning in domains with derived predicates: An approach based on rule-action graphs and local search
-
Menlo Park, CA, USA. AAAI Press
-
Gerevini, A., Saetti, A., Serina, I., & Toninelli, P. (2005b). Fast planning in domains with derived predicates: An approach based on rule-action graphs and local search. In Proceedings of the Twentieth National Conference on Artificial Intelligence (AAAI-05), pp. 1157-1162, Menlo Park, CA, USA. AAAI Press.
-
(2005)
Proceedings of the Twentieth National Conference on Artificial Intelligence (AAAI-05)
, pp. 1157-1162
-
-
Gerevini, A.1
Saetti, A.2
Serina, I.3
Toninelli, P.4
-
21
-
-
0032596471
-
Fast planning through greedy action graphs
-
Menlo Park, CA, USA. AAAI Press/MIT Press
-
Gerevini, A., & Serina, I. (1999). Fast planning through greedy action graphs. In Proceedings of the Sixteenth National Conference on Artificial Intelligence (AAAI-99), pp. 503-510, Menlo Park, CA, USA. AAAI Press/MIT Press.
-
(1999)
Proceedings of the Sixteenth National Conference on Artificial Intelligence (AAAI-99)
, pp. 503-510
-
-
Gerevini, A.1
Serina, I.2
-
22
-
-
84872538353
-
Fast plan adaptation through planning graphs: Local and systematic search techniques
-
Menlo Park, CA, USA. AAAI Press/MIT Press
-
Gerevini, A., & Serina, I. (2000). Fast plan adaptation through planning graphs: Local and systematic search techniques. In Proceedings of the Fifth International Conference on Artificial Intelligence Planning and Scheduling (AIPS-00), pp. 112-121, Menlo Park, CA, USA. AAAI Press/MIT Press.
-
(2000)
Proceedings of the Fifth International Conference on Artificial Intelligence Planning and Scheduling (AIPS-00)
, pp. 112-121
-
-
Gerevini, A.1
Serina, I.2
-
23
-
-
85166919496
-
Representation and control in IxTeT, a temporal planner
-
Menlo Park, CA, USA. AAAI press
-
Ghallab, M., & Laruelle, H. (1994). Representation and control in IxTeT, a temporal planner. In Proceedings of the Second International Conference on Artificial Intelligence Planning Systems (AIPS-94), pp. 61-67, Menlo Park, CA, USA. AAAI press.
-
(1994)
Proceedings of the Second International Conference on Artificial Intelligence Planning Systems (AIPS-94)
, pp. 61-67
-
-
Ghallab, M.1
Laruelle, H.2
-
24
-
-
9344220971
-
-
Morgan Kaufmann Publishers, San Francisco, CA, USA
-
Ghallab, M., Nau, D., & Traverse, P. (2003). Automated Planning: Theory and Practice. Morgan Kaufmann Publishers, San Francisco, CA, USA.
-
(2003)
Automated Planning: Theory and Practice
-
-
Ghallab, M.1
Nau, D.2
Traverse, P.3
-
25
-
-
0004215426
-
-
Kluwer Academic Publishers, Boston, USA
-
Glover, F., & Laguna, M. (1997). Tabu Search. Kluwer Academic Publishers, Boston, USA.
-
(1997)
Tabu Search
-
-
Glover, F.1
Laguna, M.2
-
27
-
-
33744460530
-
Tilsapa - Timed initial literals using SAPA
-
Edelkamp, S., Hoffmann, J., Littman, M., & Younes, H. (Eds.)
-
Kavuluri, B. R., & U, S. (2004). Tilsapa - timed initial literals using SAPA. In Edelkamp, S., Hoffmann, J., Littman, M., & Younes, H. (Eds.), In Abstract Booklet of the Competing Planners of ICAPS-04, pp. 46-47.
-
(2004)
Abstract Booklet of the Competing Planners of ICAPS-04
, pp. 46-47
-
-
Kavuluri, B.R.1
S., U.2
-
28
-
-
84880678797
-
Planning with sharable resource constraints
-
San Francisco, CA, USA. Morgan Kaufmann Publishers
-
Laborie, P., & Ghallab, M. (1995). Planning with sharable resource constraints. In Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence (IJCAI-95), Vol. 2, pp. 1643-1651, San Francisco, CA, USA. Morgan Kaufmann Publishers.
-
(1995)
Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence (IJCAI-95)
, vol.2
, pp. 1643-1651
-
-
Laborie, P.1
Ghallab, M.2
-
30
-
-
9444281820
-
Exploiting a graphplan framework in temporal planning
-
Menlo Park, CA, USA. AAAI Press
-
Long, D., & Fox, M. (2003b). Exploiting a graphplan framework in temporal planning. In Proceedings of the Thirteenth International Conference on Automated Planning and Scheduling (ICAPS-03), pp. 52-61, Menlo Park, CA, USA. AAAI Press.
-
(2003)
Proceedings of the Thirteenth International Conference on Automated Planning and Scheduling (ICAPS-03)
, pp. 52-61
-
-
Long, D.1
Fox, M.2
-
31
-
-
0342772590
-
Systematic nonlinear planning
-
Menlo Park, CA, USA. AAAI Press
-
McAllester, D., & Rosenblitt, D. (1991). Systematic nonlinear planning. In Proceedings of the Ninth National Conference on Artificial Intelligence (AAAI-91), pp. 634-639, Menlo Park, CA, USA. AAAI Press.
-
(1991)
Proceedings of the Ninth National Conference on Artificial Intelligence (AAAI-91)
, pp. 634-639
-
-
McAllester, D.1
Rosenblitt, D.2
-
32
-
-
0039310873
-
HSTS: Integrating planning and scheduling
-
Zweben, & Fox (Eds.), San Francisco, CA, USA. Morgan Kaufmann Publishers
-
Muscettola, N. (1994). HSTS: Integrating planning and scheduling. In Zweben, & Fox (Eds.), Intelligent Scheduling, pp. 169-212, San Francisco, CA, USA. Morgan Kaufmann Publishers.
-
(1994)
Intelligent Scheduling
, pp. 169-212
-
-
Muscettola, N.1
-
33
-
-
84880865654
-
Reviving partial order planning
-
San Francisco, CA, USA. Morgan Kaufmann Publishers
-
Nguyen, X., & Kambhampati, S. (2001). Reviving partial order planning. In Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence (IJCAI-01), Vol. 1, pp. 459-464, San Francisco, CA, USA. Morgan Kaufmann Publishers.
-
(2001)
Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence (IJCAI-01)
, vol.1
, pp. 459-464
-
-
Nguyen, X.1
Kambhampati, S.2
-
34
-
-
0002489296
-
UCPOP: A sound, complete, partial order planner for ADL
-
San Mateo, CA, USA. Morgan Kaufmann Publishers
-
Penberthy, J., & Weld, D. (1992). UCPOP: A sound, complete, partial order planner for ADL. In Proceedings of the Third International Conference on Principles of Knowledge Representation and Reasoning (KR'92), pp. 103-114, San Mateo, CA, USA. Morgan Kaufmann Publishers.
-
(1992)
Proceedings of the Third International Conference on Principles of Knowledge Representation and Reasoning (KR'92)
, pp. 103-114
-
-
Penberthy, J.1
Weld, D.2
-
35
-
-
0028572332
-
Temporal planning with continuous change
-
Menlo Park, CA, USA. AAAI Press/MIT Press
-
Penberthy, J., & Weld, D. (1994). Temporal planning with continuous change. In Proceedings of the Twelfth National Conference on Artificial Intelligence (AAAI-94), pp. 1010-1015, Menlo Park, CA, USA. AAAI Press/MIT Press.
-
(1994)
Proceedings of the Twelfth National Conference on Artificial Intelligence (AAAI-94)
, pp. 1010-1015
-
-
Penberthy, J.1
Weld, D.2
-
36
-
-
0142243340
-
-
Ph.D. thesis, University of Washington, Seattle, WA, USA. Available as technical report UW-CSE-93-12-01
-
Penberthy, J., S. (1993). Planning with Continuous Change. Ph.D. thesis, University of Washington, Seattle, WA, USA. Available as technical report UW-CSE-93-12-01.
-
(1993)
Planning with Continuous Change
-
-
Penberthy, J.S.1
-
37
-
-
33744457048
-
P-MEP: Parallel more expressive planner
-
Edelkamp, S., Hoffmann, J., Littman, M., & Younes, H. (Eds.)
-
Sanchez, J., Tang, M., & Mali, A., D. (2004). P-MEP: Parallel more expressive planner. In Edelkamp, S., Hoffmann, J., Littman, M., & Younes, H. (Eds.), In Abstract Booklet of the Competing Planners of ICAPS-04, pp. 53-55.
-
(2004)
Abstract Booklet of the Competing Planners of ICAPS-04
, pp. 53-55
-
-
Sanchez, J.1
Tang, M.2
Mali, A.D.3
-
39
-
-
84880691938
-
Temporal planning with mutual exclusive reasoning
-
San Francisco, CA, USA. Morgan Kaufmann Publishers
-
Smith, D., & Weld, D. (1999). Temporal planning with mutual exclusive reasoning. In Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence (IJCAI-99), pp. 326-337, San Francisco, CA, USA. Morgan Kaufmann Publishers.
-
(1999)
Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence (IJCAI-99)
, pp. 326-337
-
-
Smith, D.1
Weld, D.2
-
40
-
-
0027705974
-
Slack-based heuristics for constraint satisfaction scheduling
-
Menlo Park, CA, USA. AAAI Press/The MIT press
-
Smith, S., & Cheng, C. (1993). Slack-based heuristics for constraint satisfaction scheduling. In Proceedings of the Eleventh National Conference on Artificial Intelligence (AAAI-93), pp. 139-144, Menlo Park, CA, USA. AAAI Press/The MIT press.
-
(1993)
Proceedings of the Eleventh National Conference on Artificial Intelligence (AAAI-93)
, pp. 139-144
-
-
Smith, S.1
Cheng, C.2
-
41
-
-
0033722732
-
Backtracking algorithms for disjunctions of temporal constraints
-
Stergiou, K., & Koubarakis, M. (2000). Backtracking algorithms for disjunctions of temporal constraints. Artificial Intelligence, 120(1), pp. 81-117.
-
(2000)
Artificial Intelligence
, vol.120
, Issue.1
, pp. 81-117
-
-
Stergiou, K.1
Koubarakis, M.2
-
42
-
-
0002680667
-
Generating project networks
-
Cambridge, MA, USA. MIT, William Kaufmann
-
Tate, A. (1977). Generating project networks. In Proceedings of the Fifth International Joint Conference on Artificial Intelligence (IJCAI-77), pp. 888-889, Cambridge, MA, USA. MIT, William Kaufmann.
-
(1977)
Proceedings of the Fifth International Joint Conference on Artificial Intelligence (IJCAI-77)
, pp. 888-889
-
-
Tate, A.1
-
43
-
-
0242334187
-
Efficient solution techniques for disjunctive temporal reasoning problems
-
Tsamardinos, I., & Pollack, M. E. (2003). Efficient solution techniques for disjunctive temporal reasoning problems. Artificial Intelligence, 151(1-2), pp. 43-89.
-
(2003)
Artificial Intelligence
, vol.151
, Issue.1-2
, pp. 43-89
-
-
Tsamardinos, I.1
Pollack, M.E.2
-
46
-
-
0003459891
-
-
American Cyanamid Co., Pearl River, NY, USA
-
Wilcoxon, F., &: Wilcox, R. A. (1964). Some Rapid Approximate Statistical Procedures. American Cyanamid Co., Pearl River, NY, USA.
-
(1964)
Some Rapid Approximate Statistical Procedures
-
-
Wilcoxon, F.1
Wilcox, R.A.2
|