Selected Publications Related to:
Computational Logic, Logic Programming, Non-Monotonic Reasoning
» A Duality Theory for Bilattices
B. Mobasher, D. Pigozzi, G. Slutzki, and G. Voutsadakis
Algebra Universalis
Vol. 43, pp. 109-125, 2000
[PDF]» Multi-valued Logic Programming Semantics: An Algebraic Approach
B. Mobasher, D. Pigozzi and G. Slutzki
Theoretical Computer Science
Vol. 171 (1-2) (1997), pp.77-109
[PDF]» Generalized Knowledge-based Semantics for Multi-Valued Logic Programs
B. Mobasher
Ph.D. Dissertation
Department of Computer Science, Iowa State University, August 1994
[Postscript]» Algebraic Semantics for Knowledge-based Logic Programs
B. Mobasher, D. Pigozzi and G. Slutzki)
Proceedings of the Workshop on Uncertainty in Databases and Deductive Systems (WUDDS-94)
Ithaca, NY, November 1994
[PDF]» Negation as Partial Failure
B. Mobasher, J. Leszczylowski, D. Pigozzi, and G. Slutzki
Proceedings of the 2nd International Workshop on Logic Programming and Non-monotonic Reasoning
L. M. Pereira and A Nerode (eds.), MIT Press, pp. 244-262, 1993
[PDF]» A Graphical Logic for Proof Development
B. Mobasher
Technical Report TR#93-16
Department of Computer Science, Iowa State University, May 1993
» An Interactive Tutor for Propositional Calculus Based on Graphical Logic
J. Leszczylowski, B. Mobasher, and G. Slutzki
International Journal of Micro-Computer Applications
Vol. 9, No. 2, 1990
» A KL-ONE Knowledge Classification System in Prolog
B. Mobasher
Project Report and User's Manual
Department of Computer Science, Iowa State University, 1989