16 search results - page 4 / 4 » A Logic on Subobjects and Recognizability |
KR
2010
Springer
13 years 10 months ago
2010
Springer
We consider positive rules in which the conclusion may contain existentially quantified variables, which makes reasoning tasks (such as Deduction) undecidable. These rules have t...