-
1
-
-
0346942368
-
Decision-theoretic planning: Structural assumptions and computational leverage
-
Boutilier, C., Dean, T., Hanks, S.: Decision-theoretic planning: Structural assumptions and computational leverage. Journal of Artificial Intelligence Research 11, 1-94 (1999).
-
(1999)
Journal of Artificial Intelligence Research
, vol.11
, pp. 1-94
-
-
Boutilier, C.1
Dean, T.2
Hanks, S.3
-
3
-
-
0026913667
-
Symbolic boolean manipulation with ordered binary-decision diagrams
-
Bryant, R.E.: Symbolic boolean manipulation with ordered binary-decision diagrams. ACM Comput. Surv. 24(3), 293-318 (1992).
-
(1992)
ACM Comput. Surv.
, vol.24
, Issue.3
, pp. 293-318
-
-
Bryant, R.E.1
-
4
-
-
0003347456
-
Symbolic model checking with partitioned transition relations
-
North-Holland, Amsterdam
-
Burch, J.R., Clarke, E.M., Long, D.E.: Symbolic model checking with partitioned transition relations. In: International Conference on Very Large Scale Integration, pp. 49-58. North- Holland, Amsterdam (1991).
-
(1991)
International Conference on Very Large Scale Integration
, pp. 49-58
-
-
Burch, J.R.1
Clarke, E.M.2
Long, D.E.3
-
5
-
-
0028413136
-
Symbolic model checking for sequential circuit verification
-
Burch, J.R., Clarke, E.M., Long, D.E., Mcmillan, K.L., Dill, D.L.: Symbolic model checking for sequential circuit verification. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 13, 401-424 (1994).
-
(1994)
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
, vol.13
, pp. 401-424
-
-
Burch, J.R.1
Clarke, E.M.2
Long, D.E.3
Mcmillan, K.L.4
Dill, D.L.5
-
6
-
-
77952987747
-
Agent support for mission planning under policy constraints
-
Imperial College, London
-
Burnett, C., Masato, D., McCallum, M., Norman, T.J., Giampapa, J., Kollingbaum, M.J., Sycara, K.: Agent support for mission planning under policy constraints. In: Proceedings of the Second Annual Conference of the ITA. Imperial College, London (2008).
-
(2008)
Proceedings of the Second Annual Conference of the ITA
-
-
Burnett, C.1
Masato, D.2
McCallum, M.3
Norman, T.J.4
Giampapa, J.5
Kollingbaum, M.J.6
Sycara, K.7
-
7
-
-
0035212854
-
Non-linear quantification scheduling in image computation
-
Piscataway, NJ, USA, IEEE Press, Los Alamitos
-
Chauhan, P., Clarke, E.M., Jha, S., Kukula, J., Shiple, T., Veith, H., Wang, D.: Non-linear quantification scheduling in image computation. In: ICCAD 2001: Proceedings of the 2001 IEEE/ACM international conference on Computer-aided design, Piscataway, NJ, USA, pp. 293-298. IEEE Press, Los Alamitos (2001).
-
(2001)
ICCAD 2001: Proceedings of the 2001 IEEE/ACM International Conference on Computer-aided Design
, pp. 293-298
-
-
Chauhan, P.1
Clarke, E.M.2
Jha, S.3
Kukula, J.4
Shiple, T.5
Veith, H.6
Wang, D.7
-
8
-
-
0038517219
-
Weak, strong, and strong cyclic planning via symbolic model checking
-
Cimatti, A., Pistore, M., Roveri, M., Traverso, P.: Weak, strong, and strong cyclic planning via symbolic model checking. Artificial Intelligence 147(1-2), 35-84 (2003).
-
(2003)
Artificial Intelligence
, vol.147
, Issue.1-2
, pp. 35-84
-
-
Cimatti, A.1
Pistore, M.2
Roveri, M.3
Traverso, P.4
-
9
-
-
0025403233
-
Intention is choice with commitment
-
Cohen, P., Levesque, H.: Intention is choice with commitment. Artficial Intelligence 42, 213- 261 (1990).
-
(1990)
Artficial Intelligence
, vol.42
, pp. 213-261
-
-
Cohen, P.1
Levesque, H.2
-
11
-
-
84856140605
-
Verification of synchronous sequential machines based on symbolic execution
-
Coudert, O., Berthet, C., Madre, J.C.: Verification of synchronous sequential machines based on symbolic execution. In: Automatic Verification Methods for Finite State Systems, pp. 365-373 (1989).
-
(1989)
Automatic Verification Methods for Finite State Systems
, pp. 365-373
-
-
Coudert, O.1
Berthet, C.2
Madre, J.C.3
-
12
-
-
0343710419
-
The implicit set paradigm: A new approach to finite state system verification
-
Coudert, O., Madre, J.C.: The implicit set paradigm: a new approach to finite state system verification. Formal Methods in System Design 6(2), 133-145 (1995).
-
(1995)
Formal Methods in System Design
, vol.6
, Issue.2
, pp. 133-145
-
-
Coudert, O.1
Madre, J.C.2
-
13
-
-
0141659134
-
Cooperation without communication
-
Philadelphia, PA
-
Genesereth, M.R., Ginsberg, M.L., Rosenschein, J.S.: Cooperation without communication. In: Proceedings of the Fifth National Conference on Artificial Intelligence, Philadelphia, PA (1986).
-
(1986)
Proceedings of the Fifth National Conference on Artificial Intelligence
-
-
Genesereth, M.R.1
Ginsberg, M.L.2
Rosenschein, J.S.3
-
14
-
-
0000438051
-
The evolution of sharedplans
-
Rao, A.Wooldridge, M. (eds.), Kluwer, Dordrecht
-
Grosz, B., Kraus, S.: The evolution of sharedplans. In: Rao, A., Wooldridge, M. (eds.) Foundations and Theories of Rational Agency. Kluwer, Dordrecht (2003).
-
(2003)
Foundations and Theories of Rational Agency
-
-
Grosz, B.1
Kraus, S.2
-
15
-
-
0030398808
-
Early quantification and partitioned transition relations
-
Washington, DC, USA, IEEE Computer Society, Los Alamitos
-
Hojati, R., Krishnan, S.C., Brayton, R.K.: Early quantification and partitioned transition relations. In: ICCD 1996: Proceedings of the 1996 International Conference on Computer Design, VLSI in Computers and Processors, Washington, DC, USA, pp. 12-19. IEEE Computer Society, Los Alamitos (1996).
-
(1996)
ICCD 1996: Proceedings of the 1996 International Conference on Computer Design, VLSI in Computers and Processors
, pp. 12-19
-
-
Hojati, R.1
Krishnan, S.C.2
Brayton, R.K.3
-
16
-
-
37149050223
-
State-set branching: Leveraging bdds for heuristic search
-
Jensen, R.M., Veloso, M.M., Bryant, R.E.: State-set branching: Leveraging bdds for heuristic search. Artificial Intelligence 172(2-3), 103-139 (2008).
-
(2008)
Artificial Intelligence
, vol.172
, Issue.2-3
, pp. 103-139
-
-
Jensen, R.M.1
Veloso, M.M.2
Bryant, R.E.3
-
18
-
-
78650489668
-
Analysis of a recorded team coordination dialogue
-
Imperial College, London
-
Parsons, S., Poltrock, S., Bowyer, H., Tang, Y.: Analysis of a recorded team coordination dialogue. In: Proceedings of the Second Annual Conference of the ITA. Imperial College, London (2008).
-
(2008)
Proceedings of the Second Annual Conference of the ITA
-
-
Parsons, S.1
Poltrock, S.2
Bowyer, H.3
Tang, Y.4
-
19
-
-
84961371345
-
A framework for argumentation-based negotiations
-
Rao, A. Singh, M.P.Wooldridge, M.J. (eds.), LNCS, vol. 1365, Springer, Heidelberg
-
Sierra, C., Jennings, N.R., Noriega, P., Parsons, S.: A framework for argumentation-based negotiations. In: Rao, A., Singh, M.P., Wooldridge, M.J. (eds.) ATAL 1997. LNCS, vol. 1365, pp. 177-192. Springer, Heidelberg (1998).
-
(1998)
ATAL 1997
, pp. 177-192
-
-
Sierra, C.1
Jennings, N.R.2
Noriega, P.3
Parsons, S.4
-
20
-
-
0142222295
-
The RETSINA multiagent infrastructure
-
Sycara, K., Paolucci, M., Giampapa, J., van Velsen, M.: The RETSINA multiagent infrastructure. Journal of Autonomous Agents and Multiagent Systems 7(1) (2003).
-
(2003)
Journal of Autonomous Agents and Multiagent Systems
, vol.7
, Issue.1
-
-
Sycara, K.1
Paolucci, M.2
Giampapa, J.3
Van Velsen, M.4
|