Volume 26, Number 1-4, 1999
Joseph Y. Halpern: Set-theoretic completeness for epistemic and conditional logic. 1-27- Fumiaki Okushi: Parallel cooperative propositional theorem proving. 59-85
- Allen Van Gelder, Fumiaki Okushi: A propositional theorem prover to solve planning and other problems. 87-112
- Allen Van Gelder, Fumiaki Okushi: Lemma and cut strategies for propositional model elimination. 113-132
- Peter Jonsson: Strong bounds on the approximability of two Pspace-hard problems in propositional planning. 133-147
- Daniel Frost, Rina Dechter: Maintenance scheduling problems as benchmarks for constraint algorithms. 149-170
- Xiaodong Li, Martin K. Purvis: Pattern recognition by an optical thin-film multilayer model. 193-213
- Zippora Arzi-Gonczarowski: Perceive this as that - Analogies, artificial perception, and category theory. 215-252
- Joseph Y. Halpern: Errata: "The relationship between knowledge, belief, and certainty". 253-256
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-17T203624 by the dblp team