A unifying view for logic programming with non-monotonic reasoning

Author： Brogi A. Lamma E. Mancarella P. Mello P.

Publisher： Elsevier

ISSN： 0304-3975

Source： Theoretical Computer Science, Vol.184, Iss.1, 1997-09, pp. : 1-59

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

Executable Temporal Logic for Non-monotonic Reasoning

By Engelfriet J. Treur J.

Journal of Symbolic Computation, Vol. 22, Iss. 5, 1996-11 ,pp. : 615-625

Academic Press

Access to resources Recommend Favorite

Diagnostic expert system using non-monotonic reasoning

By El-Azhary E.-S. Edrees A. Rafea A.

Expert Systems with Applications, Vol. 23, Iss. 2, 2002-08 ,pp. : 137-144

Elsevier

Access to resources Recommend Favorite

Default logic and specification of nonmonotonic reasoning

By Engelfriet Joeri Wiktor Marek V. Treur Jan Truszczynski Miroslaw

Journal of Experimental & Theoretical Artificial Intelligence, Vol. 13, Iss. 2, 2001-04 ,pp. : 99-112

Taylor & Francis Ltd

Access to resources Recommend Favorite

Inductive equivalence in clausal logic and nonmonotonic logic programming

By Sakama Chiaki Inoue Katsumi

Machine Learning, Vol. 83, Iss. 1, 2011-04 ,pp. : 1-29

Springer Publishing Company

Access to resources Recommend Favorite

Conditional reasoning in logic programming

By Gabbay D. Giordano L. Martelli A. Olivetti N. Sapino M.L.

The Journal of Logic Programming, Vol. 44, Iss. 1, 2000-07 ,pp. : 37-74

Elsevier

Access to resources Recommend Favorite