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

Authors

Alexandre Miguel Pinto
Luís Moniz Pereira

Keywords

Logic Programs, Semantics, Minimal Hypotheses

Subject

Semantics of Logic Programs

Conference

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.