Pages that link to "Item:Q5460207"

The following pages link to Constructing Finite Least Kripke Models for Positive Logic Programs in Serial Regular Grammar Logics (Q5460207):

Displaying 1 item.

• Tractable approximate knowledge fusion using the Horn fragment of serial propositional dynamic logic (Q985144) (← links)