Publication | Closed Access
Generalized stable models: a semantics for abduction
173
Citations
0
References
1990
Year
Computational LogicEngineeringAbductive ReasoningAutomated ReasoningModel-based ReasoningFormal MethodsComputer ScienceSemanticsGeneralized Stable Models
No additional data available for this publication yet. Check back later!