A guide to completeness and complexity for modal logics of knowledge and belief
- Joseph Y. Halpern
- Yoram Moses
- 1992
- Artificial Intelligence
Publications
Date
Featured collections
Popular topics
46 results at Artificial Intelligence
Conditional entailment: Bridging two approaches to default reasoning
- Hector Geffner
- Judea Pearl
- 1992
- Artificial Intelligence
Automatic programming of behavior-based robots using reinforcement learning
- Sridhar Mahadevan
- Jonathan Connell
- 1992
- Artificial Intelligence
Match algorithms for generalized Rete networks
- Ho Soo Lee
- Marshall I. Schor
- 1992
- Artificial Intelligence
Computational kinematics
- Leo Joskowicz
- Elisha P. Sacks
- 1991
- Artificial Intelligence
Graphs of models
- Sanjaya Addanki
- Roberto Cremonini
- et al.
- 1991
- Artificial Intelligence
Qualitative physics using dimensional analysis
- R. Bhaskar
- Anil Nigam
- 1990
- Artificial Intelligence
An analysis of first-order logics of probability
- Joseph Y. Halpern
- 1990
- Artificial Intelligence
On conceptual structures. A response to the review by S.W. Smoliar
- John F. Sowa
- 1988
- Artificial Intelligence
Belief, awareness, and limited reasoning
- Ronald Fagin
- Joseph Y. Halpern
- 1987
- Artificial Intelligence