16 search results - page 4 / 4 » A Logic on Subobjects and Recognizability |
KR
2010
Springer
14 years 9 days 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...