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*

Slides from presentation on revision programming (Oct 2002).