3 search results - page 1 / 1 » Modularity Aspects of Disjunctive Stable Models |
LPNMR
2007
Springer
13 years 10 months ago
2007
Springer
Practically all programming languages used in software engineering allow to split a program into several modules. For fully declarative and nonmonotonic logic programming languages...
ICLP
2003
Springer
13 years 9 months ago
2003
Springer
In recent research on nonmonotonic logic programming, repeatedly strong equivalence of logic programs P and Q has been considered, which holds if the programs P ∪ R and Q ∪ R h...
VAMOS
2010
Springer
13 years 6 months ago
2010
Springer
Abstract--One of the design goals of Product Line Architectures (PLAs) is to remain stable while accommodating changes of stakeholder's requirements. However, the stability of...