|
|
|
Volumn , Issue , 1993, Pages 432-437
|
|
Restricted monotonicity
|
|
Author keywords
[No Author keywords available]
|
|
Indexed keywords
ARTIFICIAL INTELLIGENCE;
FORMAL LANGUAGES;
KNOWLEDGE BASED SYSTEMS;
THEOREM PROVING;
DEFAULT LOGIC;
DEFAULT THEORY;
FORMALIZATION;
KNOWLEDGE REPRESENTATION PROBLEM;
NON-MONOTONIC FORMALISM;
PARAMETRIC KNOWLEDGE;
RESTRICTED MONOTONICITY;
FORMAL LOGIC;
|
|
EID: 0027704601
PISSN: None
EISSN: None
Source Type: Conference Proceeding
DOI: None Document Type: Conference Paper |
|
Times cited : (16)
|
|
References (0)
|
