-
2
-
-
0002150682
-
Inconsistency management and prioritized syntax-based entailment
-
Benferhat, S.; Cayrol, C.; Dubois, D.; Lang, J.; and Prade, H. 1993. Inconsistency management and prioritized syntax-based entailment. In Proc. IJCAI-93, 640-647.
-
(1993)
Proc. IJCAI-93
, pp. 640-647
-
-
Benferhat, S.1
Cayrol, C.2
Dubois, D.3
Lang, J.4
Prade, H.5
-
3
-
-
0031074857
-
Fast planning through planning graph analysis
-
Blum, A., and Furst, M. L. 1997. Fast planning through planning graph analysis. Artif. Intell. 90(1-2):281-300.
-
(1997)
Artif. Intell.
, vol.90
, Issue.1-2
, pp. 281-300
-
-
Blum, A.1
Furst, M.L.2
-
4
-
-
84890295989
-
Planning with goal preferences and constraints
-
Biundo, S. Myers, K. L. and Rajan, K. eds., AAAI
-
Brafman, R. I., and Chernyavsky, Y. 2005. Planning with goal preferences and constraints. In Biundo, S.; Myers, K. L.; and Rajan, K., eds., Proc. ICAPS-05, 182-191. AAAI.
-
(2005)
Proc. ICAPS-05
, pp. 182-191
-
-
Brafman, R.I.1
Chernyavsky, Y.2
-
5
-
-
27344454326
-
Introducing variable importance tradeoffs into CP-nets
-
Darwiche, A. and Friedman, N. eds., Morgan Kaufmann
-
Brafman, R. I., and Domshlak, C. 2002. Introducing variable importance tradeoffs into CP-nets. In Darwiche, A., and Friedman, N., eds., Proc. UAI-02, 69-76. Morgan Kaufmann.
-
(2002)
Proc. UAI-02
, pp. 69-76
-
-
Brafman, R.I.1
Domshlak, C.2
-
6
-
-
0000342173
-
Preferred subtheories: An extended logical framework for default reasoning
-
Brewka, G. 1989. Preferred subtheories: An extended logical framework for default reasoning. In Proc. IJCAI- 89, 1043-1048.
-
(1989)
Proc. IJCAI- 89
, pp. 1043-1048
-
-
Brewka, G.1
-
7
-
-
85017337899
-
A rank based description language for qualitative preferences
-
de Ḿantaras, R. L. and Saitta, L. eds., IOS Press
-
Brewka, G. 2004. A rank based description language for qualitative preferences. In de Ḿantaras, R. L., and Saitta, L., eds., Proc. ECAI-04, 303-307. IOS Press.
-
(2004)
Proc. ECAI-04
, pp. 303-307
-
-
Brewka, G.1
-
8
-
-
85167436665
-
Expressive power and succinctness of propositional languages for preference representation
-
Coste-Marquis, S.; Lang, J.; Liberatore, P.; and Marquis, P. 2004. Expressive power and succinctness of propositional languages for preference representation. In Proc. KR-04, 203-212.
-
(2004)
Proc. KR-04
, pp. 203-212
-
-
Coste-Marquis, S.1
Lang, J.2
Liberatore, P.3
Marquis, P.4
-
9
-
-
84880209343
-
Domain-specific preferences for causal reasoning and planning
-
Delgrande, J. P.; Schaub, T.; and Tompits, H. 2004. Domain-specific preferences for causal reasoning and planning. In Proc. KR-04, 673-682.
-
(2004)
Proc. KR-04
, pp. 673-682
-
-
Delgrande, J.P.1
Schaub, T.2
Tompits, H.3
-
10
-
-
0035501435
-
Planning as constraint satisfaction: Solving the planning graph by compiling it into CSP
-
Do, M. B., and Kambhampati, S. 2001. Planning as constraint satisfaction: Solving the planning graph by compiling it into CSP. Artif. Intell. 132(2):151-182.
-
(2001)
Artif. Intell.
, vol.132
, Issue.2
, pp. 151-182
-
-
Do, M.B.1
Kambhampati, S.2
-
11
-
-
27444445193
-
Sapa: A multiobjective metric temporal planner
-
Do, M. B., and Kambhampati, S. 2003. Sapa: A multiobjective metric temporal planner. J. Artif. Intell. Res. (JAIR) 20:155-194.
-
(2003)
J. Artif. Intell. Res. (JAIR)
, vol.20
, pp. 155-194
-
-
Do, M.B.1
Kambhampati, S.2
-
12
-
-
84860553456
-
-
eds., AAAI Press
-
Dubois, D.; Welty, C. A.; and Williams, M.-A., eds. 2004. Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), Whistler, Canada, June 2-5, 2004. AAAI Press.
-
(2004)
Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), Whistler, Canada, June 2-5, 2004
-
-
Dubois, D.1
Welty, C.A.2
Williams, M.-A.3
-
13
-
-
77952039002
-
Answer set planning under action costs
-
Flesca, S. Greco, S. Leone, N. and Ianni, G. eds., volume 2424 of Lecture Notes in Computer Science, Springer
-
Eiter, T.; Faber, W.; Leone, N.; Pfeifer, G.; and Polleres, A. 2002. Answer set planning under action costs. In Flesca, S.; Greco, S.; Leone, N.; and Ianni, G., eds., Proc. JELIA- 02, volume 2424 of Lecture Notes in Computer Science, 186-197. Springer.
-
(2002)
Proc. JELIA- 02
, pp. 186-197
-
-
Eiter, T.1
Faber, W.2
Leone, N.3
Pfeifer, G.4
Polleres, A.5
-
15
-
-
2842560201
-
STRIPS: A new approach to the application of theorem proving to problem solving
-
Fikes, R., and Nilsson, N. J. 1971. STRIPS: A new approach to the application of theorem proving to problem solving. Artif. Intell. 2(3/4):189-208.
-
(1971)
Artif. Intell.
, vol.2
, Issue.3-4
, pp. 189-208
-
-
Fikes, R.1
Nilsson, N.J.2
-
16
-
-
27444434099
-
PDDL2.1: An extension to PDDL for expressing temporal planning domains
-
Fox, M., and Long, D. 2003. PDDL2.1: An extension to PDDL for expressing temporal planning domains. J. Artif. Intell. Res. (JAIR) 20:61-124.
-
(2003)
J. Artif. Intell. Res. (JAIR)
, vol.20
, pp. 61-124
-
-
Fox, M.1
Long, D.2
-
18
-
-
35048866111
-
PDDL-The planning domain definition language
-
planning committee
-
Ghallab, M.; Howe, A.; Knoblock, C.; McDermott, D.; Ram, A.; Veloso, M.; Weld, D.; and Wilkins, D. 1998. PDDL-the planning domain definition language, AIPS- 98 planning committee.
-
(1998)
AIPS-98
-
-
Ghallab, M.1
Howe, A.2
Knoblock, C.3
McDermott, D.4
Ram, A.5
Veloso, M.6
Weld, D.7
Wilkins, D.8
-
20
-
-
85028699559
-
System-Z+: A formalism for reasoning with variable-strength defaults
-
Goldszmidt, M., and Pearl, J. 1991. System-Z+: A formalism for reasoning with variable-strength defaults. In Proc. AAAI-91, 399-404.
-
(1991)
Proc. AAAI-91
, pp. 399-404
-
-
Goldszmidt, M.1
Pearl, J.2
-
21
-
-
13444301819
-
The Metric-FF planning system: Translating "ignoring delete lists" to numeric state variables
-
Hoffmann, J. 2003. The Metric-FF planning system: Translating "ignoring delete lists" to numeric state variables. J. Artif. Intell. Res. (JAIR) 20:291-341.
-
(2003)
J. Artif. Intell. Res. (JAIR)
, vol.20
, pp. 291-341
-
-
Hoffmann, J.1
-
22
-
-
0002634765
-
1990, System Z: A natural ordering of defaults with tractable applications to nonmonotonic reasoning
-
Parikh, R. ed., Morgan Kaufmann
-
Pearl, J. 1990. System Z: A natural ordering of defaults with tractable applications to nonmonotonic reasoning. In Parikh, R., ed., Proc. TARK-90, 121-135. Morgan Kaufmann.
-
Proc. TARK-90
, pp. 121-135
-
-
Pearl, J.1
-
23
-
-
0000532979
-
ADL: Exploring the middle ground between STRIPS and the situation calculus
-
Pednault, E. P. D. 1989. ADL: Exploring the middle ground between STRIPS and the situation calculus. In Proc. KR-89, 324-332.
-
(1989)
Proc. KR-89
, pp. 324-332
-
-
Pednault, E.P.D.1
-
24
-
-
13444250180
-
Choosing objectives in oversubscription planning
-
Zilberstein, S. Koehler, J. and Koenig, S. eds., AAAI
-
Smith, D. E. 2004. Choosing objectives in oversubscription planning. In Zilberstein, S.; Koehler, J.; and Koenig, S., eds., Proc. ICAPS-04, 393-401. AAAI.
-
(2004)
Proc. ICAPS-04
, pp. 393-401
-
-
Smith, D.E.1
-
25
-
-
9444265906
-
Planning with preferences using logic programming
-
Lifschitz, V. and Niemel̈a, I. eds., volume 2923 of Lecture Notes in Computer Science, Springer
-
Son, T. C., and Pontelli, E. 2004. Planning with preferences using logic programming. In Lifschitz, V., and Niemel̈a, I., eds., Proc. LPNMR-04, volume 2923 of Lecture Notes in Computer Science, 247-260. Springer.
-
(2004)
Proc. LPNMR-04
, pp. 247-260
-
-
Son, T.C.1
Pontelli, E.2
-
26
-
-
9444248634
-
Effective approaches for partial satisfaction (over-subscription) planning
-
McGuinness, D. L. and Ferguson, G. eds., AAAI Press/The MIT Press
-
van den Briel, M.; Nigenda, R. S.; Do, M. B.; and Kambhampati, S. 2004. Effective approaches for partial satisfaction (over-subscription) planning. In McGuinness, D. L., and Ferguson, G., eds., Proc. AAAI-04, 562-569. AAAI Press/The MIT Press.
-
(2004)
Proc. AAAI-04
, pp. 562-569
-
-
Van Den Briel, M.1
Nigenda, R.S.2
Do, M.B.3
Kambhampati, S.4
|