Finding Least Expensive Tolerance Solutions and Least Expensive Tolerance Revisions: Algorithms and Computational Complexity (with V. Kreinovich) Submitted to International Journal of Intelligent Systems
A Project in Algorithms based on a Primary Historical Source about Catalan Numbers (with D. Pengelley, D. Ranjan, and K. Villaverde) Proceedings of SIGCSE 2006
Approximating Answer Sets of Unitary Lifschitz-Woo Programs (with V. Marek and M. Truszczynski) Proceedings of LPNMR 2005, Lecture Notes in Artificial Intelligence 3662, Springer-Verlag, 2005
Defining Well-Founded Semantics for Revision Programming Technical report NMSU-CS-2005-001
Minimality of Solution Update in Conflict Resolution (with V. Kreinovich) International Journal of Intelligent Systems, volume 20, no. 9, pp. 939-956, 2005
Revising Knowledge in Multi-Agent Systems Using Revision
Programming with Preferences
(with E. Pontelli and S. Tran)
Computational Logic in Multi-Agent Systems, LNCS 3259, Springer-Verlag, 2004
(Extended version of the paper published in Proceedings of CLIMA-IV)
Revising Knowledge in Multi-Agent System Using Preferences (with E. Pontelli and S. Tran) Proceedings of CLIMA-IV, 2004
Annotated revision programs
(with V. Marek and M. Truszczynski)
Artificial Intelligence, volume 138(1-2), pp.149-180, 2002
(Extended version of the paper published in Proceedings of LPNMR-99)
Revision Programming: A Knowledge Representation Formalism, PhD dissertation, University of Kentucky, 2001
Annotated revision programs (with V. Marek and M. Truszczynski) Proceedings of LPNMR-99, Lecture Notes in Artificial Intelligence 1730, Springer-Verlag, 1999
Revision programming = logic programming + constraints (with V. Marek and M. Truszczynski) Proceedings of the Computer Science Logic Conference (CSL 98), LNCS 1584, Springer-Verlag,1999