Nonmonotonic reasoning: towards efficient calculi and implementations
Handbook of automated reasoning
Fundamenta Informaticae - Logic, Language, Information and Computation
A Classification Theory Of Semantics Of Normal Logic Programs: I. Strong Properties
Fundamenta Informaticae
A Classification Theory Of Semantics Of Normal Logic Programs: Ii. Weak Properties
Fundamenta Informaticae
Hi-index | 0.00 |