Pages that link to "Item:Q2457688"
From MaRDI portal
The following pages link to Partition-based logical reasoning for first-order and propositional theories (Q2457688):
Displayed 6 items.
- Logic-based subsumption architecture (Q814558) (← links)
- Verifying time, memory and communication bounds in systems of reasoning agents (Q1036066) (← links)
- Counting truth assignments of formulas of bounded tree-width or clique-width (Q2473047) (← links)
- Verifying Time and Communication Costs of Rule-Based Reasoners (Q3614874) (← links)
- Conservative Retractions of Propositional Logic Theories by Means of Boolean Derivatives: Theoretical Foundations (Q3637268) (← links)
- Craig Interpolation for Linear Temporal Languages (Q3644755) (← links)