M. Langlois, Robert H. Sloan, Bal?zs Sz?r?nyi, and Gy?rgy Tur?n, Horn Complements: Towards Horn-to-Horn Belief Revision, Proc. AAAI 2008, to appear.
Marina Langlois, Dhruv Mubayi, Robert H. Sloan, and Gyorgy Turan, "Combinatorial problems for Horn clauses", Tenth International Symposium On Artificial Intelligence and Mathematics (Electronic Proc.), 2007.
Marina Langlois, Robert H. Sloan, and Gyorgy Turan, "Horn upper bounds and renaming", SAT 2007 - Tenth International Conference on Theory and Applications of Satisfiability Testing.
Marina Langlois, Robert H. Sloan, and Gyorgy Turan, "Horn Upper Bounds of Random 3-CNF: A Computational Study", Ninth International Symposium On Artificial Intelligence and Mathematics (Electronic Proc.), 2006.
Marina Irodova, Robert H. Sloan, "Reinforcement Learning and Function Approximation", FLAIRS Conference 2005: 455-460