"Reasoning tractably about explicit belief: A model-theoretic approach."

Kwang Mong Sim (2000)

Details and statistics

DOI: 10.1002/1098-111X(200009)15:9<811::AID-INT1>3.0.CO;2-B

access: closed

type: Journal Article

metadata version: 2017-05-27

a service of  Schloss Dagstuhl - Leibniz Center for Informatics