-
4
-
-
0022769976
-
Graph-based algorithms for Boolean function manipulation
-
Bryant R.E. Graph-based algorithms for Boolean function manipulation. IEEE Trans. Comput. C-35:(6):1986;677-691.
-
(1986)
IEEE Trans. Comput.
, vol.C-35
, Issue.6
, pp. 677-691
-
-
Bryant, R.E.1
-
5
-
-
0026913667
-
Symbolic manipulation with ordered binary-decision diagrams
-
Bryant R.E. Symbolic manipulation with ordered binary-decision diagrams. ACM Comput. Surv. 24:(3):1992;293-318.
-
(1992)
ACM Comput. Surv.
, vol.24
, Issue.3
, pp. 293-318
-
-
Bryant, R.E.1
-
6
-
-
0030130026
-
The boolean hierarchy and the polynomial hierarchy: A closer connection
-
Chang R., Kadin J. The boolean hierarchy and the polynomial hierarchy: a closer connection. SIAM J. Comput. 25:(2):1996;340-354.
-
(1996)
SIAM J. Comput.
, vol.25
, Issue.2
, pp. 340-354
-
-
Chang, R.1
Kadin, J.2
-
7
-
-
84880835151
-
Complexity of determining nonemptiness of the core
-
Acapulco, Mexico
-
Conitzer V., Sandholm T. Complexity of determining nonemptiness of the core. Proc. IJCAI-03, Acapulco, Mexico. 2003;613-618.
-
(2003)
Proc. IJCAI-03
, pp. 613-618
-
-
Conitzer, V.1
Sandholm, T.2
-
11
-
-
0018456413
-
Relations among complexity measures
-
Fischer M., Pippenger N.J. Relations among complexity measures. J. ACM. 26:1979;361-381.
-
(1979)
J. ACM
, vol.26
, pp. 361-381
-
-
Fischer, M.1
Pippenger, N.J.2
-
12
-
-
3142765174
-
More on non-cooperation in dialogue logic
-
Gabbay D., Woods J. More on non-cooperation in dialogue logic. Logic J. IGPL. 9:2001;305-323.
-
(2001)
Logic J. IGPL
, vol.9
, pp. 305-323
-
-
Gabbay, D.1
Woods, J.2
-
14
-
-
0032137162
-
Utility models for goal-directed decision-theoretic planners
-
Haddawy P., Hanks S. Utility models for goal-directed decision-theoretic planners. Comput. Intelligence. 14:(3):1998;392-429.
-
(1998)
Comput. Intelligence
, vol.14
, Issue.3
, pp. 392-429
-
-
Haddawy, P.1
Hanks, S.2
-
15
-
-
0001009871
-
5/2 algorithm for maximum matching in bipartite graphs
-
5/2 algorithm for maximum matching in bipartite graphs. SIAM J. Comput. 2:1975;225-231.
-
(1975)
SIAM J. Comput.
, vol.2
, pp. 225-231
-
-
Hopcroft, J.E.1
Karp, R.M.2
-
17
-
-
0024134606
-
The polynomial time hierarchy collapses if the boolean hierarchy collapses
-
Kadin J. The polynomial time hierarchy collapses if the boolean hierarchy collapses. SIAM J. Comput. 17:(6):1988;1263-1282.
-
(1988)
SIAM J. Comput.
, vol.17
, Issue.6
, pp. 1263-1282
-
-
Kadin, J.1
-
18
-
-
34250466566
-
Methods of determining lower bounds for the complexity of Π -schemes
-
Khrapchenko V.M. Methods of determining lower bounds for the complexity of Π -schemes. Math. Notes Acad. Sci. USSR. 10:1971;474-479.
-
(1971)
Math. Notes Acad. Sci. USSR
, vol.10
, pp. 474-479
-
-
Khrapchenko, V.M.1
-
19
-
-
0011995095
-
On a method of circuit synthesis
-
Lupanov O.B. On a method of circuit synthesis. Izv. VUZ (Radiofizika). 1:1958;120-140.
-
(1958)
Izv. VUZ (Radiofizika)
, vol.1
, pp. 120-140
-
-
Lupanov, O.B.1
-
21
-
-
0010311968
-
Multi-entity models
-
K. Furukawa, D. Michie, & S. Muggleton, Tokyo, Japan
-
Moses Y., Tennenholtz M. Multi-entity models. Furukawa K., Michie D., Muggleton S. Machine Intelligence 14, Tokyo, Japan. 1995;65-90.
-
(1995)
Machine Intelligence
, vol.14
, pp. 65-90
-
-
Moses, Y.1
Tennenholtz, M.2
-
26
-
-
0036466117
-
A modal logic for coalitional power in games
-
Pauly M. A modal logic for coalitional power in games. J. Logic Comput. 12:(1):2002;149-166.
-
(2002)
J. Logic Comput.
, vol.12
, Issue.1
, pp. 149-166
-
-
Pauly, M.1
-
28
-
-
0040321575
-
A lower bound on the monotone complexity of the logical permanent
-
Razborov A.A. A lower bound on the monotone complexity of the logical permanent. Math. Notes Acad. Sci. USSR. 37:1985;485-493.
-
(1985)
Math. Notes Acad. Sci. USSR
, vol.37
, pp. 485-493
-
-
Razborov, A.A.1
-
29
-
-
0000685151
-
Distributed rational decision making
-
G. Weiß. Cambridge, MA: MIT Press
-
Sandholm T. Distributed rational decision making. Weiß G. Multiagent Systems. 1999;201-258 MIT Press, Cambridge, MA.
-
(1999)
Multiagent Systems
, pp. 201-258
-
-
Sandholm, T.1
-
30
-
-
0033165014
-
Coalition structure generation with worst case guarantees
-
Sandholm T., Larson K., Andersson M., Shehory O., Tohmé F. Coalition structure generation with worst case guarantees. Artificial Intelligence. 111:(1-2):1999;209-238.
-
(1999)
Artificial Intelligence
, vol.111
, Issue.1-2
, pp. 209-238
-
-
Sandholm, T.1
Larson, K.2
Andersson, M.3
Shehory, O.4
Tohmé, F.5
-
31
-
-
0003047832
-
The network complexity and Turing machine complexity of finite functions
-
Schnorr C.P. The network complexity and Turing machine complexity of finite functions. Acta Inform. 7:1976;95-107.
-
(1976)
Acta Inform.
, vol.7
, pp. 95-107
-
-
Schnorr, C.P.1
-
32
-
-
84949456886
-
Coalition formation among autonomous agents: Strategies and complexity
-
C. Castelfranchi, & J.-P. Müller. From Reaction to Cognition - Fifth European Workshop on Modelling Autonomous Agents in a Multi-Agent World, MAAMAW-93, Berlin: Springer
-
Shehory O., Kraus S. Coalition formation among autonomous agents: Strategies and complexity. Castelfranchi C., Müller J.-P. From Reaction to Cognition - Fifth European Workshop on Modelling Autonomous Agents in a Multi-Agent World, MAAMAW-93. Lecture Notes in Artificial Intelligence. vol. 957:1995;56-72 Springer, Berlin.
-
(1995)
Lecture Notes in Artificial Intelligence
, vol.957
, pp. 56-72
-
-
Shehory, O.1
Kraus, S.2
-
33
-
-
0000356016
-
Task allocation via coalition formation among autonomous agents
-
Montréal, Québec
-
Shehory O., Kraus S. Task allocation via coalition formation among autonomous agents. Proc. IJCAI-95, Montréal, Québec. 1995;655-661.
-
(1995)
Proc. IJCAI-95
, pp. 655-661
-
-
Shehory, O.1
Kraus, S.2
-
34
-
-
0032074719
-
Methods for task allocation via agent coalition formation
-
Shehory O., Kraus S. Methods for task allocation via agent coalition formation. Artificial Intelligence. 101:(1-2):1998;165-200.
-
(1998)
Artificial Intelligence
, vol.101
, Issue.1-2
, pp. 165-200
-
-
Shehory, O.1
Kraus, S.2
-
35
-
-
0032599448
-
Feasible formation of stable coalitions among autonomous agents in non-super-additive environments
-
Shehory O., Kraus S. Feasible formation of stable coalitions among autonomous agents in non-super-additive environments. Comput. Intelligence. 15:(33):1999;218-251.
-
(1999)
Comput. Intelligence
, vol.15
, Issue.33
, pp. 218-251
-
-
Shehory, O.1
Kraus, S.2
-
36
-
-
0041409361
-
On cooperation in a multi-entity model: Preliminary report
-
Detroit, MI
-
Tennenholtz M., Moses Y. On cooperation in a multi-entity model: Preliminary report. Proc. IJCAI-89, Detroit, MI. 1989;918-923.
-
(1989)
Proc. IJCAI-89
, pp. 918-923
-
-
Tennenholtz, M.1
Moses, Y.2
-
38
-
-
0002499893
-
Complete sets and the polynomial-time hierarchy
-
Wrathall C. Complete sets and the polynomial-time hierarchy. Theoret. Comput. Sci. 3:1976;23-33.
-
(1976)
Theoret. Comput. Sci.
, vol.3
, pp. 23-33
-
-
Wrathall, C.1
|