An assumption-based truth maintenance system dealing with non-ground justifications

ISSN： 1362-3079

Source： Journal of Experimental & Theoretical Artificial Intelligence, Vol.8, Iss.1, 1996-01, pp. : 21-42

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

An Assumption-based Truth Maintenance System in Active Aid for UNIX Users

By Jones John Millington Mark

Artificial Intelligence Review, Vol. 14, Iss. 3, 2000-06 ,pp. : 229-252

Springer Publishing Company

Access to resources Recommend Favorite

A non-ground realization of the stable and well-founded semantics

By Gottlob G. Marcus S. Nerode A. Salzer G. Subrahmanian V.S.

Theoretical Computer Science, Vol. 166, Iss. 1, 1996-10 ,pp. : 221-262

Elsevier

Access to resources Recommend Favorite

Soundness of abductive proof procedure with respect to constraint for non-ground abducibles

By Yamasaki S. Kurose Y.

Theoretical Computer Science, Vol. 206, Iss. 1, 1998-10 ,pp. : 257-281

Elsevier

Access to resources Recommend Favorite

A condition-based maintenance policy for intelligent monitored system

By Liao Wenzhu Pan Ershun Xi Lifeng

International Journal of Computer Applications in Technology, Vol. 35, Iss. 2-4, 2009-06 ,pp. : 104-112

Inderscience Publishers

Access to resources Recommend Favorite

Fuzzy TOPSIS-based computerized maintenance management system selection

By Uysal Fahriye Tosun Ömür

Journal of Manufacturing Technology Management, Vol. 23, Iss. 2, 2012-02 ,pp. : 212-228

Emerald Group Publishing Ltd

Access to resources Recommend Favorite