Logic Programming

By Maurice Bruynooghe. Lecture Notes in Computer Science, 2001

640 citations recorded by the source corpus.

Subfields: Artificial Intelligence

View Paper: https://www.semanticscholar.org/paper/95aac6f48e276ac9e7444e10b69ffe76199fed78

Citations in the corpus

• The DL-Lite Family and Relations (2009, neutral): “o consider just one special model I 0 of Kin the formulation of Lemma 7.2. Let M 0 be the minimal Herbrand model of (the universal Horn sentence) Kze. We remind the reader (for details consult, e.g., Apt, 1990; Rautenberg, 2006) that M 0 can be constructed by taking the intersection of all Herbrand ”