A Web-Based Tutoring Tool for Calculating Default Logic Extensions. Egly, U., Fink, M., Polleres, A., & Tompits, H. In Proceedings of the World Conference on the WWW and Internet (WEBNET'99), 1999. AACE.
A Web-Based Tutoring Tool for Calculating Default Logic Extensions [pdf]Paper  bibtex   

Downloads: 0