|
|
| topics: |
CGT | PL | TCS |
|---|
|
1994
|
| C |
F. Bacchus, A. J. Grove, J. Y. Halpern, and D. Koller (1994). "Forming Beliefs about a Changing World." Proceedings of the 12th National Conference on Artificial Intelligence (AAAI) (pp. 222-229).
| bib/abs
|
|
| topics: |
|
PL |
|
|
| J |
F. Bacchus, A.J. Grove, J.Y. Halpern, and D. Koller (1994). "A Response to `Believing on the basis of evidence'." Computational Intelligence, 10(1), 21-25.
Invited contribution.
| bib
|
|
| topics: |
|
PL |
|
|
| J |
D. Koller and N. Megiddo (1994). "Constructing Small Sample Spaces Satisfying Given Constraints." Siam Journal on Discrete Mathematics, 7(2), 260-274.
Full version of paper in STOC '93.
| bib/abs
|
|
| topics: |
|
|
TCS |
|
| J |
A. J. Grove, J. Y. Halpern, and D. Koller (1994). "Random worlds and maximum entropy." Journal of Artificial Intelligence Research, 2, 33-88.
Full version of LICS '92 paper.
[older version, 1992] | bib/abs
|
|
| topics: |
|
PL |
|
|
| J |
F. Bacchus, A. J. Grove, J. Y. Halpern, and D. Koller (1994). "A response to: ``Believing on the basis of evidence''." Computational Intelligence, 10(1), 21-25.
| bib/abs
|
|
| topics: |
|
PL |
|
|
| C |
F. Bacchus, A. J. Grove, J. Y. Halpern, and D. Koller (1994). "Generating new beliefs from old." Proceedings of the 10th Annual Conference on Uncertainty in AI (UAI) (pp. 37-45).
| bib/abs
|
|
| topics: |
|
PL |
|
|
| C |
D. Koller, N. Megiddo, and B. von Stengel (1994). "Fast Algorithms for Finding Randomized Strategies in Game Trees." Proceedings of the 26th ACM Symposium on Theory of Computing (STOC '94) (pp. 750-759).
| bib/abs
|
|
| topics: |
CGT |
|
TCS |
|
| C |
D.R. Karger and D. Koller (1994). "(De)randomized construction of small sample spaces in NC." Proceedings of the 35nd Annual Symposium on the Foundations of Computer Science (FOCS) (pp. 252-263).
[newer version, 1997] | bib/abs
|
|
| topics: |
|
|
TCS |
|
1993
|
| J |
D.R. Karger, D. Koller, and S. J. Phillips (1993). "Finding the hidden path: time bounds for all-pairs shortest paths." SIAM Journal on Computing, 22(6), 1199-1217.
Full version of paper in FOCS '91.
| bib/abs
|
|
| topics: |
|
|
TCS |
|
| C |
F. Bacchus, A. J. Grove, J. Y. Halpern, and D. Koller (1993). "Statistical Foundations for Default Reasoning." Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence (IJCAI '93) (pp. 563-569).
| bib/abs
|
|
| topics: |
|
PL |
|
|
| Ch |
F. Bacchus, A.J. Grove, J.Y. Halpern, and D. Koller (1993). "Generating degrees of belief from statistical information: an overview." In Proceedings of the 13th Conference on Foundations of Software Technology and Theoretical Computer Science (pp. 318-325).
Invited contribution.
| bib/abs
|
|
| topics: |
|
PL |
|
|
1992
|
| C |
A.J. Grove, J.Y. Halpern, and D. Koller (1992). "Random worlds and maximum entropy." Proceedings of the 7th Annual IEEE Symposium on Logic in Computer Science (LICS) (pp. 22-33).
[newer version, 1994] | bib
|
|
| topics: |
|
PL |
|
|
| J |
D. Koller and N. Megiddo (1992). "The complexity of two-person zero-sum games in extensive form." Games and Economic Bahavior, 4(4), 528-552.
| bib/abs
|
|
| topics: |
CGT |
|
TCS |
|
| C |
F. Bacchus, A. J. Grove, J. Y. Halpern, and D. Koller (1992). "From Statistics to Belief." Proceedings of the Tenth National Conference on Artificial Intelligence (AAAI '92) (pp. 602-608).
| bib/abs
|
|
| topics: |
|
PL |
|
|
| C |
A. J. Grove, J. Y. Halpern, and D. Koller (1992). "Asymptotic conditional probabilities for first-order logic." Proceedings of the 24th ACM Symposium on Theory of Computing (STOC) (pp. 294-305).
| bib/abs
|
|
| topics: |
|
PL |
|
|
| C |
D. Koller and J. Y. Halpern (1992). "A logic for approximate reasoning." Proceedings of the Third International Conference on Principles of Knowledge Representation and Reasoning (KR) (pp. 153-164).
| bib/abs
|
|
| topics: |
|
PL |
|
|
1991
|
| C |
A.J. Grove and D. Koller (1991). "Probability estimation in face of irrelevant information." Proceedings of the 7th Annual Conference on Uncertainty in AI (UAI) (pp. 127-134).
| bib/abs
|
|
| topics: |
|
PL |
|
|
| J |
A. Bar-Noy, D. Dolev, D. Koller, and D. Peleg (1991). "Fault-tolerant critical section management in asynchronous environments." Information and Computation, 91(1), 1-20.
Full version of paper in WDAG '89.
| bib
|
|
| topics: |
|
|
TCS |
|
