A Knowledge Representation Framework Based on Autoepistemic Logic of Minimal Beliefs

@inproceedings{Gelder1994AKR,
  title={A Knowledge Representation Framework Based on Autoepistemic Logic of Minimal Beliefs},
  author={Van Gelder and Arun Ross and K A Schlipf},
  year={1994}
}
1990. The well-founded semantics for general logic programs. 

From This Paper

Topics from this paper.

Similar Papers

Loading similar papers…