693 search results - page 70 / 139 » Consistent normal interpolation |
111
click to vote
EPIA
2005
Springer
15 years 8 months ago
2005
Springer
This paper introduces an original 2-valued semantics for Normal Logic Programs (NLP), which conservatively extends the Stable Model semantics (SM) to all normal programs. The dist...
131
Voted
ISMS
2004
Springer
15 years 7 months ago
2004
Springer
Exophthalmia is characterized by a protrusion of the eyeball. The most frequent surgery consists in an osteotomy of the orbit walls to increase the orbital volume and to retrieve a...
123
Voted
MMB
2004
Springer
15 years 7 months ago
2004
Springer
A sensitivity analysis of a single-server, infinite-buffer queue with correlated arrivals and correlated service times is performed. We study and compare the isolated impact of (...
128
click to vote
SEKE
2009
Springer
15 years 7 months ago
2009
Springer
Very large systems have an architecture that is designed to allow them to evolve through a long life. Such systems are developed by teams of architects. One of the first things t...
137
Voted
NMELP
1994
15 years 6 months ago
1994
In this paper, we propose a new constructive characterization of those semantics for disjunctive logic programs which are extensions of the well-founded semantics for normal progra...