@conference {16003,
	title = {Active logic for more effective human-computer interaction and other commonsense applications},
	booktitle = {Proceedings of the Workshop Empirically Successful First-Order Reasoning, International Joint Conference on Automated Reasoning},
	year = {2004},
	month = {2004///},
	author = {Anderson,M. L and Josyula,D. and Perlis, Don and Purang,K.}
}
