-
1
-
-
0000342173
-
Preferred subtheories: An extended logical framework for default reasoning
-
Detroit, MI: Morgan Kaufmann
-
Brewka, G. 1989. Preferred subtheories: An extended logical framework for default reasoning. In IJCAI-89, 1043-1048. Detroit, MI: Morgan Kaufmann.
-
(1989)
IJCAI-89
, pp. 1043-1048
-
-
Brewka, G.1
-
2
-
-
84880684460
-
An iterative sampling procedure for resource constrained project scheduling with time windows
-
Cesta, A.; Oddi, A.; and Smith, S. F. 1999. An iterative sampling procedure for resource constrained project scheduling with time windows. In IJCAI-99, 1022-1029.
-
(1999)
IJCAI-99
, pp. 1022-1029
-
-
Cesta, A.1
Oddi, A.2
Smith, S. F.3
-
3
-
-
0026821714
-
Conditional entailment: Bridging two approaches to default reasoning
-
Geffner, H., and Pearl, J. 1992. Conditional entailment: Bridging two approaches to default reasoning. Artificial Intelligence 53:209-244.
-
(1992)
Artificial Intelligence
, vol.53
, pp. 209-244
-
-
Geffner, H.1
Pearl, J.2
-
4
-
-
0000953883
-
Generalizing prioritization
-
Cambridge, MA: Morgan Kaufmann
-
Grosof, B. 1991. Generalizing prioritization. In KR'91, 289-300. Cambridge, MA: Morgan Kaufmann.
-
(1991)
KR'91
, pp. 289-300
-
-
Grosof, B.1
-
6
-
-
0031628695
-
Squeaky Wheel” Optimization
-
Joslin, D. E., and Clements, D. P. 1998.”Squeaky Wheel” Optimization. In AAAI-98, 340-346.
-
(1998)
AAAI-98
, pp. 340-346
-
-
Joslin, D. E.1
Clements, D. P.2
-
7
-
-
84957408634
-
Handling partially ordered defaults in TMS
-
Kruse, R., and Siegel, P., eds., Berlin: Springer, LNCS
-
Junker, U., and Brewka, G. 1991. Handling partially ordered defaults in TMS. In Kruse, R., and Siegel, P., eds., Symbolic and Quantitative Aspects for Uncertainty. Proceedings of the European Conference ECSQAU. Berlin: Springer, LNCS 548. 211-218.
-
(1991)
Symbolic and Quantitative Aspects for Uncertainty. Proceedings of the European Conference ECSQAU
, vol.548
, pp. 211-218
-
-
Junker, U.1
Brewka, G.2
-
8
-
-
18944380681
-
Computing the extensions of autoepistemic and default logics with a truth maintenance system
-
Boston, MA: MIT press
-
Junker, U., and Konolige, K. 1990. Computing the extensions of autoepistemic and default logics with a truth maintenance system. In AAAI-90, 278-283. Boston, MA: MIT press.
-
(1990)
AAAI-90
, pp. 278-283
-
-
Junker, U.1
Konolige, K.2
-
9
-
-
84880678797
-
Planning with sharable resource constraints
-
Laborie, P., and Ghallab, M. 1995. Planning with sharable resource constraints. In IJCAI-95.
-
(1995)
IJCAI-95
-
-
Laborie, P.1
Ghallab, M.2
-
11
-
-
44049112032
-
Minimizing conflicts: a heuristic repair method for constraint satisfaction and scheduling
-
Minton, S.; Johnston, M. D.; Philips, A. B.; and Laird, P. 1992. Minimizing conflicts: a heuristic repair method for constraint satisfaction and scheduling. Artificial Intelligence 58:161-205.
-
(1992)
Artificial Intelligence
, vol.58
, pp. 161-205
-
-
Minton, S.1
Johnston, M. D.2
Philips, A. B.3
Laird, P.4
-
12
-
-
0023329093
-
A theory of diagnosis from first principles
-
Reiter, R. 1987. A theory of diagnosis from first principles. Artificial Intelligence 32:57-952.
-
(1987)
Artificial Intelligence
, vol.32
, pp. 57-952
-
-
Reiter, R.1
-
13
-
-
0043154643
-
Slack-based heuristics for constraint satisfaction scheduling
-
Smith, S., and Cheng, C. 1993. Slack-based heuristics for constraint satisfaction scheduling. In AAAI-93.
-
(1993)
AAAI-93
-
-
Smith, S.1
Cheng, C.2
|