![]() |
Volumn 1861, Issue , 2000, Pages 837-851
|
Including diagnostic information in configuration models
|
Author keywords
[No Author keywords available]
|
Indexed keywords
CONFIGURATION MODEL;
CONFIGURATION PROCESS;
DECLARATIVE SEMANTICS;
DIAGNOSTIC INFORMATION;
DIAGNOSTIC MODEL;
ERROR CONDITION;
FORMAL MODEL;
GNU/LINUX;
LOGIC PROGRAMS;
RULE-BASED LANGUAGE;
SMODELS SYSTEMS;
SOFTWARE CONFIGURATION;
STABLE MODEL SEMANTICS;
USER REQUIREMENTS;
LOGIC PROGRAMMING;
SEMANTICS;
|
EID: 84867785094
PISSN: 03029743
EISSN: None
Source Type: Conference Proceeding
DOI: 10.1007/3-540-44957-4_56 Document Type: Conference Paper |
Times cited : (7)
|
References (12)
|