Each normal logic program has a 2-valued minimal hypotheses semantics



Logic Programs, Semantics, Minimal Hypotheses


Semantics of Logic Programs


INAP, September 2011

PDF File

Cited by

Year 2015 : 1 citations

 Delhibabu, Radhakrishnan. "Dynamic of Belief: Abduction, Horn Knowledge Base And Database Updates." arXiv preprint arXiv:1501.06206 (2015).

Year 2014 : 1 citations

 Delhibabu, Radhakrishnan . "An Abductive Framework for Horn Knowledge Base Dynamics"

Year 2013 : 2 citations

 Abrantes, Mário, and Luís Moniz Pereira. "Properties of Conservative Extensions to Stable Model Semantics: a Structural Approach."

 Abrantes, Mário António, and Luís Moniz Pereira. "An Abductive Paraconsistent Semantics–MHP."

Abrantes, Mário. "Revision based total semantics for extended normal logic programs." (2013).

Year 2012 : 1 citations

 Mehdi, Anees, Alexandre Pinto, and Sebastian Rudolph. "On Integrating Description Logics and Rules under Minimal Hypotheses." Web Reasoning and Rule Systems (2012): 242-245.