CISUC

Every normal logic program has a 2-valued semantics: theory, extensions, applications, implementations

Authors



Keywords

Logic Programs, Semantics, Minimal Hypotheses, Layering

Subject

Semantics of Logic Programs

PhD Thesis

Every normal logic program has a 2-valued semantics: theory, extensions, applications, implementations, July 2011

PDF File


Cited by

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."

Year 2012 : 1 citations

 Mehdi, Anees, Alexandre Miguel Pinto, and Sebastian Rudolph. "On integrating description logics and rules under minimal hypotheses." Web Reasoning and Rule Systems. Springer Berlin Heidelberg, 2012. 242-245.

Year 2011 : 1 citations

 Pinto, Alexandre Miguel, and Lu? Moniz Pereira. "Each normal logic program has a 2-valued minimal hypotheses semantics." arXiv preprint arXiv:1108.5766 (2011).