Pages that link to "Item:Q3647257"

The following pages link to Approximate databases: a support tool for approximate reasoning (Q3647257):

Displaying 2 items.

• Tractable approximate knowledge fusion using the Horn fragment of serial propositional dynamic logic (Q985144) (← links)
• Logical foundations and complexity of 4QL, a query language with unrestricted negation (Q2901212) (← links)